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

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

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

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