考虑,

class Fruit {}

class Banana : Fruit {}

interface ICovariantSkinned<out T> {}

interface ISkinned<T> {}

函数，

void Peel(ISkinned<Fruit> skinned) { }

void Peel(ICovariantSkinned<Fruit> skinned) { }

接受icovariant蒙皮<Fruit>的函数将能够接受icovariant蒙皮<Fruit>或icovariant蒙皮<Banana>，因为icovariant蒙皮<T>是一个协变接口，香蕉是一种水果，

接受ISkinned<Fruit>的函数将只能接受ISkinned<Fruit>。

我认为VS2022的这张截图是非常描述性的——它说明了这对泛型施加了什么样的约束:

我在这篇文章中找到的最简单的解释是

T> < -中的interface ISomeName<表示T只能作为a传递 方法的参数(它进入接口的方法，就这样 在里面，也许这就是为什么我们使用here关键字“in” 只是巧合吗?) interface ISomeName<out T> < -表示T只能返回为 方法结果(它是我们从方法中接收到的结果，因此它会输出 它-哇，再次听起来是正确的!)

为了方便地记住in和out关键字(以及协方差和逆变)的用法，我们可以将继承图像包装为:

String : Object
Bar : Foo

考虑,

class Fruit {}

class Banana : Fruit {}

interface ICovariantSkinned<out T> {}

interface ISkinned<T> {}

函数，

void Peel(ISkinned<Fruit> skinned) { }

void Peel(ICovariantSkinned<Fruit> skinned) { }

接受icovariant蒙皮<Fruit>的函数将能够接受icovariant蒙皮<Fruit>或icovariant蒙皮<Banana>，因为icovariant蒙皮<T>是一个协变接口，香蕉是一种水果，

接受ISkinned<Fruit>的函数将只能接受ISkinned<Fruit>。

“out T”意味着T型是“协变的”。这限制了T仅作为泛型类、接口或方法的方法中的返回(出站)值出现。这意味着您可以将类型/接口/方法转换为具有T超类型的等效类型。 例:ICovariant<out Dog>可以施放到ICovariant<Animal>。