16

可能重复：
为什么 IEnumerable<T> 在 C# 4 中成为协变的？

我在MSDN上查看IEnumerable<T>接口定义，并查看：

public interface IEnumerable<out T> : IEnumerable

我想知道为什么 T 被定义为out，为什么不呢？

public interface IEnumerable<T> : IEnumerable

这是什么原因？

4

4 回答 4

21

更多信息可以在这里找到。

使out类型参数协变。也就是说，您可以使用类型或任何派生类型。请注意，out这种方式仅适用于泛型，在方法签名中使用时具有不同的含义（尽管您可能已经知道这一点）。

这是取自参考页面的示例：

// Covariant interface. 
interface ICovariant<out R> { }

// Extending covariant interface. 
interface IExtCovariant<out R> : ICovariant<R> { }

// Implementing covariant interface. 
class Sample<R> : ICovariant<R> { }

class Program
{
    static void Test()
    {
        ICovariant<Object> iobj = new Sample<Object>();
        ICovariant<String> istr = new Sample<String>();

        // You can assign istr to iobj because 
        // the ICovariant interface is covariant.
        iobj = istr;
    }
}

如您所见，out接口签名中的 允许您将 分配ICovariant<String>给ICovariant<Object>变量，如String派生自Object. 如果没有out关键字，您将无法执行此操作，因为类型会有所不同。

您可以在此处阅读有关协方差（和相关逆变）的更多信息。

正如其他答案所指出的那样，IEnumerable仅在 .NET 4 中成为协变的。尝试编写如下代码：

IEnumerable<Object> strings = new List<string>();

将在 .NET 4 和更高版本中编译，但不能在以前的版本中编译。

于 2012-09-14T12:28:19.757 回答
7

out类型参数说明符表示协方差。

在实践中，

如果我定义两个接口。

interface ISomeInterface<T>
{
}

interface ISomeCovariantInterface<out T> 
{
}

然后，我像这样实现它们。

class SomeClass<T> : ISomeInterface<T>, ISomeCovariantInterface<T>
{
}

然后我尝试编译这段代码，

ISomeCovariantInterface<object> covariant = new SomeClass<string>(); // works
ISomeInterface<object> invariant = new SomeClass<string>(); // fails

// Cannot implicitly convert type 'SomeClass<string>' to 'ISomeInterface<object>'.
// An explicit conversion exists (are you missing a cast?)

这是因为协变接口允许更多派生实例，而标准接口则不允许。

在这里提琴

于 2012-09-14T12:46:46.577 回答
6

协方差。这允许为集合分配比其通用参数中指定的更具体或派生类型的项目。

IEnumerable<T>并不总是协变的；这是 .NET 4 的新功能，此处解释了更改的原因。

于 2012-09-14T12:28:05.147 回答
0

为达到这个：

class Base {}
class Derived : Base {}

List<Derived> list = new List<Derived>();
IEnumerable<Base> sequence = list;
于 2012-09-14T12:28:32.960 回答