深い継承を行ったときの仮想デストラクタの振る舞い

Question

以下のコードで、CBaseのデストラクタを、仮想デストラクタにすることで、アップキャストした場合でも、派生クラス(CSub, CSub1)のデストラクタが呼ばれます。
しかし、CSubのデストラクタは、仮想デストラクタではないため、CSub1のデストラクタが呼ばれるのは、不思議に感じます。
規格上、正しい動作なのでしょうか。
コンパイラ: Visual C++ 2015

以下のリンク先の質問で、インターフェースクラスがこの様な実装になっています。
読まなくても問題はないと思いますが、関連した質問としてリンク先を載せます。
インターフェースクラスを仮想継承して実装する理由

#include <iostream>

class CBase {
public:
	virtual ~CBase() {
		std::cout << "~CBase" << std::endl;
	}
};

class CSub : public CBase {
public:
	~CSub() {
		std::cout << "~CSub" << std::endl;
	}
};

class CSub1 : public CSub {
public:
	~CSub1() {
		std::cout << "~CSub1" << std::endl;
	}
};

int main() {
	CBase* base = new CSub();
	delete base;
	std::cout << std::endl;

	CBase* base1 = new CSub1();
	delete base1;
	std::cout << std::endl;

	CSub* sub = new CSub1();
	delete sub;
}

実行結果
~CSub
~CBase

~CSub1
~CSub
~CBase

~CSub1
~CSub
~CBase

また以下は、CBaseのデストラクタを、非仮想デストラクタにして実行した結果です。
最初と２番目の結果は理解できるのですが、最後の結果が理解できません。
なぜ、CBaseのデストラクタが呼ばれるのでしょうか。

実行結果
~CBase

~CBase

~CSub
~CBase

Answer 1

CSubのデストラクタは、仮想デストラクタではないため、(後略)

上記の解釈に誤りがあります。基底クラスCBaseが仮想デストラクタを持つ場合、直接・間接問わず全ての派生クラスCSub, CSub1のデストラクタも暗黙にvirtual指定がなされます。

規格上、正しい動作なのでしょうか。

という訳で、C++言語仕様の通りです。

---

また以下は、CBaseのデストラクタを、非仮想デストラクタにして実行した結果です。
(中略)
なぜ、CBaseのデストラクタが呼ばれるのでしょうか。

CSub* sub = new CSub1();
delete sub;

3番目の処理では、動的な型CSub1を持つオブジェクトを、静的な型CSubのポインタとして取り扱っています。対象の型が非仮想(non-virtual)なデストラクタを持つ場合、コンパイラは静的な型のクラス継承ツリーを遡ってCSub::~CSub()→CBase::~CBase()と呼び出しを行います。

Comments

[JADEN]

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

Answer 2

こんにちは。

本の虫の江添さんが公開されているここに記載がありました。（リンク先より少し下の方なので、ちょっと見つけにくいです。）

基本クラスのデストラクターがvirtual関数である場合、派生クラスのデストラクターもvirtualになる。

C++11規格書の「12.4 Destructors」にも記載されてるようです。
規格書を読もうが参考になります。

Comments

[JADEN]

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