建設中にこれをダウンキャストしていますか？

Question

私はあるクラス（B）が常に第2のクラス（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

@AProgrammer's answerは、static_castが、派生クラスのポインタを基底クラスに渡すことで簡単に回避できることに気付きました。したがって、質問はmember-initializer-listへのポインタthisの有効性につながります。

Iは、C++標準[12.6.2.7]で次のノートを発見：MEM-イニシャライザがコンストラクタの範囲で評価されているので、thisポインタをすることができる：

[注式リストmem-initializerで使用して、初期化するオブジェクトを参照してください。 ]

したがって、メンバー初期化子リストでthisを使用することは完全に有効であるので、私は（Dのいかなるメンバーがアクセスされていない限り）提示されたコードが安全であると思います。

Answer 2

いいえ、そうではありません。 Dのデータメンバーのコンストラクタはまだ実行されていませんでした。

Dのメンバーは構築されていないため、Dはまだ完全に構築されていないため、技術的にはDへの参照は無効にする必要があります。私はそれがほとんどの実装では問題ではないと思っていますが、それでもなお問題はありません。

私はより良い仕組みを提案したいと思いますが、実際の詳細に「より良い」ことが多いと思います。

Answer 3

私はそれについて何も見つかりませんでした。安全な状態でコードが安全でない理由を見つけるのは難しいです：

struct B 
{ 
    A a; 

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

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

しかし、私はおそらくまだここに存在するフォームを使用しています。