Penjelasan terperinci tentang sempadan dan kekangan generik fungsi Java

Generik fungsi Java membenarkan definisi fungsi generik yang menerima pelbagai jenis parameter dan mengembalikan jenis hasil yang berbeza. Bounds mentakrifkan skop jenis parameter, ditentukan menggunakan extends (subclass) dan super (superclass). Kekangan mengehadkan lagi tingkah laku, seperti memerlukan subkelas Nombor atau jenis yang setanding. Fungsi contoh maks menggunakan sempadan jenis dan kekangan untuk memastikan parameternya setanding dan menerima jenis yang berbeza seperti Integer dan Double.

Penjelasan terperinci tentang sempadan dan kekangan generik fungsi Java

Generik fungsi

Di Java, generik fungsi membolehkan kami mentakrifkan fungsi generik yang boleh menerima pelbagai jenis parameter dan mengembalikan jenis hasil yang berbeza. Dengan menggunakan parameter jenis, fungsi generik boleh meningkatkan kebolehgunaan semula kod, keselamatan jenis dan mengurangkan pertindihan kod.

Bounds and Constraints

Bounds: Apabila mengisytiharkan fungsi generik, kita boleh menentukan sempadan parameter jenis. Bounds mentakrifkan julat jenis parameter yang dibenarkan untuk diterima oleh fungsi. Jenis sempadan yang paling biasa digunakan ialah:

• Melanjutkan (Melanjutkan): menunjukkan bahawa parameter jenis mestilah subkelas atau pelaksanaan jenis yang diberikan.
• Super (kelas super): Menunjukkan bahawa parameter jenis mestilah kelas super jenis yang diberikan.
• Kad bebas: digunakan untuk mewakili sebarang jenis.

Kekangan: Sebagai tambahan kepada sempadan, kita juga boleh menggunakan kekangan untuk menyekat lagi tingkah laku generik fungsi. Kekangan boleh digunakan untuk memastikan bahawa parameter jenis memenuhi keperluan khusus. Kekangan yang paling biasa digunakan ialah:

• Nombor: Pastikan parameter jenis ialah subkelas kelas Nombor.
• Setanding: Memastikan parameter jenis boleh dibandingkan dengan objek lain daripada jenis yang sama.

Kes praktikal

Berikut ialah contoh fungsi generik menggunakan sempadan dan kekangan jenis:

public static <T extends Number & Comparable<T>> T max(T a, T b) {
    if (a.compareTo(b) > 0) {
        return a;
    } else {
        return b;
    }
}

Dalam fungsi ini, kami mentakrifkan parameter jenis T, yang mestilah Number dan melaksanakan antara muka Comparable. Sempadan dan kekangan ini memastikan bahawa kita hanya boleh melepasi objek jenis yang boleh dibandingkan secara berangka dengan fungsi. T，它必须是 Number 类的子类，并实现 Comparable 接口。此边界和约束条件确保了我们仅能将可以进行数值比较的类型对象传递给该函数。

我们可以这样使用此函数：

Integer maxValue = max(5, 10);
Double maxValue = max(3.14, 2.71);

请注意，在这个例子中，我们使用了不同的类型（Integer 和 Double

Atas ialah kandungan terperinci Penjelasan terperinci tentang sempadan dan kekangan generik fungsi Java. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!