Mengapa Penghantaran daripada Jenis Generik Berturunan kepada Asas Gagal dalam C#?

Penghantaran daripada Jenis Generik Asas: Menyelidiki Ketidakserasian

Dalam C#, model pewarisan untuk jenis generik sering membawa kepada persoalan tentang tuangan daripada jenis terbitan kepada jenis asas. Pertanyaan ini meneroka kerumitan asas dan sebab hantaran mudah daripada kelas terbitan kepada kelas asasnya mungkin gagal.

Enigma Penghantaran

Pertimbangkan coretan kod berikut:

public abstract class EntityBase { }
public class MyEntity : EntityBase { }

public abstract class RepositoryBase<T> where T : EntityBase { }
public class MyEntityRepository : RepositoryBase<MyEntity> { }

Sekarang, mari kita periksa masalahnya line:

MyEntityRepository myEntityRepo = GetMyEntityRepo(); // whatever
RepositoryBase<EntityBase> baseRepo = (RepositoryBase<EntityBase>)myEntityRepo;

Jalankan kod ini, dan ia akan menghadapi pengecualian masa jalan. Mengapakah percubaan pemutus ini gagal?

Varians Generik: Ilusi Keserasian

Secara intuitif, kami mungkin menganggap bahawa kelas terbitan seperti MyEntityRepository juga merupakan jenis asasnya kelas, RepositoryBase. Walau bagaimanapun, dalam bidang generik, andaian ini tidak selalu sah.

Varians generik merujuk kepada keupayaan untuk jenis generik untuk menggantikan parameter jenisnya dengan jenis terbitan yang lebih kurang. Malangnya, C# hanya menyokong varians terhad dalam senario tertentu tertentu.

Dalam contoh ini, RepositoryBase ialah bukan kelas asas MyEntityRepository. Ini kerana parameter jenis T bukan kovarian atau kontravarian berkenaan dengan jenis asasnya.

Kovarian: Perjalanan Unilateral

Kovarian membenarkan kelas generik untuk merujuk kepada parameter jenis yang lebih terbit daripada kelas asasnya. Ini dibenarkan dalam situasi tertentu di mana jenis generik hanya menggunakan parameter jenisnya untuk mengembalikan nilai. Walau bagaimanapun, itu tidak berlaku di sini.

Contravariance: An Uphill Battle

Contravariance, sebaliknya, membenarkan jenis generik menggunakan parameter jenis kurang terbitan daripada kelas asasnya apabila menerima nilai. Tetapi sekali lagi, ini tidak terpakai dalam konteks ini.

Perlindungan Keselamatan Generik

Tanpa varians generik, pemutus daripada jenis terbitan kepada jenis asas boleh membawa kepada perkara yang tidak dijangka tingkah laku dan kemungkinan ralat masa jalan. Contohnya, jika RepositoryBase kelas mempunyai kaedah yang hanya boleh beroperasi pada entiti jenis EntityBase, menghantar MyEntityRepository ke RepositoryBase boleh membenarkan operasi tidak sah.

Mengelakkan Perangkap Pemutus

Jika anda perlu menghantar antara jenis generik, adalah penting untuk memahami batasan varians generik. Pertimbangkan untuk memperkenalkan tuangan eksplisit daripada kelas asas kepada kelas terbitan atau menggunakan corak reka bentuk alternatif seperti Kaedah Kilang atau Corak Jambatan untuk mengelakkan perangkap ini.

Atas ialah kandungan terperinci Mengapa Penghantaran daripada Jenis Generik Berturunan kepada Asas Gagal dalam C#?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!