为什么多态性不能与 C# 中的'ref”和'out”参数一起使用？

'ref' 和 'out' 参数中的多态性限制

多态性是面向对象编程中的基本概念，允许对象具有不同的类型类型被视为公共超类型的对象。但是，当涉及到“ref”和“out”参数时，不支持多态性。

要理解原因，请考虑以下代码：

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) {}  
}

此代码无法编译当通过引用“B”调用“Foo2”时，因为“ref”和“out”参数不支持

让我们探讨一下这个限制背后的原因：

• 封装： 'ref' 和 'out' 参数暴露了底层变量的引用，允许它被修改。如果支持多态性，则可以将派生类型的对象传递给需要基类型的方法。但是，如果方法写入变量，这可能会导致意外行为，因为它可能包含特定于派生类型的数据。
• 类型安全： 当传递 'ref' 或 ' out' 参数时，编译器确保变量的类型与参数的类型匹配。这确保了类型安全并防止无效分配。允许多态性会引入不确定性，因为变量的实际类型可能在运行时发生变化。
• 性能注意事项：带有“ref”或“out”参数的多态性将需要额外的运行时检查以确保变量的类型与参数的类型匹配，这可能会产生性能开销。

总而言之，虽然多态性是面向对象编程的一个强大特性，出于封装、类型安全和性能的考虑，不支持 'ref' 和 'out' 参数。

以上是为什么多态性不能与 C# 中的'ref”和'out”参数一起使用？的详细内容。更多信息请关注PHP中文网其他相关文章！