1

次の2つの考えが正しいかどうかを教えてください。

  1. 実行時にメソッドの探索がおこなわれるとき 実引数と仮引数の比較は、代入されたインスタンスのクラス ではなく 実引数の型を比較する。
  2. 実引数は コンパイル時に 探索されて見つかったメソッドの仮引数の型に 暗黙的にキャストされる。

そう考えた根拠が次の実験です。

class Super {
    public void method(Object o) {
        System.out.println("(class)Super--(arg)Object");
    }
}

class Sub extends Super {

    public void method(Object o) {
        System.out.println("(class)Sub--(arg)Object");
    }

    public void method(String s) {
        System.out.println("(class)Sub--(arg)String--");
    }
}

class Test {

    public static void main(String[] args) {  

        Super sp = new Sub();

        String str = "";

        sp.method(str);

    }
}
(class)Sub--(arg)Object

処理の流れは次のようになっていると考えました。

  1. コンパイル時 変数spの型のクラスからメソッドを探す。
  2. Superクラスでマッチするメソッドが見つかる。
  3. 実引数の型はStringだが コンパイル時点で 仮引数の型Objectにキャストされる
  4. 実行時 メソッドが変数sp中のインスタンスのクラスから探索される
  5. Subクラスでメソッド名がマッチするメソッドが二つ見つかる
  6. 実引数に代入されたインスタンスではなく 実引数の型を仮引数の型と比較する。
  7. このとき 実引数の型はObjectにキャストされているので メソッドはmethod(Object o)が選ばれる

という認識です。あっているでしょうか。
よろしくお願いいたします。

1 件の回答 1

2

1. 実行時にメソッドの探索がおこなわれるとき 実引数と仮引数の比較は、代入されたインスタンスのクラス ではなく 実引数の型を比較する。

誤りです。Javaではoverloading(多重定義)の解決は、コンパイル時に静的な型をもとに行われます。実行時の実引数の型ではありません。

2. 実引数は コンパイル時に 探索されて見つかったメソッドの仮引数の型に 暗黙的にキャストされる。

誤りとは言えませんが、これは、Java(や殆どのオブジェクト指向言語)で許されている数少ない暗黙の型変換の一つです。メソッド呼び出し時の実引数/仮引数に限らず、ObjectのサブクラスであるString型の値は、Object型の変数や仮引数に代入可能です。いわゆる「上位型への変換(upcasting)」ですね。


あなたの書き方に合わせて「処理の流れ」を修正すると、こんな感じ。

処理の流れは次のようになっている

  1. コンパイル時 変数spの型のクラスからメソッドを探す。
  2. Superクラスでマッチするメソッドが見つかる。

    このときspの型はSuperなので、見つかるメソッドはmethod(Object)だけ

  3. 実引数の型はStringだが コンパイル時点で 仮引数の型Objectにキャストされる

  4. 実行時 メソッド method(Object) 変数sp中のインスタンスのクラスから探索される
  5. Subクラスでメソッド シグニチャ がマッチするメソッドが オーバライドされているのが 見つかる
  6. 実引数に代入されたインスタンスではなく 実引数の型を仮引数の型と比較する。
  7. このとき Subではmethod(Object)がオーバライドされている 実引数の型はObjectにキャストされているので メソッドは Sub側の method(Object)が選ばれる

overloadの解決⇒コンパイル時(どのシグニチャのメソッドが呼ばれるかはコンパイル時に決まっている)
overrideの解決⇒実行時(そのシグニチャのメソッドのどのクラスの定義が使われるかは実行時に決まる)

とまとめられます。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。