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

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

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

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

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

class AnimalComparer : IComparer<Animal>
{
    public int Compare(Animal x, Animal y) => x.Name.CompareTo(y.Name);
}

class Program
{
    static void Main()
    {
        IComparer<Animal> animalComparer = new AnimalComparer();
        IComparer<Dog> dogComparer = animalComparer; // 逆变：IComparer<Animal> 转换为 IComparer<Dog>

        var dog1 = new Dog { Name = "Buddy" };
        var dog2 = new Dog { Name = "Max" };
        Console.WriteLine(dogComparer.Compare(dog1, dog2));
    }
}
</syntaxhighlight>

'''输出：'''
<pre>
-1
</pre>

'''解释：'''
* `IComparer<T>` 是逆变的，因为它的类型参数标记为 `in`。
* 可以将 `IComparer<Animal>` 赋值给 `IComparer<Dog>`，因为 `Animal` 是 `Dog` 的基类。

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

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