代码之家 › 专栏 › 技术社区 › scobi

C 4的协方差是否支持泛型嵌套?

contravariance covariance c#-4.0 .net c#

scobi · 技术社区 · 14 年前

我不明白为什么下面的“x”会转换,但是“y”和“z”不会。

var list = new List<List<int>>();

IEnumerable<List<int>> x = list;
List<IEnumerable<int>> y = list;
IEnumerable<IEnumerable<int>> z = list;

新的协方差特性对泛型不起作用吗?还是我做错了什么?(我想避免使用.cast使y和z工作。)

2 回复 | 直到 14 年前

Hans Passant 14 年前

“Z”在C 4.0中很好, IEnumerable<T> 是协变的。 List<T> 但是不是,你不能让“y”工作。

直觉上,如果是这样的话,这是有效的:

List<IEnumerable<int>> y = list
y.Add(new Stack<int>());

这违背了“列表”只能包含 List<int> 元素。

Alexandra Rusina 14 年前

你在这里犯了几个错误。首先,协方差和反方差不支持值类型,所以无论您尝试使用“int”做什么都不起作用。

其次,检查嵌套泛型类型中的差异的有效示例更像这样:

var list = new List<List<String>>();
IEnumerable<IEnumerable<object>> z = list;

我可以将字符串列表分配给对象的IEnumerable的IEnumerable,这是协方差。有关详细信息,请查看 Covariance and Contravariance FAQ .

推荐文章

abhijeetpawar · Java列表在初始化过程中是否表现为协变类型?

6 年前

Can PoyrazoÄlu · 我可以在Objective-C中使用\uu kindof协议吗?

6 年前

softshipper · 为什么函子实现是可能的?

7 年前

azal · 条件分布的均值和协方差

7 年前

Tarec · 结果类型协方差-泛型类,方法同时返回接口类型和特定类型[重复]

7 年前

René Vogt · 一般约束忽略协方差

7 年前

Ian · 如何找到R中每n行的协方差

7 年前

LePioo · C#函数的委托,没有返回值和一个允许子类型类的参数(作为参数)

7 年前

Marcel · C#泛型推断与协方差-错误或限制

7 年前

Zac · 协方差混乱。无法将已实现接口的元组分配给元组列表

8 年前