施工期间向下浇筑安全吗？

Question

我有一个类层次结构，我知道给定的类 (B) 总是会派生到第二个类 (D)。 在 B 的构造函数中，如果我确定在整个构造完成之前没有人会尝试使用它，那么将 this 指针静态转换为 D* 是否安全？ 就我而言，我想将对对象的引用传递给另一个类 (A)。

struct A
{
    D & d_;

    A(D & d) : d_(d) {}
};

struct D; //forward declaration

struct B
{
    A a;

    B() : a(std::static_cast<D&>(*this)) {}
};

struct D : public B
{};

这段代码安全吗？

Answer 1

我没有找到任何相关内容。 我很难找到你的代码不安全的原因，而这是安全的：

struct B
{
    A a;

    B(D& d) : a(d) {}
};

struct D : public B
{
    D() : B(*this) {}
};

但我可能仍然会使用我在这里提供的表格。

Answer 2

不它不是。 D 的数据成员的构造函数尚未运行。

由于 D 的成员尚未构造，因此 D 尚未完全构造，因此从技术上讲，对 D 的引用应该是无效的。 我希望这在大多数实现上都没有问题，但仍然如此。

我想提出一个更好的机制，但我想“更好”在很大程度上取决于实际细节。

Answer 3

@AProgrammer的回答让我意识到static_cast通过将 this 指针从派生类传递到基类，可以轻松避免这种情况。 因此，问题归结为指向成员初始值设定项列表的 this 指针的有效性。

我在 C++ 标准 [12.6.2.7] 中发现了以下注释：

[注意：因为mem-initializer是在构造函数的范围内计算的，所以this指针可以在< em>mem-initializer 的表达式列表，用于引用正在初始化的对象。 ]

因此，在 member-initializer-list 中使用 this 是完全有效的，因此我认为所提供的代码是安全的（只要没有访问 D 的成员）。