将指向数据成员的指针传递给基类构造函数是否安全?即,即使数据成员尚未初始化,至少已经在调用基类构造函数之前设置了派生类数据成员的内存布局?
显然,只有在构造完成后才能取消引用指针,并且指向的对象已经有效。但问题是,如果确保派生对象的构造完成后,基类构造函数接收的指针实际上仍然指向它们的对象。
动机是在基类中提供一些功能,例如迭代构造时提供的指针到对象,并在以后为每个执行某些操作。
可以只提供派生类可访问的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'; }
}