親の仮想デストラクタをoverrideした子のインスタンスから親のデストラクタが呼ばれる

Question

親の仮想関数をoverrideした場合、下記のソースコードのChild::Print()内のParent::Print()のような感じでoverrideした子の関数から明示的に呼び出されない限りは親の関数は呼び出されないと思っていました。

しかし、下記のソースコードを実行してみると、親の仮想デストラクタをoverrideした子のインスタンスの破棄時に親のデストラクタが呼び出されていました。

仮想デストラクタのみ特別な仕様となっているのでしょうか？

ソースコード

#include <iostream>

using namespace std;

class Parent {

public:
    virtual ~Parent(){
        cout << "Parent ::~Parent()" << endl;
    }

    virtual void Print() {
        cout << "Parent ::Print()" << endl;
    }
};

class Child : public Parent  {
public:
    virtual ~Child() override {
        cout << "Child::~Child()" << endl;
    }

    virtual void Print() override {
        cout << "Child::Print()" << endl;

        Parent::Print();
    }
};

int main() {
    Child child;
    child.Print();
    cout << endl;

    return 0;
}

実行結果

Child::Print()
Parent ::Print()

Child::~Child()
Parent ::~Parent()

Answer 1

デストラクタとオーバーライドがごっちゃになってるのでは？
分けて考えれば特別扱いはしていません。

デストラクタの仕様として、派生クラス(子)のデストラクタは抜ける直前に暗黙的に基底クラス(親)のデストラクタを呼び出します。

class Child : public Parent
{
public:
	~Child()
	{
		// Childの破棄
		
		Parent::~Parent();	// 自動的に呼び出される
	}
};

これはデストラクタが仮想関数であるとかオーバーライドしているかは関係なくデストラクタの仕様です。

これとは別に、仮想関数をオーバーライドした場合、基底クラスのものに対する呼び出しを派生クラスによって上書きしたようになりますが、あくまで呼び出しを上書きしただけでChild::Printのように基底クラスのオーバーライドした関数を呼ぶのは自由です。

ですのでデストラクタをオーバーライドしても、デストラクタの"呼び出し"が上書きされるだけで、基底クラスのデストラクタを暗黙的に呼び出すのはデストラクタの仕様のままですから、実行結果の通りになります。

Comments

[nemumitakamaru]

ご回答ありがとうございます。
良く理解できました。

おっしゃる通り、色々と考えがごっちゃになっていました。

Answer 2

cppreference.com - virtual function specifierには、次のようなサンプルがあります。

class Base {
 public:
    virtual ~Base() { /* releases Base's resources */ }
};

class Derived : public Base {
~Derived() { /* releases Derived's resources */ }
};

int main()
{
Base* b = new Derived;
delete b; // Makes a virtual function call to Base::~Base()
// since it is virtual, it calls Derived::~Derived() which can
// release resources of the derived class, and then calls
// Base::~Base() following the usual order of destruction
}

基底クラスの領域を解放するために、デストラクタを呼んでいるようです。

---

もうちょっと直接的な記述が無いのか規格を開いてみたのですが、見つけられませんでした。 ※
非公式なもので良ければ、次のような説明はあります。

派生クラスのコンストラクタを呼ぶ前に基底クラスのコンストラクタが呼ばれ、派生クラスのデストラクタが呼ばれた後に基底クラスのデストラクタが呼ばれるのです。

引用元: ロベールのＣ＋＋教室 - 第１６章 派生と構築 -

※ 私の調査不足でした。asmさんとyumetodoさんのコメントをご覧ください。

---

不正確なことを書いてしまったようですので、以下の回答は撤回します。

残骸

ポインタにしないとメンバを動的に決定してくれません。

int main() {
    Parent* obj = new Child;
    obj->Print();
    cout << endl;

    delete obj;
    return 0;
}

メモリリークを回避するために、スマートポインタを使うとさらに良いでしょう。

int main() {
    auto obj = std::make_unique<Child>();
    obj->Print();
    cout << endl;

    return 0;
}

Comments

[asm]

https://timsong-cpp.github.io/cppwp/n3337/class.dtor#8
かな
英語力が足りず理解が微妙だが
> if X is the type of the most derived class ([class.base.init]), its destructor calls the destructors for X's virtual base classes.
あたりがそれっぽい

[yumetodo]

virtual base classesではないのでそこじゃなくてその一つ前の
>destructor for class X calls the destructors for X’s direct non-variant non-static data members, the destructors for X’s direct base classes

直接の基底クラスというのが該当じゃないでしょうか

[LouiS0616]

なるほど、ご教示ありがとうございます。
回答に反映させていただきます。

[asm]

@yumetodo
ありがとうございます。
なるほど、デストラクタが直接の基底クラスのデストラクタを呼ぶのが規定されているので
virtualにすると派生クラスのデストラクタから、その直接の基底クラスのデストラクタが呼ばれていくのですね。

[yumetodo]

@asm いえ、この場合virtualは関係ないです。@toki_td氏の解釈が正しいと思います。

[asm]

言葉が足りませんでしたね
基底クラスのポインタをdelete時に派生クラスのデストラクタが呼ばれる事を指したつもりでした。

[yumetodo]

ああ、なるほど。

[nemumitakamaru]

皆様、ご回答ありがとうございます。
規格書での記載箇所まで教えていただき、勉強になりました。