Bagaimanakah kaedah generik Java melakukan inferens jenis?

Kaedah generik Java boleh membuat kesimpulan secara automatik parameter jenis tanpa pengisytiharan yang jelas. Peraturan termasuk: 1. Gunakan pengisytiharan jenis eksplisit; 2. Buat kesimpulan jenis tunggal; Ini memudahkan kod, menjadikannya lebih mudah untuk menulis dan menggunakan kaedah generik.

Taip Inferens dalam Kaedah Generik Java

Kaedah Generik Java membolehkan anda menulis kod yang beroperasi pada jenis yang berbeza. Pengkompil secara automatik boleh menyimpulkan parameter jenis generik, menjadikan kod lebih bersih dan lebih mudah untuk digunakan.

Jenis Peraturan Inferens

Kaedah generik membuat kesimpulan parameter jenis daripada pembolehubah input. Peraturannya adalah seperti berikut:

• Pengisytiharan jenis eksplisit: Jika jenis eksplisit ditentukan untuk parameter jenis, jenis itu digunakan.
• Simpulkan jenis individu: Jika panggilan kaedah hanya mempunyai satu parameter jenis sebenar, pengkompil membuat kesimpulan jenis itu untuk semua parameter jenis.
• Jenis Wildcard: Jika kaedah memanggil pembolehubah dengan jenis wildcard, jenis yang paling spesifik mungkin disimpulkan.
• Nilai pulangan pembina: Jika kaedah mengembalikan nilai pulangan pembina, jenis yang digunakan dalam pembina disimpulkan.

Kes praktikal

Pertimbangkan kaedah generik yang mencetak jenis elemen:

public static <T> void printElementType(T element) {
    System.out.println("Element type: " + element.getClass().getSimpleName());
}

Apabila menggunakan kaedah ini, tidak perlu menyatakan parameter jenis secara eksplisit:

Dalam contoh di atas bermula daripada i< Jenis /code> membuat kesimpulan bahawa <code>T ialah Integer. i 的类型推断出 T 为 Integer。

进阶类型推断

在某些情况下，编译器无法从输入参数推断确切类型。例如：

Integer i = 20;
printElementType(i); // 输出：Element type: Integer

对于此方法，编译器不知道 T 确切的类型，因为它来自 ArrayList<T> 的类型参数。可以使用通配符类型（例如 <? extends Object>）来解决此问题，但会限制可以通过 T

Inferens Jenis Terperinci

public static <T> void printArrayList(ArrayList<T> list) {
    for (T element : list) {
        System.out.println(element);
    }
}

Atas ialah kandungan terperinci Bagaimanakah kaedah generik Java melakukan inferens jenis?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!