การส่งเสริมประเภท Java ในพารามิเตอร์

ฉันสะดุดกับตัวอย่างนี้:

public class ParamTest {
    public static void printSum(int a, double b) {
        System.out.println("In intDBL " + (a + b));
    }

    public static void printSum(long a, long b) {
        System.out.println("In long " + (a + b));
    }

    public static void printSum(double a, long b) {
        System.out.println("In doubleLONG " + (a + b));
    }

    public static void main(String[] args) {
        printSum(1, 2);
    }
}

สิ่งนี้จะส่งผลให้เกิดข้อผิดพลาดในการคอมไพล์:

ข้อผิดพลาด: (15, 9) java: การอ้างอิงถึง printSum นั้นไม่ชัดเจนทั้งสองวิธี printSum (int, double) ใน ParamTest และวิธี printSum (ยาว, ยาว) ในการจับคู่ ParamTest

ความคลุมเครือนี้เป็นอย่างไร ไม่ควรสนับสนุนเฉพาะพารามิเตอร์ตัวที่สองในกรณีนี้เนื่องจากพารามิเตอร์ตัวแรกเป็น int อยู่แล้ว? ไม่จำเป็นต้องเลื่อนชั้นแรกในกรณีนี้ใช่ไหม

การรวบรวมสำเร็จหากฉันอัปเดตรหัสเพื่อเพิ่มวิธีอื่น:

public static void printSum(int a, long b) {
    System.out.println(String.format("%s, %s ", a, b));
}

ขอผมขยายให้ชัดเจนหน่อย โค้ดด้านล่างส่งผลให้เกิดความกำกวม:

public class ParamTest {

    public static void printSum(int a, double b) {
        System.out.println("In intDBL " + (a + b));
    }

    public static void printSum(long a, long b) {
        System.out.println("In long " + (a + b));
    }

    public static void main(String[] args) {
        printSum(1, 2);
    }
}

จากนั้นโค้ดด้านล่างนี้ยังส่งผลให้เกิดความกำกวม:

public class ParamTest {

    public static void printSum(int a, double b) {
        System.out.println("In intDBL " + (a + b));
    }

    public static void printSum(double a, long b) {
        System.out.println("In doubleLONG " + (a + b));
    }

    public static void main(String[] args) {
        printSum(1, 2);
    }
}

อย่างไรก็ตามอันนี้ไม่ได้ทำให้เกิดความกำกวม:

public class ParamTest {

    public static void printSum(int a, double b) {
        System.out.println("In intDBL " + (a + b));
    }

    public static void printSum(long a, double b) {
        System.out.println("In longDBL " + (a + b));
    }

    public static void main(String[] args) {
        printSum(1, 2);
    }
}

ฉันคิดว่าสิ่งนี้เกี่ยวข้องกับกฎเฉพาะของ JLS เกี่ยวกับ15.12.2.5 เลือกวิธีที่เฉพาะเจาะจงมากที่สุด มันระบุว่า:

หากมีวิธีสมาชิกมากกว่าหนึ่งวิธีที่สามารถเข้าถึงได้และสามารถใช้ได้กับการเรียกใช้เมธอดจำเป็นต้องเลือกวิธีหนึ่งเพื่อให้ descriptor สำหรับวิธีการจัดส่ง ภาษาการเขียนโปรแกรม Java ใช้กฎที่เลือกวิธีการเฉพาะที่สุด

วิธีที่ Java เลือกวิธีที่เฉพาะเจาะจงที่สุดถูกอธิบายเพิ่มเติมโดยข้อความ:

สัญชาตญาณแบบไม่เป็นทางการคือวิธีการหนึ่งมีความเฉพาะเจาะจงมากกว่าวิธีอื่นหากการเรียกใช้ที่จัดการโดยวิธีแรกสามารถส่งผ่านไปยังอีกวิธีหนึ่งโดยไม่มีข้อผิดพลาดในการรวบรวมเวลา ในกรณีเช่นอาร์กิวเมนต์การแสดงออกแลมบ์ดาที่พิมพ์อย่างชัดเจน (§15.27.1) หรือการร้องขอตัวแปร arity (§15.12.2.4) ความยืดหยุ่นบางอย่างได้รับอนุญาตให้ปรับหนึ่งลายเซ็นให้กับอีกแบบหนึ่ง

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

สำหรับวิธีการเหล่านี้ไม่สามารถระบุได้ว่าเฉพาะเจาะจงมากขึ้น:

public static void printSum(int a, double b) {
    System.out.println("In intDBL " + (a + b));
} // int, double cannot be passed to long, long or double, long without error

public static void printSum(long a, long b) {
    System.out.println("In long " + (a + b));
} // long , long cannot be passed to int, double or double, long without error

public static void printSum(double a, long b) {
    System.out.println("In doubleLONG " + (a + b));
} // double, long cannot be passed to int, double or long, long without error

วิธีที่สี่ล้างคลุมเครืออย่างแม่นยำเพราะมันตอบสนองเงื่อนไขที่จำเป็นที่จะเฉพาะเจาะจงมากที่สุด

public static void printSum(int a, long b) {
    System.out.println(String.format("%s, %s ", a, b));
}

นั่นคือ (int, long) สามารถส่งผ่านไปยัง (int, double), (long, long) หรือ (double, long) โดยไม่มีข้อผิดพลาดในการรวบรวม

เป็นคำถามที่น่าสนใจอย่างมาก ลองทำตามข้อกำหนดภาษา Java ทีละขั้นตอน

1. เมื่อคอมไพเลอร์จะพยายามที่จะระบุวิธีการที่อาจบังคับสิ่งแรกที่มันไม่เป็นserching สำหรับวิธีการบังคับโดยการภาวนาอย่างเข้มงวด

2. ในกรณีของคุณไม่มีวิธีการดังกล่าวดังนั้นขั้นตอนต่อไปคือการค้นหาวิธีการที่ใช้งานได้โดย Loose Invocation

3. ณ จุดนี้วิธีการทั้งหมดตรงกับดังนั้นวิธีที่เฉพาะเจาะจงมากที่สุด ( .1215.12.2.5 ) ถูกเลือกในวิธีการที่ใช้โดยการเรียกหลวม

นี่เป็นช่วงเวลาสำคัญดังนั้นเรามาดูสิ่งนี้อย่างใกล้ชิด

วิธีการหนึ่งที่ใช้บังคับ m1 นั้นมีความเฉพาะเจาะจงกว่าวิธีอื่น ๆ ที่บังคับใช้ m2 สำหรับการเรียกใช้ที่มีนิพจน์อาร์กิวเมนต์ e1, ... , ek ถ้าสิ่งใดสิ่งหนึ่งต่อไปนี้เป็นจริง:

(เราสนใจในกรณีต่อไปนี้เท่านั้น):

• m2 ไม่ทั่วไปและ m1 และ m2 สามารถใช้งานได้โดยการเรียกใช้ที่เข้มงวดหรือหลวมและที่ m1 มีประเภทพารามิเตอร์ที่เป็นทางการ S1, ... , Sn และ m2 มีพารามิเตอร์ที่เป็นทางการประเภท T1, ... , Tn ประเภท Si เป็นมากกว่า เจาะจงกว่า Ti สำหรับอาร์กิวเมนต์ ei สำหรับ i ทั้งหมด (1 ≤ i ≤ n, n = k)

ใส่เพียงแค่วิธีการที่เป็นที่เฉพาะเจาะจงมากขึ้นถ้าทุกประเภทพารามิเตอร์ที่มีความเฉพาะเจาะจงมากขึ้น และ

ประเภท S นั้นเฉพาะเจาะจงยิ่งกว่าประเภท T สำหรับนิพจน์ใด ๆ หาก S <: T ( §4.10 )

การแสดงออกS <: Tหมายความว่าเป็นชนิดย่อยของS Tสำหรับดั้งเดิมเรามีความสัมพันธ์ดังต่อไปนี้:

double > float > long > int

ดังนั้นเรามาดูวิธีการของคุณและดูว่าวิธีใดที่เฉพาะเจาะจงกว่าวิธีอื่น

public static void printSum(int a, double b) {  // method 1
    System.out.println("In intDBL " + (a + b));
}

public static void printSum(double a, long b) { // method 2
    System.out.println("In doubleLONG " + (a + b));
}

ในตัวอย่างนี้พารามิเตอร์แรกของวิธีการที่ 1 เป็นเฉพาะที่เห็นได้ชัดมากขึ้นกว่าพารามิเตอร์แรกของวิธีการที่ 2 (ถ้าคุณเรียกพวกเขามีค่าจำนวนเต็ม: printSum(1, 2)) แต่พารามิเตอร์ที่สองเป็นที่เฉพาะเจาะจงมากขึ้นสำหรับวิธีการที่ 2long < doubleเพราะ ดังนั้นไม่มีวิธีการใดที่เฉพาะเจาะจงกว่าวิธีอื่น นั่นเป็นเหตุผลที่คุณมีความคลุมเครือที่นี่

ในตัวอย่างต่อไปนี้:

public static void printSum(int a, double b) { // method 1
    System.out.println("In intDBL " + (a + b));
}

public static void printSum(long a, double b) { // method 2
    System.out.println("In longDBL " + (a + b));
}

พารามิเตอร์ชนิดแรกของวิธีที่ 1 มีความเฉพาะเจาะจงมากกว่าหนึ่งในวิธีที่ 2 เนื่องจากint < longและประเภทพารามิเตอร์ที่สองเหมือนกันสำหรับทั้งคู่นั่นคือสาเหตุที่เลือกวิธีที่ 1

เพราะค่า int สามารถพิจารณาเป็น double ใน java ได้ หมายถึงdouble a = 3ถูกต้องและเหมือนกันกับระยะเวลานานlong b = 3ดังนั้นนั่นคือสาเหตุที่สร้างความคลุมเครือ คุณโทรมา

printSum(1, 2);

สับสนทั้งสามวิธีเพราะทั้งสามวิธีนี้ใช้ได้:

int a = 1;
double b =1;
long c = 1;

คุณสามารถวาง L ไว้ท้ายสุดเพื่อระบุว่าเป็นค่าที่ยาว ตัวอย่างเช่น:

printSum(1L, 2L);

สำหรับสองเท่าคุณต้องแปลงมัน:

printSum((double)1, 2L);

อ่านความคิดเห็นของ @Erwin Bolwidt ด้วย