วิธีการโอเวอร์โหลดถูกเลือกอย่างไรเมื่อพารามิเตอร์เป็นค่า 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);
   }
}

ผลลัพธ์ของโปรแกรมนี้คือ "String Version" แต่ฉันไม่เข้าใจว่าทำไมการส่ง 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 method (StringBuffer) ไม่ชัดเจนสำหรับประเภท MoneyCalc"

เป็น null ตัวแปร String ชี้ไปที่อะไร?

การอ้างอิง null สามารถแปลงเป็นนิพจน์ของคลาสประเภทใดก็ได้ ดังนั้นในกรณีStringนี้ก็ใช้ได้:

String x = null;

Stringเกินพิกัดที่นี่จะเลือกเพราะคอมไพเลอร์ Java หยิบเฉพาะเจาะจงมากที่สุดเกินตามส่วน 15.12.2.5 ของ JLS โดยเฉพาะอย่างยิ่ง:

สัญชาตญาณอย่างไม่เป็นทางการคือวิธีการหนึ่งมีความเฉพาะเจาะจงมากกว่าวิธีอื่นหากการเรียกใช้ใด ๆ ที่จัดการโดยวิธีแรกสามารถส่งต่อไปยังอีกวิธีหนึ่งโดยไม่มีข้อผิดพลาดประเภทเวลาคอมไพล์

ในกรณีที่สองของคุณทั้งสองวิธีจะยังคงบังคับ แต่ไม่Stringว่ามิได้StringBufferเป็นเฉพาะเจาะจงมากขึ้นกว่าที่อื่น ๆ จึงไม่เป็นวิธีการเฉพาะเจาะจงมากขึ้นกว่าที่อื่น ๆ ด้วยเหตุนี้ข้อผิดพลาดคอมไพเลอร์

นอกจากนี้JLS 3.10.7ยังประกาศว่า "null" เป็นค่าตามตัวอักษรของ "null type" ดังนั้นจึงมีประเภทที่เรียกว่า "null"

ต่อมาJLS 4.1ระบุว่ามีประเภท null ซึ่งไม่สามารถประกาศตัวแปรได้ แต่คุณสามารถใช้ผ่านลิเทอรัล null เท่านั้น ต่อมามีข้อความว่า:

การอ้างอิงที่เป็นโมฆะสามารถแปลงการอ้างอิงที่กว้างขึ้นเป็นประเภทการอ้างอิงใด ๆ ได้เสมอ

ทำไมคอมไพเลอร์เลือกที่จะขยายไปยัง String อาจจะได้อธิบายในคำตอบของจอน

คุณสามารถกำหนด a stringให้กับnullค่าเพื่อให้ถูกต้องและลำดับของ java และภาษาโปรแกรมส่วนใหญ่จะพอดีกับประเภทที่ใกล้เคียงที่สุดแล้วจึงจะคัดค้าน

ในการตอบคำถามในชื่อเรื่อง: nullไม่ใช่ a Stringหรือ an Objectแต่สามารถกำหนดให้nullอ้างอิงได้

ฉันแปลกใจจริง ๆ ที่รหัสนี้รวบรวมได้ ฉันลองทำสิ่งที่คล้ายกันก่อนหน้านี้และฉันได้รับข้อผิดพลาดของคอมไพเลอร์แจ้งว่าการโทรไม่ชัดเจน

อย่างไรก็ตามในกรณีนี้ดูเหมือนว่าคอมไพเลอร์จะเลือกวิธีการที่ต่ำที่สุดในห่วงโซ่อาหาร สมมติว่าคุณต้องการวิธีการรุ่นทั่วไปน้อยที่สุดเพื่อที่จะช่วยคุณได้

ฉันจะต้องดูว่าฉันสามารถขุดตัวอย่างที่ฉันได้รับข้อผิดพลาดของคอมไพเลอร์ในสถานการณ์เดียวกันนี้ (ดูเหมือน) แน่นอนหรือไม่แม้ว่า ... ]

แก้ไข: ฉันเข้าใจ ในเวอร์ชันที่ฉันทำฉันมีสองวิธีที่มากเกินไปในการยอมรับ a StringและInteger. ในสถานการณ์นี้ไม่มีพารามิเตอร์ที่ "เฉพาะเจาะจงที่สุด" (เช่นเดียวกับObjectและString) ดังนั้นจึงไม่สามารถเลือกระหว่างพารามิเตอร์เหล่านี้ได้ซึ่งแตกต่างจากในโค้ดของคุณ

คำถามเด็ดมาก!

เนื่องจากประเภท String มีความเฉพาะเจาะจงมากกว่าประเภท Object สมมติว่าคุณเพิ่มอีกหนึ่งวิธีที่ใช้ประเภทจำนวนเต็ม

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

จากนั้นคุณจะได้รับข้อผิดพลาดของคอมไพเลอร์แจ้งว่าการโทรไม่ชัดเจน ในตอนนี้เรามีวิธีการที่เฉพาะเจาะจงเท่ากันสองวิธีที่มีลำดับความสำคัญเดียวกัน

คอมไพเลอร์ 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 Class

ในทางกลับกัน:

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

ผลลัพธ์:วิธีการสนุก (C) ไม่ชัดเจนสำหรับประเภท MyTest

หวังว่าจะช่วยให้เข้าใจกรณีนี้ดีขึ้น

ที่มา: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.12.2.5
แนวคิด:วิธีการที่เฉพาะเจาะจงที่สุด
คำอธิบาย: หากมีเมธอดสมาชิกมากกว่าหนึ่งวิธีสามารถเข้าถึงได้และ ใช้ได้กับการเรียกใช้เมธอดจำเป็นต้องเลือกอย่างใดอย่างหนึ่งเพื่อระบุตัวอธิบายสำหรับการจัดส่งเมธอดรันไทม์ ภาษาโปรแกรม Java ใช้กฎที่เลือกวิธีที่เฉพาะเจาะจงที่สุด ลองแคสต์ null ไปยังประเภทที่ต้องการและวิธีที่คุณต้องการจะถูกเรียกโดยอัตโนมัติ

ฉันจะบอกว่าไม่ NULL เป็นสถานะไม่ใช่ค่า ดูลิงค์นี้เพื่อดูข้อมูลเพิ่มเติมเกี่ยวกับเรื่องนี้ (บทความนี้ใช้กับ SQL แต่ฉันคิดว่ามันช่วยในคำถามของคุณได้เช่นกัน)