Apakah Kovarian, Kontravarian dan Invarian dalam Java, dan Bagaimana Ia Mempengaruhi Transformasi Jenis?

Memahami Kovarians, Kontravarians dan Invarian dalam Java Dipermudahkan

Pengenalan

Kovarians, kontravarians , dan invarian ialah konsep asas dalam pengaturcaraan berorientasikan objek, terutamanya dalam Java. Mereka mentakrifkan bagaimana perhubungan antara jenis dan subjenis dipengaruhi oleh transformasi jenis.

Kovarians, Kontravarians dan Invarian Ditakrifkan

Dalam konteks transformasi jenis, kovarians, kontravarians , dan invarian menentukan sama ada hubungan subjenis dikekalkan. Mari kita pertimbangkan satu penjelmaan jenis f yang mengambil jenis A dan mengubahnya menjadi jenis f(A). Jika:

• Kovarian: Untuk jenis A dan B sedemikian rupa sehingga A ≤ B (A ialah subjenis B), f(A) ≤ f(B).
• Kontravarian: Untuk jenis A dan B sedemikian rupa sehingga A ≤ B, f(B) ≤ f(A).
• Invarian: Sama ada kovarians mahupun kontravarians terpakai.

Contoh dalam Java

Mari kita pertimbangkan beberapa contoh dalam Java:

• Kovarians: Menggunakan ArrayList, jika Senarai ialah subjenis Senarai, kemudian Senarai ialah subjenis Senarai kerana tatasusunan dalam Java ialah kovarian.
• Kontravarian: Menggunakan Pembanding, jika Pembanding ialah subjenis Comparator