此代码生成两个编译时错误:
private void DoSomething() { List<List<Foo>> myFoos = GetFoos(); UseFoos(myFoos); } private void UseFoos(IEnumerable<IEnumerable<Foo>>) { }
‘NameSpace.Class.UseFoos(System.Collections.Generic.IEnumerable< System.Collections.Generic.IEnumerable< Foo>)’的最佳重载方法匹配有一些无效参数
和
参数1:无法从“System.Collections.Generic.List< System.Collections.Generic.List&Foo>”中转换到’System.Collections.Generic.IEnumerable< System.Collections.Generic.IEnumerable< Foo>>’
投射到IEnumberable< List< Foo>>不是问题有什么不同于投射失败的类型的内部List组件?
解决方法
编辑:我刚刚意识到,我没有真正回答如何解决这个限制的方面.幸运的是很简单:
UseFoos(myFoos.Cast<IEnumerable<Foo>>());
该代码编译正确(当您给予UseFoos参数一个名称)在C#4下,它介绍了通用协方差和接口和委托的逆变.
作为一个更简单的例子,这个工作在C#4中但不是C#3中:
IEnumerable<string> strings = new List<string>(); IEnumerable<object> objects = strings;
请注意,即使在C#4中,类不是不变的,所以这将不起作用:
// This won't work List<string> strings = new List<string>(); List<object> objects = strings;
…甚至对于接口,只有在安全的情况下才支持它:
// This won't work either IList<string> strings = new List<string>(); IList<object> objects = strings;
接口(或委托)必须声明类型参数本身的方差,所以如果你看看.NET 4 documentation for IEnumerable<T>
,你会看到它被声明为
public interface IEnumerable<out T>
在哪里声明了T中的协方差.
Eric Lippert在covariance and contravariance的博客类别中有更多关于这一点.