クラスの型にまつわるあれこれ（2）〜クラスの継承とクラス間の型の関係について〜

図7　Dog型変数にCatを代入しようとして表示されたエラー