Adakah C# menyokong kovarians jenis pulangan?

C# Return Type Co -Changes: Dalam Perbincangan -Depth

Dalam pengaturcaraan yang berorientasikan objek, pemaju sering perlu mendapatkan maklumat jenis yang lebih tepat apabila menulis semula kaedah. Kembali ke jenis kerjasama adalah konsep, yang membolehkan subkelas untuk mengembalikan jenis yang lebih spesifik daripada kelas asas. Tetapi adakah C# menyokong ciri kuat ini?

C# kedudukan pada jenis tulang belakang Co -Changes

Walaupun bahasa seperti C digunakan secara meluas dalam koordinasi jenis pulangan, malangnya, C# tidak menyokongnya secara asli. Ini adalah sekatan asas pelaksanaan kod C# -apabila bahasa awam sedang berjalan (CLR).

Jenis isu keselamatan

C# tidak menyokong satu sebab untuk mengembalikan jenis kerjasama adalah jenis keselamatan. Membenarkan subkelas untuk mengembalikan jenis yang lebih spesifik daripada kelas asas boleh menyebabkan ketidakkonsistenan dan kesilapan runtime yang tidak dijangka. Mekanisme pemeriksaan jenis ketat CLR memastikan bahawa objek itu secara konsisten diproses di seluruh sistem, dan pengenalan perubahan penyelarasan jenis kembali akan memusnahkan kestabilan ini. penyelesaian

Walaupun C# tidak secara langsung menyokong koordinasi jenis pulangan, pemaju masih boleh mencapai kesan yang sama melalui kaedah lain. Teknologi yang biasa digunakan adalah untuk memperkenalkan kaedah tambahan yang dilindungi di kelas asas. Kaedah ini menyediakan lapisan tidak langsung yang membolehkan subkelas mengembalikan jenis yang lebih spesifik, sambil mengekalkan keselamatan jenis:

Dalam contoh ini, kelas akuarium menulis semula kaedah GetContents () yang dilindungi, dan menyediakan Kaedah Kandungan Awam Baru (). .

Kemajuan terkini: koordinasi dalam C# 9.0 pulangan

abstract class Enclosure
{
    protected abstract Animal GetContents();
    public Animal Contents() { return this.GetContents(); }
}

class Aquarium : Enclosure
{
    protected override Animal GetContents() { return this.Contents(); }
    public new Fish Contents() { ... }
}

Walau bagaimanapun, keadaan berubah. Dalam C# 9.0 yang baru dikeluarkan, Microsoft memperkenalkan ciri yang dipanggil "Perubahan Koperasi" sebagai langkah sebagai langkah untuk secara beransur -ansur menyokong jenis kerjasama. Selagi ia adalah jenis parameter antara muka atau kaedah asas, ciri ini membolehkan pemaju menentukan jenis pulangan yang lebih spesifik untuk kaedah penulisan semula. Walaupun ini adalah peningkatan yang besar, ia masih tidak dapat mencapai semua fungsi koordinasi jenis pulangan lengkap.

Jika anda menghadapi situasi yang kembali ke Kod anda, anda boleh mempertimbangkan untuk meneroka bahasa lain yang menyokong sepenuhnya ciri ini, seperti C /CLI atau F#.

Atas ialah kandungan terperinci Adakah C# menyokong kovarians jenis pulangan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!