编程中的协变和逆变：有什么区别？

轻松理解协变与逆变

在面向对象编程中，协变和逆变描述了基类和派生类之间的关系，它们决定了派生类如何被视为其基类，同时确保类型安全。

协变:

协变允许用“更大”（更不具体）的类型替换API中仅用作输出（例如，返回值）的原始类型。这意味着派生类的列表可以被视为基类的列表。例如：

<code>List<水果> 水果列表 = new List<香蕉>(); // 协变</code>

逆变:

逆变允许用“更小”（更具体）的类型替换API中仅用作输入（例如，方法参数）的原始类型。这意味着基类类型的参数可以作为派生类类型的参数传递。例如：

<code>基类 执行操作(派生类 变量); // 逆变</code>

输入/输出术语:

在泛型上下文中，“in”和“out”用于指示泛型类型是作为输入参数还是返回值使用。

• 输出 (out): 泛型类型仅用作返回值，因此允许协变关系。
• 输入 (in): 泛型类型仅用作方法参数，因此允许逆变关系。

接口和泛型的示例:

<code>// 输出
interface IMyInterface<out T>
{
    T MyFunction();
}

// 输入
interface IMyInterface<in T>
{
    void MyFunction(T variable);
}</code>

以上是编程中的协变和逆变：有什么区别？的详细内容。更多信息请关注PHP中文网其他相关文章！