第47回 確認問題（継承と多態）

基底 → 派生の順。派生クラスは基底のメンバを使えるので、先に基底が初期化されます。破棄は逆順。

派生を基底の値型に代入するとスライシング。多態性を活かすには参照・ポインタ・unique_ptr を使う必要があります。

virtual なしだと静的バインディング。ポインタの型（基底）で呼び出し先が決まるので、基底の実装が呼ばれます。多態が必要なら virtual を付ける。

override は「基底に virtual 関数がある」ことを保証。タイポ・const 付け忘れ等の事故を防ぎます。

virtual なしだと基底の dtor しか呼ばれず、派生部分のリソースリーク。基底クラスには必ず virtual ~Base() = default;。

オブジェクトごとに vptr が追加。vtable 自体はクラスごとに 1 つ。

コンストラクタは基底 → 派生の順で動き、その途中では vptr は基底の vtable を指しています。そのため基底 ctor 内で仮想呼び出しすると基底の版が呼ばれる。落とし穴のひとつ。

C++ は末尾に = 0 を付ける特殊構文。abstract キーワードは存在しません。

抽象クラスは直接インスタンス化できませんが、ポインタ・参照の型としては使え、派生を指すのが普通の使い方。

未実装が残っていれば派生も抽象。さらに派生して全部実装した時点で初めて具象に。

class B : virtual public A で virtual 継承すると、A のインスタンスが 1 つに統合されます。

データメンバを持たない純粋インターフェースなら菱形問題が起きません。「extends 1 つ + implements 複数」の Java 風スタイル。