与in泛型

Question

两者之间有什么区别

public interface IExample<out T>
{
    ...
}

vs.

public interface IExample<T>
{
    ...
}




Answer 1

考虑

class Fruit {}

class Banana : Fruit {}

interface ICovariantSkinned<out T> {}

interface ISkinned<T> {}

和功能，

void Peel(ISkinned<Fruit> skinned) { }

void Peel(ICovariantSkinned<Fruit> skinned) { }

接受ICoVariantSkined的函数

接受 ISkinned 的函数

Answer 2

为了方便地记住in和out关键字（也是协方差和逆差）的用法，我们可以将继承映像为包装：

String : Object
Bar : Foo

Answer 3

泛型中的 out 关键字用于表示接口中的类型 T 是协变的。有关详细信息，请参阅协方差和逆方差。

经典的例子是 IEnumerable

IEnumerable<string> strings = new List<string>();
IEnumerable<object> objects = strings;

如果这不是协变的，上面的第二行将会失败，尽管从逻辑上讲它应该可以工作，因为string是从object派生的。在通用接口的差异被添加到C#和VB.NET之前(在。NET 4和VS 2010)，这是一个编译时错误。

之后。NET 4，<代码>IEnumable

这不适用于像IList这样的类型

IList<string> strings = new List<string>();
IList<object> objects = strings;  // NOTE: Fails at compile time

然后你可以打电话：

objects.Add(new Image()); // This should work, since IList<object> should let us add **any** object

当然，这会失败-因此＜code＞IList

顺便说一句，还有一个选项用于 in - 它被比较接口之类的东西使用。IComparer