<out T> vs <T> in Generics

Question

<out T>和<T>有什么区别？例如：

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

与

public interface IExample<T> 
{ 
    ... 
} 

---

我从MSDN得到的唯一信息是，

可以使用了关键字通用接口和委托。

Answer 1

泛型中的out关键字用于表示接口中的类型T是协变的。详情请参阅Covariance and contravariance。

经典示例是IEnumerable<out T>。由于IEnumerable<out T>是协变的，你被允许执行以下操作：

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

如果这不是协变上面的第二行会失败，即使在逻辑上它应该工作，因为字符串从对象派生。在variance in generic interfaces被添加到C＃和VB.NET（与VS 2010的.NET 4中）之前，这是一个编译时错误。

.NET 4后，IEnumerable<T>被标记为协变，并成为IEnumerable<out T>。由于IEnumerable<out T>仅使用其中的元素，并且从不添加/更改它们，因此将它作为可枚举的对象集合对待可以枚举的字符串集合是安全的，这意味着它是协变。

这不是一个类型像IList<T>工作，因为IList<T>有Add方法。假设这将被允许：

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 

这，当然，失败 - 所以IList<T>不能标记协变。

还有，顺便说一句，in的选项 - 这是比较接口的东西使用。例如，IComparer<in T>的作用方式相反。你可以用一个具体的IComparer<Foo>直接作为IComparer<Bar>如果Bar是Foo一个子类，因为IComparer<in T>接口逆变。