デストラクタのメンバ変数を無効にする必要がありますか？

Question

ベクトルメンバー変数を明示的に消去したい理由（dtor内のonのもの）（以下のコードを参照してください）.dtorの最後の行の直後に破棄されるにもかかわらず、コードが実行されます、次のコードについて

class A 
{ 
~A() 
{ 
    values.clear(); 
} 

private: 
    std::vector <double> values_; 
}; 

同様の質問：？？

class B 
{ 
~B() 
{ 
    if (NULL != p) 
    { 
     delete p_; 
     p_ = NULL; 
    } 
} 

private: 
    A * p_; 
}; 

をデストラクタが、なぜその後、P_を無効にする、二回呼び出されます

Answer 1

に方法はありませんので、クラスAでは、デストラクタのvector型メンバー変数.clear()に絶対に理由はありません。 vectorデストラクタと呼ばれる場合は.clear()vectorとなります。クラスBで

、クリーンアップコードは、単にのように書くことができる：

delete p_; 

delete NULL;が無OPはないように定義されているため、p_ != NULL最初かどうかをテストする必要はありません。また、deleteの後にp_ = NULLを設定する必要はありません。なぜなら、それがメンバーであるオブジェクトが破棄された後にp_に正当なアクセスができなくなるからです。

つまり、C++コードではdeleteを使う必要はほとんどありません。リソースの有効期間を自動的に管理するには、Scope-Bound Resource Management（SBRM、Resource Acquisition Is Initializationとも呼ばれます）を使用することをお勧めします。

この場合、スマートポインタを使用できます。 boost::scoped_ptrとstd::unique_ptr（C++ 0xより）はどちらも良い選択です。どちらも、生ポインタを使用するのと比べてオーバーヘッドがありません。さらに、暗黙的に宣言されたコピーコンストラクタとコピー代入演算子の生成を抑制します。これは、動的に割り当てられたオブジェクトへのポインタであるメンバ変数を持つときに通常必要となります。

Answer 2

p_の場合、デストラクタでnullに設定する必要はありませんが、それは便利な防御メカニズムになります。 Bオブジェクトが削除された後にBオブジェクトへのポインタがまだ残っている場合を想像してみましょう。

Bオブジェクトを削除しようとすると、p_ nullは2番目の削除を無害にしますヒープ破損者。

Bオブジェクトのメソッドを呼び出そうとすると、p_ nullは即座にクラッシュを引き起こします。 p_がまだ古い値である場合、結果は未定義であり、結果のクラッシュの原因を追跡するのは難しいかもしれません。

Answer 3

第2の例では、p_を無効にする理由はありません。具体的にはデストラクタで行われるため、p_の寿命がその直後に終了することになります。

さらにdelete式はこのチェックを内部的に実行するため、deleteを呼び出す前にp_をnullに比較することはできません。あなたの特定の人工的な例では、デストラクタは単にdelete p_を含み、他に注意する必要があります。いいえif、ヌルに設定すると、p_になりません。