Bagaimanakah Antara Muka Kovarian dan Kontravarian Meningkatkan Keselamatan Jenis dalam C#?

Pemahaman mendalam tentang antara muka kovarian dan kontravarian dalam C#

Dalam C#, antara muka kovarian dan kontravarian memberikan fleksibiliti dalam menentukan hubungan antara jenis. Mereka membenarkan objek untuk dianggap sebagai ahli jenis asas atau jenis terbitan masing-masing.

Antara Muka Kovarian (Keluar)

Antara muka kovarian ditakrifkan seperti berikut:

<code>interface IBibble<out t></out></code>

Objek jenis terbitan boleh dianggap sebagai rakan sejawatan dengan objek jenis asasnya. Ini berguna apabila mengembalikan nilai atau mengakses sifat baca sahaja.

Antara muka penyongsang (Dalam)

Sebaliknya, antara muka penyongsang diwakili sebagai:

<code>interface IBibble<in t></in></code>

Membenarkan objek jenis asas dihantar sebagai argumen atau disimpan dalam sifat tulis sahaja. Ini berguna untuk menghantar objek ke fungsi yang beroperasi pada asas atau jenis moyangnya.

Contoh kovarian:

Andaikan kita mempunyai Base kelas asas dan kelas turunan Descendant. Antara muka keluar IBibbleOut<t></t> boleh digunakan untuk mengembalikan koleksi Descendants. Memandangkan setiap Descendant juga merupakan objek Base, kami boleh menghantar hasil dengan selamat ke IBibbleOut<base>, memastikan tiada objek Base ditambahkan pada koleksi.

Contoh songsang:

Begitu juga, antara muka kontravarian IBibbleIn<t></t> boleh digunakan pada kaedah yang menerima koleksi objek Base. Memandangkan Descendant mewarisi daripada jenis asasnya, kita boleh menghantar koleksi Descendant kepada kaedah dengan menghantarnya ke IBibbleIn<descendant></descendant>, memastikan kaedah itu boleh beroperasi pada mana-mana jenis Descendant.

Kepentingan pengubah suai varians:

Pengubah suai varians memainkan peranan penting dalam mengekalkan keselamatan jenis. Tanpanya, penukaran yang salah boleh menyebabkan ralat masa jalan atau tingkah laku yang tidak dijangka. Dengan menandai antara muka secara eksplisit sebagai kovarian atau kontravarian, pengkompil boleh mengesahkan bahawa operasi adalah konsisten dengan hubungan jenis yang dijangkakan.

Atas ialah kandungan terperinci Bagaimanakah Antara Muka Kovarian dan Kontravarian Meningkatkan Keselamatan Jenis dalam C#?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!