なぜデータメンバーの破壊の順序は重要ですか？

Question

一部の書籍では、クラス内のデータメンバーの破棄順序が、その構築順序の逆の順序でなければならないことがわかります。このルールの理由は何ですか？すべての例が評価されます。

Answer 1

これは、大部分において一貫性のためです。複数のオブジェクトが順番に作成されると、それらは常に逆の順序で破棄されます。たとえば、自動変数で、次の例を考えてみます。ここでは

{ 
    A a; 
    B b(a); 
} // b.~B() is called, then 
    // a.~A() is called 

は、bはaを使用しています。オブジェクトが構築の逆の順序で破棄されることを保証することによって、C++はオブジェクトの生涯管理をより多くより容易にします。

クラスでは、別のデータメンバーを初期化するときに、あるデータメンバーへの参照を渡すことができます。オブジェクトが逆の順序で破壊され、あなたは自動変数と同じ動作を得ることを確認：

struct S 
{ 
    A a; 
    B b; 

    S() : a(), b(a) { } 
}; 

注それは、相互に参照するデータメンバを持っていることは通常は良い考えではないが、それが可能とたまに便利な両方だと。

Answer 2

私は多分あなたが誤解したと思います。そのメンバーではないはこの順序で破壊されるべきであるが、それらはと指定されているです。

まれに、アイテムが破棄される順序を知ることが重要です。

いずれにせよ、それはオブジェクトが破壊される順序です。あなたはそれについて何もできませんが、起こっていることを知っています。

Answer 3

C++のライフタイムは可能な限り入れ子になっています。通常、まれにデータメンバーが互いに依存したり（例えば、あるもののポインタを渡すなど）、間接的に（たとえ両方がグローバルに依存し、stderrに出力を書き込むように）可能ですが、指定された順序を持つといいですし、他の順序よりも他の言語がどのように機能するか（例えば、関数スコープでの存続時間）は入れ子のほうが適しています。

もちろん、標準の "as-if"ルールの後で、コンパイラ/実装がユーザコードを決定できれば、破壊リオーダリングを見ることができないので、好きなように行うことができます。