.NET/C# 泛型 T 协变 out 与逆变 in 接口

小渣渣

需求：最近在看 .NET 源代码，发现接口泛型中有一个 out 关键词，例如：public interface IStringLocalizer<out T>，然后学习了一下。

接口中的泛型类型参数可以声明为协变或逆变。 协变允许接口方法具有与泛型类型参数定义的返回类型相比，派生程度更大的返回类型。 逆变允许接口方法具有与泛型形参指定的实参类型相比，派生程度更小的实参类型。 具有协变或逆变泛型类型参数的泛型接口称为“变体”。

协变：使用 out 关键字将泛型类型参数声明为协变。
逆变：使用 in 关键字将泛型类型参数声明为逆变。

VS2022 的这个屏幕截图非常具有描述性 - 它说明了这对泛型带来了什么样的限制，如下图：



委托中的 Func<in T, out TResult> 就表示参数类型为 T 返回类型为 TResult。

参考：
https://learn.microsoft.com/zh-cn/dotnet/csharp/programming-guide/concepts/covariance-contravariance/creating-variant-generic-interfaces
https://stackoverflow.com/questions/10956993/out-t-vs-t-in-generics