run-time type と compile-time type の違い

Question

目的

run-time type と compile-time type の違いを理解する。

該当のソースコード

class Parent {
    public static void myStaticMethod() {
	System.out.println("A");
    }
    public void myInstanceMethod() {
	System.out.println("B");
    }
} // End of the Parent class
public class Child extends Parent {
    public static void myStaticMethod() {
	System.out.println("C");
    }
    public void myInstanceMethod() {
	System.out.println("D");
    }
    public static void main(String[] args) {
	Parent o1 = new Parent();
	Parent o2 = new Child();
	Child o3 = new Child();
	Parent.myStaticMethod();// A
	Child.myStaticMethod(); // C
	o1.myStaticMethod();    // A
	o1.myInstanceMethod();  // B
	o2.myStaticMethod();    // A　★
	o2.myInstanceMethod();  // D　☆
	o3.myStaticMethod();    // C
	o3.myInstanceMethod();  // D
	myStaticMethod();       // C
    } // End of main method
} // End of the Child class

###説明文
Notice that o2.myStaticMethod invokes Parent.myStaticMethod(). If this method were truly overridden,we should have invoked Child.myStaticMethod, but we didn't. Rather, when you invoke a static method, even if you invoke it on an instance, you really invoke the method associated with the "compile-time type" of the variable. In this case, the compile-time type of o2 is Parent. Therefore, we invoke Parent.myStaticMethod(). However, when we execute the line o2.myInstanceMethod(), we really invoke the method Child.myInstanceMethod(). That's because, unlike static methods, instance methods CAN be overridden. In such a case, we invoke the method associated with the run-time type of the object. Even though the compile time type of o2 is Parent, the run-time type (the type of the object o2 references) is Child. Therefore, we invoke Child.myInstanceMethod rather than Parent.myInstanceMethod().

質問

上記の説明に、★はcompile-time type　を見ているから出力が”A"になると書いてあり、☆はrun-time type を見ているから”D"になると書いてあるのですが、このcompile-time type とrun-time typeの明確な違いがわかりません。これらの明確な違いを教えてください。

Comments

[momon-ga]

もう少し、他者が誤解しないように質問してくれませんか？
コンパイル時と実行時は、明らかに違うもので、質問者さんがその違いをわからない人だと思えません。

[javahack]

説明の引用元を質問に追記してください。

[rakkn]

説明の引用元を質問に追記してください。
>申し訳ないのですが、大学の資料なので公開はできません。説明文は追記させていただきました。

Answer 1

大まかに以下の方法でクラス情報を取得するのが仕様のため

    Parent.myStaticMethod();// A : クラス名を指定してる
    Child.myStaticMethod(); // C : クラス名を指定してる
    o1.myStaticMethod();    // A : 宣言のクラス名 (Parent o1)で実行
    o1.myInstanceMethod();  // B : 変数のクラス名 (new Parent)で実行
    o2.myStaticMethod();    // A : 宣言のクラス名 (Parent 02)で実行　★
    o2.myInstanceMethod();  // D : 変数のクラス名 (new Child)で実行　☆
    o3.myStaticMethod();    // C : 宣言のクラス名 (Child 03)で実行　 
    o3.myInstanceMethod();  // D : 変数のクラス名 (new Child)で実行　
    myStaticMethod();       // C : 実行クラス名　 (Child#main)で実行　 

compile-time type -> 宣言
run-time type -> 実装

こうなるため static method は 変数から実行するなとなる。

Comments

[rakkn]

ご回答ありがとうございます。そういうことだったんですね！改めてありがとうございます。