Java動的バインディングとメソッドのオーバーライド

昨日、2時間の技術的な電話インタビュー（私は合格しました、woohoo！）を行いましたが、Javaの動的バインディングに関する次の質問を完全に覆い隠しました。そして、数年前に私がTAだったときにこの概念を学部生に教えていたので、それは二重に困惑しているので、彼らに誤った情報を与えた見込みは少し不安です...

ここに私が与えられた問題があります：

/* What is the output of the following program? */

public class Test {

  public boolean equals( Test other ) {
    System.out.println( "Inside of Test.equals" );
    return false;
  }

  public static void main( String [] args ) {
    Object t1 = new Test();
    Object t2 = new Test();
    Test t3 = new Test();
    Object o1 = new Object();

    int count = 0;
    System.out.println( count++ );// prints 0
    t1.equals( t2 ) ;
    System.out.println( count++ );// prints 1
    t1.equals( t3 );
    System.out.println( count++ );// prints 2
    t3.equals( o1 );
    System.out.println( count++ );// prints 3
    t3.equals(t3);
    System.out.println( count++ );// prints 4
    t3.equals(t2);
  }
}

出力は、オーバーライドされたequals()メソッド内からの2つの別個の印刷ステートメントであるはずだと断言しました：at t1.equals(t3)とt3.equals(t3)。後者のケースは十分明白であり、前者のケースでt1は、Object型の参照があっても、それはTest型としてインスタンス化されるため、動的バインディングはオーバーライドされた形式のメソッドを呼び出す必要があります。

どうやらそうではない。私のインタビュアーは私にプログラムを自分で実行するように勧めました、そして見れば、オーバーライドされたメソッドからの単一の出力しかありませんでした：行でt3.equals(t3)。

私の質問は、なぜですか？すでに述べたように、t1Object型の参照であっても（静的バインディングはObjectのequals()メソッドを呼び出す）、動的バインディングはインスタンス化された参照の型に基づいて、メソッドの最も具体的なバージョンの呼び出しを処理する必要があります。何が欠けていますか？

Javaは、オーバーロードされたメソッドには静的バインディングを使用し、オーバーライドされたメソッドには動的バインディングを使用します。あなたの例では、equalsメソッドはオーバーロードされている（Object.equals（）とは異なるパラメータータイプを持っている）ので、呼び出されたメソッドはコンパイル時に参照タイプにバインドされます。

ここでいくつかの議論

equalsメソッドであるという事実はあまり重要ではありませんが、面接での問題への回答に基づいてすでに知っている、オーバーライドではなくオーバーロードすることはよくある間違いです。

編集：ここに良い説明。この例は、代わりにパラメータタイプに関連する同様の問題を示していますが、同じ問題が原因です。

バインディングが実際に動的である場合、呼び出し元とパラメーターがTestのインスタンスである場合は、オーバーライドされたメソッドが呼び出されると思います。したがって、t3.equals（o1）は、印刷されない唯一のケースになります。

のequalsメソッドはTest、のequalsメソッドをオーバーライドしませんjava.lang.Object。パラメータタイプを見てください。Testクラスは、オーバーロードしているequalsAを受け入れる方法でTest。

equalsメソッドがオーバーライドする場合は、@ Overrideアノテーションを使用する必要があります。これにより、この一般的な間違いを指摘するコンパイルエラーが発生します。

興味深いことに、Groovyコード（クラスファイルにコンパイルできる）では、1つの呼び出しを除くすべての呼び出しがprintステートメントを実行します。（TestとObjectを比較するものは、明らかにTest.equals（Test）関数を呼び出しません。）これは、groovyが完全に動的な型指定を行うためです。明示的に動的に型付けされる変数がないため、これは特に重要です。プログラマーがgroovyがJavaのことをすることを期待しているので、これは有害であると考えられていることをいくつか読んだことがあります。

Javaはパラメーターの共分散をサポートせず、戻り値の型のみをサポートします。

言い換えると、オーバーライドするメソッドでの戻り値の型は、オーバーライドされるもののサブタイプである可能性がありますが、パラメーターには当てはまりません。

Object内のequalsのパラメーターがObjectである場合、サブクラスに他の何かとequalsを置くと、オーバーライドされたメソッドではなく、オーバーロードされます。したがって、そのメソッドが呼び出される唯一の状況は、T3の場合のように、パラメーターの静的タイプがTestの場合です。

就職の面接プロセスで頑張ってください！生徒に教える通常のアルゴ/データ構造の質問の代わりに、この種の質問をする会社でインタビューを受けたいです。

重要なのは、equals（）メソッドが標準に準拠していないという事実にあると思います。Objectオブジェクトではなく、別のTestオブジェクトを取り込むため、equals（）メソッドをオーバーライドしていません。これは、実際には、オブジェクトオブジェクトにObject.equals（Object o）を呼び出すときに、Testオブジェクトが与えられたときに、それをオーバーロードして特別な何かを行うだけのことです。IDEを介してそのコードを見ると、Testの2つのequals（）メソッドが表示されます。

メソッドはオーバーライドされる代わりにオーバーロードされます。Equalsは常にパラメーターとしてObjectを取ります。

ところで、Blochの有効なJavaにこれに関するアイテムがあります（所有する必要があります）。

しばらく検索した後の動的バインディング（DD）と静的バインディング̣̣̣（SB）の注意事項：

1.タイミング実行：（Ref.1）

• DB：実行時
• SB：コンパイラー時間

2.使用：

• DB：オーバーライド
• SB：オーバーロード（静的、プライベート、最終）（Ref.2）

参照：

1. どちらの方法を使用することを好む平均リゾルバーを実行する
2. static、private、またはfinalの修飾子でメソッドをオーバーライドできないため
3. http://javarevisited.blogspot.com/2012/03/what-is-static-and-dynamic-binding-in.html

オーバーロードする代わりにオーバーライドする別のメソッドを追加すると、実行時の動的バインディング呼び出しが説明されます。

/ *次のプログラムの出力は何ですか？* /

public class DynamicBinding {
    public boolean equals(Test other) {
        System.out.println("Inside of Test.equals");
        return false;
    }

    @Override
    public boolean equals(Object other) {
        System.out.println("Inside @override: this is dynamic binding");
        return false;
    }

    public static void main(String[] args) {
        Object t1 = new Test();
        Object t2 = new Test();
        Test t3 = new Test();
        Object o1 = new Object();

        int count = 0;
        System.out.println(count++);// prints 0
        t1.equals(t2);
        System.out.println(count++);// prints 1
        t1.equals(t3);
        System.out.println(count++);// prints 2
        t3.equals(o1);
        System.out.println(count++);// prints 3
        t3.equals(t3);
        System.out.println(count++);// prints 4
        t3.equals(t2);
    }
}

動的バインディングと静的バインディングの興味深い記事を見つけました。動的バインディングをシミュレートするためのコードが付属しています。それは私のコードをより読みやすくしました。

https://sites.google.com/site/jeffhartkopf/covariance

「なぜ？」という質問への答え それがJava言語が定義されている方法です。

共分散と反変に関するウィキペディアの記事を引用するには：

戻り型共分散は、Javaプログラミング言語バージョンJ2SE 5.0で実装されています。メソッドのオーバーライドでは、パラメーターの型はまったく同じ（不変）である必要があります。そうでない場合、メソッドは代わりに並列定義でオーバーロードされます。

他の言語は異なります。

ここでオーバーライドの概念がないことは非常に明確です。メソッドのオーバーロードです。Object()ObjectクラスのメソッドはObject型equal()の参照のパラメーターを受け取り、このメソッドはTest型の参照のパラメーターを受け取ります。

私はオンラインで出会ったいくつかの例の拡張バージョンである2つの例を通してこれを説明しようと思います。

public class Test {

    public boolean equals(Test other) {
        System.out.println("Inside of Test.equals");
        return false;
    }

    @Override
    public boolean equals(Object other) {
        System.out.println("Inside of Test.equals ot type Object");
        return false;
    }

    public static void main(String[] args) {
        Object t1 = new Test();
        Object t2 = new Test();
        Test t3 = new Test();
        Object o1 = new Object();

        int count = 0;
        System.out.println(count++); // prints 0
        o1.equals(t2);

        System.out.println("\n" + count++); // prints 1
        o1.equals(t3);

        System.out.println("\n" + count++);// prints 2
        t1.equals(t2);

        System.out.println("\n" + count++);// prints 3
        t1.equals(t3);

        System.out.println("\n" + count++);// prints 4
        t3.equals(o1);

        System.out.println("\n" + count++);// prints 5
        t3.equals(t3);

        System.out.println("\n" + count++);// prints 6
        t3.equals(t2);
    }
}

ここでは、カウント値が0、1、2、3の行の場合。我々は、参照のオブジェクトのためのO1とT1のequals()方法を。したがって、コンパイル時にequals()、Object.classファイルのメソッドがバインドされます。

しかし、にもかかわらず、参照のt1があるオブジェクト、それが有する使う初期のテストクラス。
Object t1 = new Test();。
したがって、実行時にpublic boolean equals(Object other)whichが呼び出されます

オーバーライドされたメソッド

。

これで、カウント値が4と6の場合、Testの参照と初期化を持つt3がObject参照としてパラメーターを使用してメソッドを呼び出し、それがequals()

オーバーロードされたメソッド

OK！

繰り返しますが、コンパイラーが呼び出すメソッドをよりよく理解するには、メソッドをクリックするだけで、Eclipseはコンパイル時に呼び出すと思われる類似のタイプのメソッドを強調表示します。コンパイル時に呼び出されない場合、それらのメソッドはメソッドのオーバーライドの例です。