假设我们有这样一个界面
public interface IEnumerable<out T>
{ /*...*/ }
这是 T
中的协变 .
然后我们有另一个接口(interface)和一个实现它的类:
public interface ISomeInterface {}
public class SomeClass : ISomeInterface
{}
现在协方差允许我们做以下事情
IEnumerable<ISomeInterface> e = Enumerable.Empty<SomeClass>();
所以一个IEnumerable<SomeClass>
可分配给 IEnumerable<ISomeInterface>
类型的变量(或方法参数) .
但是如果我们在通用方法中尝试这样做:
public void GenericMethod<T>(IEnumerable<T> p) where T : ISomeInterface
{
IEnumerable<ISomeInterface> e = p;
// or
TestMethod(p);
}
public void TestMethod(IEnumerable<ISomeInterface> x) {}
我们收到编译器错误 CS0266 告诉我们 IEnumerable<T>
无法转换为 IEnumerable<ISomeInterface>
.
约束清楚地说明了 T
源自 ISomeInterface
, 自 IEnumerable<T>
在 T
中是协变体,此作业应该有效(如上所示)。
这在通用方法中不起作用是否有任何技术原因?或者我遗漏的任何东西使得编译器无法解决它的代价太高?
最佳答案
更改您的 GenericMethod
并添加通用约束 class
:
public void GenericMethod<T>(IEnumerable<T> p) where T : class, ISomeInterface
{
IEnumerable<ISomeInterface> e = p;
// or
TestMethod(p);
}
Covariance does not support structs , 所以我们需要告诉我们只想使用类。
关于c# - 通用约束忽略协方差,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56428065/