public class Base {...}
public class Complex: Base {...}
public class MyOtherClass<T> {...}
以及两种类型的列表
List<MyOtherClass<Complex>> listOfComplex
List<MyOtherClass<Base>> listOfBase
我想要一份清单
listOfComplex.Union(listOfBase)
但我无法将一种类型的泛型转换为另一种类型的泛型，即使 Complex 派生自 Base 有可能有一个基类的列表吗？
【问题讨论】：
虽然Complex 派生自Base，但MyOtherClass<Complex> 和MyOtherClass<Base> 之间没有这种关系。这就是您无法创建两个列表的Union 的原因。对于框架，两种泛型类型完全不同。
现在的解决方案实际上取决于您的班级究竟做了什么。在 Docs 中查看协变和逆变主题 - 这是两种特殊情况，如果类型仅为输入或输出，您将被允许在两种泛型类型之间创建转换。
您还可以在执行“联合”操作之前添加自定义转换或手动将项目转换为“基本”类型。
【讨论】：
因为Covariance and Contravariance in Generics是这样工作的，特别是invariance，这意味着你只能使用最初指定的类型；所以一个不变的泛型类型参数既不是协变的也不是逆变的。
您不能将List<Base> 的实例分配给List<Complex> 类型或相反方向的变量。同样适用于自定义泛型类。编译器不能使用隐式转换来转换类型。
即使你添加了泛型类型约束。 A<B>和A<C>是两种不同的类型，即使C继承自B（因为AC不是继承自AB）
【讨论】：
@MartinZikmund 解释了为什么它不起作用。解决这类问题的方法是要么从非泛型基类派生泛型类，要么让它们实现一个通用接口。
public class MyOtherClassBase { }
public class MyOtherClass<T> : MyOtherClassBase { }
然后您可以将MyOtherClassBase 明确指定为Union 的通用参数。现在，Union 将需要 IEnumerable<MyOtherClassBase> 类型的输入。 List<MyOtherClass<T>> 类型的列表与 IEnumerable<MyOtherClassBase> 的赋值兼容。
var result = listOfComplex.Union<MyOtherClassBase>(listOfBase);
注意声明中的out关键字
public interface IEnumerable<out T> : System.Collections.IEnumerable
它使接口协变。另请参阅 SO question <out T> vs <T> in Generics，尤其是 Reed Copsey 的 answer。
【讨论】：
您应该在泛型中指定 T 是基于 Type 的类：
public class MyOtherClass<T> where T : Base {...}
只有在从 Base 派生并且 Union 应该可以工作时才会接受 T
这里有一些关于泛型的文档，感谢@Marie：
【讨论】：
where T : Base）你可以做new List<MyOtherClass<Apple>>。显然Complex 和Apple 不会兼容。为了确保它不会炸毁，Union 将验证传入的List<T>s 的类型以确保它们兼容。