Mengapa Polimorfisme Tidak Berfungsi dengan Parameter `ref` dan `out` dalam C#?

Keterbatasan Polimorfisme dalam Parameter 'ref' dan 'out'

Polymorphism, konsep asas dalam pengaturcaraan berorientasikan objek, membenarkan objek yang berbeza-beza jenis untuk dianggap sebagai objek superjenis biasa. Walau bagaimanapun, apabila menyentuh parameter 'ref' dan 'out', polimorfisme tidak disokong.

Untuk memahami sebabnya, pertimbangkan kod berikut:

class A {}
class B : A {}
class C
{
    C()
    {
        var b = new B();
        Foo(b);
        Foo2(ref b); // Compile-time error: "The 'ref' argument doesn't match the parameter type"
    }

    void Foo(A a) {}
    void Foo2(ref A a) {}  
}

Kod ini tidak dikompilasi apabila 'Foo2' digunakan dengan merujuk kepada 'B' kerana parameter 'ref' dan 'out' tidak boleh menyokong polimorfisme.

Mari kita terokai sebab di sebalik pengehadan ini:

• Encapsulation: 'ref' dan 'out' parameter mendedahkan rujukan pembolehubah asas, membenarkan ia diubah suai. Jika polimorfisme disokong, adalah mungkin untuk menghantar objek daripada jenis terbitan kepada kaedah yang menjangkakan jenis asas. Walau bagaimanapun, ini boleh membawa kepada tingkah laku yang tidak dijangka jika kaedah menulis kepada pembolehubah, kerana ia boleh mengandungi data khusus untuk jenis terbitan.
• Keselamatan Jenis: Apabila menghantar 'ref' atau ' out' parameter, pengkompil memastikan bahawa jenis pembolehubah sepadan dengan jenis parameter. Ini memastikan keselamatan jenis dan mengelakkan tugasan yang tidak sah. Membenarkan polimorfisme akan menimbulkan ketidakpastian, kerana jenis sebenar pembolehubah boleh berbeza-beza semasa masa jalan.
• Pertimbangan Prestasi: Polimorfisme dengan parameter 'ref' atau 'out' memerlukan semakan masa jalan tambahan untuk memastikan bahawa jenis pembolehubah sepadan dengan jenis parameter, yang boleh menimbulkan prestasi overhead.

Kesimpulannya, walaupun polimorfisme ialah ciri berkuasa pengaturcaraan berorientasikan objek, ia tidak disokong untuk parameter 'ref' dan 'out' kerana pertimbangan pengkapsulan, keselamatan jenis dan prestasi .

Atas ialah kandungan terperinci Mengapa Polimorfisme Tidak Berfungsi dengan Parameter `ref` dan `out` dalam C#?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!