デストラクタとdelete

Question

趣味でC++やっています。

デストラクタというより、deleteに関して質問があります。

例えば、

// インターフェースクラス
class IClass{
      public:
                 ~IClass(){}
                 virtual setOption1( bool b ) = 0;
                 virtual option1( void ) const = 0;
                 // 他にもvirtualなメンバ関数あり 
};

class ClassA : public IClass{
      public:
                 ClassA( int id ) : id_(id){}
                 ~ClassA(){}
                 void setOption1( bool b ){ this->op1_ = b; }
                 bool option1( void ) const{ return this->op1_; }
                 void setOption2( bool b ){ this->op2_ = b; }
                 bool option2( void ) const{ return this->op2_; }
                 // 他にもメンバ関数があるとして
      private:
                 int  id_;
                 bool op1_;
                 bool op2_;
                 // 他にもメンバ変数があるとして
};

// 同様にClassBもあるとする

// 実際に動かすクラス
class Doer{
      public:
                 Doer( IClass* obj ) : obj_(obj){}
                 ~Doer(){
                       delete obj_; // <- ここが問題部分(1)
                 }
                 bool isEnabled( void ) const{ /* 使用可能かどうか */ }
                 /*
                    IClassを継承したClassA,Bのいずれかのオブジェクトがobj_に格納されているので、
                    それを用いて処理をするメンバ関数がいくつかあるとする
                 */
      private:
                 IClass* obj_;
};

これをWindows APIで構造体を引数とする関数を使う感じで

ClassA* item = new ClassA(1);
item->setOption1( true ); // 情報の設定
item->setOption2( true ); // 同上

Doer* doer = new Doer( item ); // 先ほどインスタンス化したもので生成
if( doer->isEnalbed() )...

delete doer;

delete item; // <- ここが問題部分(2)

のように、最初に扱われるクラスオブジェクトの設定をして渡す場合はどうなるのでしょうか?

イメージとしてはJavaでの

Class2 obj = new Class2( new Class1(1,10,20) );

のようにnewしてすぐ渡すことに対応してみようかなと思ったため、上記のコードを書いてみました。

ここで問題に思っているのは、

「deleteをすべき場所はどこか」です。

main関数等のような呼び出し側でdeleteすればいいかもしれませんが、

Javaみたいな書き方はできないかな?と思ったので、それ以外の方法として

「デストラクタでもdeleteし、呼び出し側でもdeleteする」です。

ですが、これってOKなのでしょうか?

どこかのサイト ( 多分、「C++の迷信」みたいなサイトだった気がします... ) には

「deleteにNULL ( nullptr ) を渡しても処理せずにreturnするような状態だから...」とありました。

( 話題としては「コンストラクタから例外を投げるのはアリ?ナシ?」系でしたが。 )

内部のことなので確かめようがありません...

[ 情報 ]
言語: C++

Answer 1

こんにちは。

呼び出し側（new Doerする側）で、「newしたClassAへのポインタ」を保持しない場合、呼び出し側でdeleteするのは面倒ですし構造が汚くなりがちです。
Doerのデストラクタでデストラクトするのが比較的良く使われる手法と思います。

ただし、その際はDoerのインスタンスを単純にコピーするようなコードを書くと、多重deleteしてしまいます。

Doer* doer = new Doer( new ClassA() );
{
    Deor copy_to = *doer;
    // 何らかの処理

}   // obj_は単純にコピーされているため、ここでdelete  obj_;される。
    // これは最初にnew ClassA()で確保したインスタンス

delete doer; // ここでも再度 delete obj_;をやってしまい、多重解放となる。

そのようなバグを回避するためにコピーコンストラクタとコピー演算子をdeleteしておくと、間違ってコピーするコードを書いた時にコンパイルエラーになるので安全性が高まります。

Comments

[BeatStar]

ご回答ありがとうございます!

コピーコンストラクタ と コピー演算子をdelete ( 使えなくする ) ですか...なるほど。