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

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

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

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