将指向数据成员的指针传递给基类构造函数是否安全？

Question

将指向数据成员的指针传递给基类构造函数是否安全？即，派生类数据成员的内存布局是否至少在调用基类构造函数之前已经设置，即使数据成员尚未初始化？

显然，只有在构造完成并且指向的对象已经有效之后才能取消引用指针。但问题是，一旦派生对象的构造完成，是否可以保证基类构造函数接收到的指针实际上仍然指向它们的对象。

动机是在基类中提供一些功能，例如迭代构造时提供的指向对象的指针，并在以后为每个对象做一些事情。

可以只提供派生类可访问的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'; }
}

https://wandbox.org/permlink/rDJw0UU8KcWckLlo

Answer 1

您的代码很好。但请注意，取消引用基类构造函数中的指针的行为将是未定义的。

您可以将指针 或引用 传递给基类构造函数的成员变量，但不能实际访问该基类构造函数中的对象。