Java SE 7 Bronzeサンプル問題です。

Question

class A {
  public void foo() { System.out.println("A.foo()"); }
}
class B extends A {
  public void foo() { System.out.println("B.foo()"); }
}
class C extends B {
  public void foo() { System.out.println("C.foo()"); }
}
class Test {
  public static void main(String [] args) {
    B b = new C();
    b.foo();
  }
}

実行結果はどれですか？
A. C.foo()
B. B.foo()
C. A.foo()
D. コンパイルエラーになる
E. 実行時に例外が発生する

という問題があるのですが、B b = new C();ではなく、

B b = new B();

といったようにインスタンスを作成しなければいけないのではないのでしょうか？extendsをしているから大丈夫なのでしょうか？

初歩的なところで申し訳ございませんがよろしく御願い致します。

ちなみに解答はAです。(私はBを選びました)

Answer 1

CクラスはBクラスを継承しているため、Bクラスの情報を確実に持っています。
このため、CクラスのオブジェクトはBクラスとして扱ってもなんの問題もないのです。
したがって、new C()というCクラスのオブジェクトを、B型の変数に代入することができるのです。

Comments

[akagami_bb]

とても分かりやすいご説明ありがとうございます！
また機会がありましたらよろしく御願い致します。