Kovarian, Invarian dan Kontravarian: Bagaimanakah Hubungan Subjenis Berubah?
- DDDasal
- 2024-11-12 06:07:01660semak 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!