contravariance 相关问题

在编程语言的类型系统中，协方差和逆变是指从较窄到较宽的类型的排序以及它们在某些情况下的可互换性或等价性（例如参数，泛型和返回类型）

假设我有接口和类：公共接口 ITree {} 公共类树：ITree {} 由于 IEnumerable 是协变的，因此下面的代码行编译成功： IE可枚举假设我有接口和类： public interface ITree {} public class Tree : ITree {} 由于IEnumerable<T>是协变，所以下面的代码行编译成功： IEnumerable<ITree> trees = new List<Tree>(); 但是当我将它放入泛型方法中时： public void Do<T>() where T : ITree { IEnumerable<ITree> trees = new List<T>(); } 我从编译器中得到编译错误：错误1无法将类型“System.Collections.Generic.List”隐式转换为“System.Collections.Generic.IEnumerable”。存在显式转换（是否缺少转换？） D:\lab\Lab.General\Lab.General\Program.cs 83 40 Lab.General 为什么协方差在这种情况下不起作用？这是因为方差仅适用于引用类型（类、接口和委托）。添加一个类约束，它就可以正常编译了： public static void Do<T>() where T : class, ITree 我只是想添加更多示例：您可以调用 MakeDesignWhereTIsReference 并将 VehicleStruct 传递为 T。但问题是：引用类型支持协变和逆变，但值类型不支持它们。来自MS 文档所以我们还需要限制T为引用类型；这可以借助 class 关键字来完成，该关键字添加了我们需要的限制。 public static class TestCovariance { public static void MakeDesignWhereTIsReference<T>() where T : class, IVehicle // pay attention to class restriction { ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>(); var design = new Design<T>(); list.Add(design); } public static void MakeDesignWhereTIsStruct<T>() where T : struct, IVehicle //This method will throw a cast exception { ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>(); var design = new Design<T>(); list.Add((IDesign<IVehicle>)design); } } public struct VehicleStruct : IVehicle { } TestCovariance.MakeDesignWhereTIsReference<Ship>(); TestCovariance.MakeDesignWhereTIsStruct<VehicleStruct>();

c# c#-4.0 covariance contravariance

回答 2 投票 0

为什么采用不兼容参数类型的函数类型的联合被认为等同于采用“从不”的函数？

type fnType = ((x: number) => void) | ((x: 字符串) => void); const fn = (innerFn: fnType) => { 内部Fn(“字符串”); } 如果我执行上述操作，打字稿会显示“Argument o...

typescript contravariance

回答 1 投票 0

正确使用 Typescript Set<T> 和交叉类型

我不明白为什么编译器会抱怨。以下是基本类型声明：导出枚举 SvgElementType { 路径=“路径”，圆=“圆”， } 出口类型

typescript generics set contravariance intersection-types

回答 2 投票 0

不变性、协变性和逆变性——有比喻吗？

首先我想说的是，我知道这个话题已经在 Stack Overflow 上进行了深入讨论。但我不认为给出的解释提供了有助于保留示例的强有力的故事......