Rumah  >  Artikel  >  Java  >  Penjelasan terperinci tentang sempadan dan kekangan generik fungsi Java

Penjelasan terperinci tentang sempadan dan kekangan generik fungsi Java

王林
王林asal
2024-04-27 09:45:02818semak imbas

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.

Java 函数泛型的边界和约束条件详解

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.
  • 6b3d0130bba23ae47fe2b8e8cddf0195 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);

请注意,在这个例子中,我们使用了不同的类型(IntegerDouble

Kita boleh menggunakan fungsi ini seperti ini: 🎜rrreee🎜Sila ambil perhatian bahawa dalam contoh ini, kami menggunakan jenis yang berbeza (Integer dan Double), tetapi kedua-duanya memenuhi Sempadan dan kekangan pada fungsi supaya fungsi berfungsi dengan baik. 🎜

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!

Kenyataan:
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn