Bagaimana metode kelebihan beban dipilih ketika parameter adalah nilai nol literal?

Saya menemukan pertanyaan ini dalam sebuah kuis,

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);
   }
}

Output dari program ini adalah "Versi String". Tetapi saya tidak dapat memahami mengapa meneruskan null ke metode yang kelebihan beban memilih versi string. Apakah null variabel String tidak mengarah ke apa-apa?

Namun ketika kode diubah menjadi,

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);
   }
}

itu memberikan kesalahan kompilasi yang mengatakan "Metode metode (StringBuffer) ambigu untuk jenis MoneyCalc"

Apakah null variabel String tidak mengarah ke apa-apa?

Referensi null dapat diubah menjadi ekspresi jenis kelas apa pun. Jadi dalam kasus String, ini bagus:

String x = null;

The Stringkelebihan disini dipilih karena compiler Java mengambil yang paling spesifik overload, sesuai bagian 15.12.2.5 dari JLS . Khususnya:

Intuisi informal adalah bahwa satu metode lebih spesifik daripada yang lain jika pemanggilan apa pun yang ditangani oleh metode pertama dapat diteruskan ke metode lain tanpa kesalahan jenis waktu kompilasi.

Dalam kasus kedua, kedua metode masih berlaku, tetapi tidak Stringjuga StringBufferlebih spesifik dari yang lain, oleh karena itu metode tidak lebih spesifik dari yang lain, maka kesalahan kompilator.

Selain itu, JLS 3.10.7 juga menyatakan bahwa "null" adalah nilai literal dari "tipe null". Oleh karena itu ada tipe yang disebut "null".

Kemudian, JLS 4.1 menyatakan bahwa terdapat tipe null yang tidak mungkin untuk mendeklarasikan variabel, tetapi Anda dapat menggunakannya hanya melalui literal null. Kemudian dikatakan:

Referensi null selalu dapat menjalani konversi referensi yang melebar ke jenis referensi apa pun.

Mengapa compiler memilih untuk melebarkannya ke String mungkin bisa dijelaskan dengan baik dalam jawaban Jon .

Anda dapat menetapkan stringke nullnilai sehingga berlaku dan agar java dan kebanyakan bahasa pemrograman cocok dengan jenis yang paling dekat dan kemudian ke objek.

Untuk menjawab pertanyaan dalam judul: nullbukan a Stringatau an Object, tapi referensi ke salah satunya dapat diberikan null.

Saya benar-benar terkejut kode ini bahkan dikompilasi. Saya mencoba sesuatu yang serupa sebelumnya dan saya mendapat kesalahan kompiler yang mengatakan bahwa panggilan itu ambigu.

Namun, dalam kasus ini, tampaknya penyusun memilih metode yang paling rendah dalam rantai makanan. Ini mengasumsikan bahwa Anda menginginkan versi metode yang paling tidak umum untuk membantu Anda.

Saya harus melihat apakah saya dapat menggali contoh di mana saya mendapat kesalahan kompiler dalam skenario yang (tampaknya) persis sama ini, meskipun ...]

EDIT: Saya mengerti. Dalam versi yang saya buat, saya memiliki dua metode kelebihan beban, menerima a Stringdan Integer. Dalam skenario ini, tidak ada parameter "paling spesifik" (seperti dalam ObjectdanString ), sehingga tidak dapat memilih di antara , tidak seperti di kode Anda.

Pertanyaan yang sangat keren!

Karena tipe String lebih spesifik daripada tipe Object. Katakanlah Anda menambahkan satu metode lagi yang menggunakan tipe Integer.

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

Kemudian Anda akan mendapatkan kesalahan kompiler yang mengatakan bahwa panggilan tersebut ambigu. Seperti sekarang kami dua metode yang sama-sama spesifik dengan prioritas yang sama.

Kompiler Java memberikan sebagian besar tipe kelas turunan untuk menetapkan null.

Berikut contoh untuk memahaminya:

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);
    }
}

keluaran: Kelas B.

di samping itu:

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);
    }
}

Hasil: Metode fun (C) ambigu untuk tipe MyTest

Semoga dapat membantu memahami kasus ini dengan lebih baik.

Sumber: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.12.2.5
Konsep: Metode paling spesifik
Penjelasan: Jika lebih dari satu metode anggota dapat diakses dan berlaku untuk pemanggilan metode, Anda harus memilih salah satu untuk menyediakan deskriptor untuk pengiriman metode run-time. Bahasa pemrograman Java menggunakan aturan bahwa metode yang paling spesifik dipilih. Cobalah mentransmisikan null ke tipe tertentu dan metode yang Anda inginkan akan dipanggil secara otomatis.

Saya tidak akan mengatakan keduanya. NULL adalah keadaan bukan nilai. Lihat tautan ini untuk info lebih lanjut tentang ini (artikel ini berlaku untuk SQL, tetapi saya pikir ini juga membantu pertanyaan Anda).