将指针传递给数据成员到基类构造函数安全吗?也就是说,至少在调用基类构造函数之前,派生类数据成员的内存布局是否已经设置,即使数据成员尚未初始化?
显然,只有在构造完成并且指向的对象已经有效之后,才能取消引用指针。但问题是,一旦派生对象的构造完成,是否保证基类构造函数接收到的指针仍然指向它们的对象。
其动机是在基类中提供一些功能,例如迭代构造时提供的指向对象的指针,并在以后为每个对象做一些事情。
只提供一个派生类可以访问的setter是可能的,但我很好奇在构造时提供指针是否也是安全的。
示例:
#include <iostream>
#include <utility>
#include <vector>
struct Base {
Base(std::initializer_list<int*> ptrs = {}) : ptrs_(ptrs) {}
std::vector<int*> ptrs_;
};
struct Derived : public Base {
Derived() : Base{{&a_,&b_,&c_}} {}
int a_=1, b_=2, c_=3;
};
int main()
{
Derived obj;
for (auto* ptr : obj.ptrs_) { std::cout << *ptr << '\n'; }
}
发布于 2018-04-10 15:27:12
您的代码很好.,但是请注意,取消引用基类构造函数中的指针的行为将是未定义的。
允许将指针或对成员变量的引用传递给基类构造函数,但不能实际访问基类构造函数中的对象。
https://stackoverflow.com/questions/49757463
复制相似问题