【c++】デストラクタにvirtualを付ける場合、付けない場合。

c++

2021.03.15 2015.03.02

virtual ~Hoge();

C++を書いていると良くvirtual宣言されているデストラクタを見る。

まだまだC++初心者なので、なんでデストラクタにvirtualが付くのか分からず調べてみた結果をまとめてみたいと思います。
突っ込みあればお待ちしております。

まとめ

・ポリモーフィズムを利用すべく作った基底クラスのデストラクタはvirtualが必要である
=> でないと、派生クラスのデストラクタが呼ばれずメモリリークが起きる

・逆にポリモーフィズムを利用する意図がないのであれば派生クラスを作るつもりであってもvirtualなデストラクタにすべきではない
=> メモリの無駄遣いに繋がる

参考としたサイト・書籍

ビャーネ・ストラウストラップ (著) プログラミング言語C++第4版

C++では基底クラスにvirtualデストラクタを書こう
 C++ でデストラクタを virtual にしなくてはならない条件と理由

では一つずつ見ていきましょう。

ポリモーフィズムを利用すべく作った基底クラスのデストラクタはvirtualが必要である

テストコードを見てみましょう。(C++では基底クラスにvirtualデストラクタを書こうより)

#include <stdio.h>

class BadBase {
  public:
    BadBase(){}
    ~BadBase(){}
};
class BadSub : public BadBase {
  public:
    BadSub(){ printf("openn"); }
    ~BadSub() { printf("closen"); }
};

int main() {
  BadSub* sub = new BadSub();
  delete sub;

  printf("n");

  BadBase* base = new BadSub();
  delete base;

  return 0;
}

出力は以下の様になります。

open
close

open

ポリモーフィズムを用いている下部はcloseが呼ばれていない = デストラクタが呼ばれていません。

ではどうすれば良いかと言うともうお分かりかと思います。
virtualを付けてみましょう。

#include <stdio.h>

class Base {
  public:
    Base(){}
    virtual ~Base(){}
};
class Sub : public Base {
  public:
    Sub(){ printf("openn"); }
    ~Sub() { printf("closen"); }
};

// mainは一緒

出力は以下です。

open
close

open
close

closeが呼び出されているのが分かります。

なぜこうなるのでしょうか。

ビャーネ・ストラウストラップ (著) プログラミング言語C++第4版にはこの様に書かれています。

17.2.3 基底とメンバのデストラクタ

コンストラクタは、クラスオブジェクトを”下から順に”構築する。
[1] まず、基底クラスのコンストラクタを実行する。
[2] 次に、メンバのコンストラクタを実行する。
[3] 最後に、自身の本体を実行する。

デストラクタは、逆の順序でオブジェクトを”破壊”していく。
[1] まず、自身の本体を実行する。
[2] 次に、メンバのデストラクタを実行する。
[3] 最後に、自身の本体を実行する。

悪い例の方では、親クラス(BadBase)のポインタに子クラス(BadSub)のポインタを代入しています。
デストラクタの[1]に書いてある”自身”とはこの例で言えばBadBaseの事になります。
なので、virtualがなければBadSubの存在に気付く事がなく子クラスのデストラクタが呼ばれないと言う仕組みなのでしょう。