パラメータがリテラルnull値の場合、オーバーロードされたメソッドはどのように選択されますか？

私はクイズでこの質問に出くわしました、

public class MoneyCalc {

   public void method(Object o) {
      System.out.println("Object Verion");
   }

   public void method(String s) {
      System.out.println("String Version");
   }

   public static void main(String args[]) {
      MoneyCalc question = new MoneyCalc();
      question.method(null);
   }
}

このプログラムの出力は「文字列バージョン」です。しかし、オーバーロードされたメソッドにnullを渡すと文字列バージョンが選択される理由を理解できませんでした。nullは何も指していないString変数ですか？

ただし、コードを次のように変更すると、

public class MoneyCalc {

   public void method(StringBuffer sb) {
      System.out.println("StringBuffer Verion");
   }

   public void method(String s) {
      System.out.println("String Version");
   }

   public static void main(String args[]) {
      MoneyCalc question = new MoneyCalc();
      question.method(null);
   }
}

「メソッドmethod（StringBuffer）はMoneyCalcタイプにはあいまいです」というコンパイルエラーが発生します。

nullは何も指していないString変数ですか？

null参照は、任意のクラス型の式に変換できます。したがって、の場合String、これは問題ありません。

String x = null;

StringJavaコンパイラが選ぶので、ここに過負荷が選択されているほとんどの特定のあたりとして、過負荷をJLSのセクション15.12.2.5。特に：

非公式な直感は、最初のメソッドによって処理された呼び出しがコンパイル時のタイプエラーなしで他のメソッドに渡される場合、1つのメソッドが他のメソッドよりも具体的であるということです。

2番目のケースでは、どちらの方法も引き続き適用できますが、どちらStringもどちらかStringBuffer一方が他方よりも限定的ではないため、どちらの方法も他方よりも限定的ではないため、コンパイラエラーが発生します。

さらに、JLS 3.10.7は、「null」が「null型」のリテラル値であることも宣言しています。したがって、「null」と呼ばれるタイプが存在します。

その後、JLS 4.1は、変数を宣言することができないnull型が存在すると述べていますが、nullリテラルを介してのみ使用できます。後でそれは言う：

null参照は、常に任意の参照型への拡大参照変換を受けることができます。

コンパイラが文字列に拡張することを選択する理由は、ジョンの回答で説明されている可能性があります。

を値に割り当てるstringと、null値が有効になり、Javaとほとんどのプログラミング言語の順序が最も近い型に適合してからオブジェクトに適合します。

タイトルの質問に答えるために：nullはStringでもでもありませんObjectが、どちらかへの参照をnull。

実際にこのコードがコンパイルされても驚いています。以前に同様のことを試みたところ、呼び出しがあいまいであるというコンパイラエラーが発生しました。

ただし、この場合、コンパイラはフードチェーンで最も低いメソッドを選択しているようです。それはあなたがあなたを助けるためにあなたがメソッドの最も一般的なバージョンを望んでいないことを前提としています。

ただし、この（一見）まったく同じシナリオでコンパイラエラーが発生した例を掘り下げることができるかどうかを確認する必要がありますが...]

編集： なるほど。私が作成したバージョンでは、a Stringとを受け入れる2つのオーバーロードメソッドがありましたInteger。このシナリオでは、「最も具体的な」パラメータはありません（ObjectおよびStringがないため、コードとは異なり、それらを選択することはできません。

とてもクールな質問です！

文字列型はオブジェクト型よりも具体的です。Integer型を取るメソッドをもう1つ追加するとします。

public void method(Integer i) {
      System.out.println("Integer Version");
   }

次に、呼び出しがあいまいであることを示すコンパイラエラーが表示されます。今のところ、同じ優先順位を持つ2つの同等に特定のメソッド。

Javaコンパイラは、ほとんどの派生クラス型にnullを割り当てます。

これを理解するための例を次に示します。

class A{

    public void methodA(){
        System.out.println("Hello methodA");
    }
}

class B extends A{
    public void methodB(){
        System.out.println("Hello methodB");
    }
}

class C{
    public void methodC(){
        System.out.println("Hello methodC");
    }
}

public class MyTest {

     public static void fun(B Obj){
         System.out.println("B Class.");
     }
     public static void fun(A Obj){
         System.out.println("A Class.");
     }

    public static void main(String[] args) {
        fun(null);
    }
}

出力： Bクラス。

一方：

public class MyTest {

     public static void fun(C Obj){
         System.out.println("B Class.");
     }
     public static void fun(A Obj){
         System.out.println("A Class.");
     }

    public static void main(String[] args) {
        fun(null);
    }
}

結果：メソッドfun（C）は、MyTestタイプにはあいまいです

このケースをよりよく理解するのに役立つことを願っています。

ソース： https : //docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.12.2.5
概念：最も具体的なメソッド
説明：複数のメンバーメソッドにアクセス可能であり、かつメソッド呼び出しに適用できる場合は、実行時メソッドディスパッチの記述子を提供するために1つを選択する必要があります。Javaプログラミング言語は、最も具体的なメソッドが選択されるという規則を使用します。nullを特定の型にキャストすると、目的のメソッドが自動的に呼び出されます。

私はどちらとも言いません。NULLは値ではなく状態です。これに関する詳細については、このリンクをチェックしてください（この記事はSQLに適用されますが、質問にも役立つと思います）。