为什么 C# 4.0 不支持协变类？

C# 4.0 协变类的省略：深入了解

C# 4.0 引入了接口的通用变体，支持灵活的类型参数使用。 但是，此功能并未扩展到类。本文深入探讨了这种设计选择背后的基本原理。

实施的障碍

向类（例如，假设的 C<T> 类）引入协变方差带来了重大的实施挑战。 主要限制来自于 T 只能用作输出参数、setter 或字段。

这个约束是字段缺少 getter 的直接结果。 与属性不同，字段不提供只读访问权限。 因此，协变类不能拥有可变状态，严重限制了它的实际应用。

权衡成本和收益

虽然协变不可变类（如列表和堆栈）无疑具有优势，但在 C# 4.0 发布时，支持它们所需的对 C# 类型系统的大量修改并不被认为是合理的。

说明不可变结构中的协方差

以下示例演示了不可变堆栈中的协方差：

sealed class Stack<out T>
{
    private readonly T head;
    private readonly Stack<T> tail;
}

这允许协变分配：

Stack<string> strings = null;
strings = strings.Push("hello");
strings = strings.Push("goodbye");
Stack<object> objects = strings; // Covariant assignment
objects = objects.Push(123); //This would be an error if Stack<T> was mutable

由于堆栈的不变性，向堆栈添加整数仍然是类型安全的。 该操作不违反类型安全。

以上是为什么 C# 4.0 不支持协变类？的详细内容。更多信息请关注PHP中文网其他相关文章！