Kovarian, Invarian dan Kontravarian: Bagaimanakah Hubungan Subjenis Berubah?
- DDDasal
- 2024-11-12 06:07:01622semak imbas
Memahami Kovarian, Invarian dan Kontravarian
Memahami selok-belok kovarian, invarian dan kontravarian adalah penting untuk menguasai perhubungan jenis dalam pengaturcaraan.
Apakah Itu?
Pada dasarnya, istilah ini menerangkan cara perhubungan antara jenis dan subjenis berubah. Mari kita pertimbangkan senario di mana kita mempunyai dua jenis, A dan B, dan fungsi transformasi f. Katakan ≤ menandakan hubungan subjenis (dengan A ≤ B menunjukkan bahawa A ialah subjenis B).
- Kovarian: f ialah kovarian jika A ≤ B membayangkan f(A) ≤ f(B).
- Kontravarian: f adalah kontravarian jika A ≤ B membayangkan f(B) ≤ f(A).
- Invarian: f adalah invarian jika tiada syarat di atas berlaku.
Contoh dalam Java
Mari kita terokai beberapa contoh Java untuk menjelaskan konsep ini:
-
Kovarian: Pertimbangkan f(A) = Senarai. Sejak Senarai
bukan subjenis List - Contravariance: Pertimbangkan f(A) = A[]. Dalam Java, tatasusunan ialah kovarian, bermakna String[] ialah subjenis Objek[].
Aplikasi dalam Pengaturcaraan
Subtaip memainkan peranan penting dalam:
-
Tugasan: x = y hanya sah jika jenis(y) ≤ jenis(x).
- Di Jawa, ArrayList
tidak boleh diberikan kepada ArrayList .
- Di Jawa, ArrayList
-
Penggunaan Kaedah: hasil = kaedah(a) memerlukan jenis(a) ≤ jenis(parameter) dan returntype ≤ typeof(result).
- Nombor[] tidak boleh dikembalikan mengikut kaedah(ArrayList
) kerana Number[] ≠ ArrayList [].
- Nombor[] tidak boleh dikembalikan mengikut kaedah(ArrayList
-
Mengatasi: Parameter kaedah kaedah mengatasi mestilah superjenis kaedah yang ditindih, dan jenis pulangan subjenis.
- Dalam Java 1.4 , jenis pulangan mestilah sama dalam kaedah ganti.
- Dalam Java 1.5 dan lebih baru, jenis pulangan kovarian dibenarkan (cth., Iterator dalam Koleksi dan ListIterator dalam Senarai).
Memahami konsep ini adalah penting untuk menavigasi kerumitan perhubungan jenis dengan berkesan.
Atas ialah kandungan terperinci Kovarian, Invarian dan Kontravarian: Bagaimanakah Hubungan Subjenis Berubah?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!
Artikel berkaitan
Lihat lagi- Adakah MVC Mempunyai Tempat dalam Pembangunan Android?
- Bagaimanakah cara saya menambahkan data pada fail dalam Java menggunakan FileWriter tanpa menulis ganti kandungan sedia ada?
- Mengapa Aksara Cyrillic Dirosakkan Apabila Mengeksport Laporan Jasper ke PDF?
- Patutkah Anda Sentiasa Menggunakan `final` untuk Parameter Kaedah dan Pembolehubah Tempatan dalam Java?
- Bagaimana untuk Memainkan Fail .WAV dalam Java dengan Mudah?