编辑“︁C Sharp 类型参数协变与逆变”︁（章节）

== 协变（Covariance） ==
协变允许泛型类型参数从派生类向基类转换。在C#中，协变通过 `out` 关键字标记。

=== 示例：协变接口 ===
以下是一个协变接口 `IEnumerable<T>` 的示例：

<syntaxhighlight lang="csharp">
using System;
using System.Collections.Generic;

class Animal { public string Name { get; set; } }
class Dog : Animal { }

class Program
{
    static void Main()
    {
        IEnumerable<Dog> dogs = new List<Dog> { new Dog { Name = "Buddy" } };
        IEnumerable<Animal> animals = dogs; // 协变：IEnumerable<Dog> 转换为 IEnumerable<Animal>

        foreach (var animal in animals)
        {
            Console.WriteLine(animal.Name);
        }
    }
}
</syntaxhighlight>

'''输出：'''
<pre>
Buddy
</pre>

'''解释：'''
* `IEnumerable<T>` 是协变的，因为它的类型参数标记为 `out`。
* 可以将 `IEnumerable<Dog>` 赋值给 `IEnumerable<Animal>`，因为 `Dog` 是 `Animal` 的子类。

=== 协变类型参数的限制 ===
协变类型参数 (`out`) 只能用于方法的返回类型，不能用于方法的输入参数。例如：

<syntaxhighlight lang="csharp">
interface ICovariant<out T>
{
    T GetItem(); // 合法：T 是返回类型
    // void SetItem(T item); // 非法：T 不能作为输入参数
}
</syntaxhighlight>