vtable.cpp

struct Base {
  virtual ~Base() = default;      // ... A
  ~Base() = default;              // ... B
};

struct Derived : Base {
  ~Derived() = default;           // ... a
  virtual ~Derived() = default;   // ... b
  ~Derived() override = default;  // ... c
};

// Aならば
//   a/b/cいずれでも問題ない。
//   ~Baseが呼ばれたとき、~Derivedも呼ばれる
// Bならば
//   aのとき
//     ~Baseが呼ばれたとき、~Derivedが呼ばれない
//   bのとき
//     Derivedのvtableにデストラクタが登録されるだけで特に意味はない
//     ~Baseが呼ばれたとき、~Derivedが呼ばれない
//   cのとき
//     コンパイルエラーとなり問題となるコードを生成させない