为什么我不能将List 分配给List ？

我定义了以下类：

public abstract class AbstractPackageCall { ... } 

我还定义了这个类的子类：

 class PackageCall : AbstractPackageCall { ... } 

AbstractPackageCall还有其他几个子节点

现在我想进行以下调用：

  List calls = package.getCalls(); 

但我总是得到这个例外：

 Error 13 Cannot implicitly convert type 'System.Collections.Generic.List' to 'System.Collections.Generic.List' 

这里有什么问题？ 这是Package＃getCalls的方法

  internal List getCalls() { return calls; } 

Answer 1

理解为什么不允许这样做的最简单方法是以下示例：

 abstract class Fruit { } class Apple : Fruit { } class Banana : Fruit { } // This should intuitively compile right? Cause an Apple is Fruit. List fruits = new List(); // But what if I do this? Adding a Banana to a list of Apples fruits.Add(new Banana()); 

最后一句话会破坏.NET的类型安全性。

但是，数组允许这样做：

 Fruit[] fruits = new Apple[10]; // This is perfectly fine 

然而，将Banana放入fruits仍会破坏类型安全性，因此.NET必须对每个数组插入进行类型检查，如果它实际上不是Apple ，则抛出exception。 这可能是一个（小）性能损失，但这可以通过在任一类型周围创建struct包装器来规避，因为这种检查不会发生在值类型中（因为它们不能从任何东西inheritance）。 起初，我不明白为什么做出这个决定，但你会经常遇到为什么这个有用。 最常见的是String.Format ，它接受params object[]并且任何数组都可以传递给它。

但是在.NET 4中，存在类型安全协方差/逆变，它允许您进行类似这样的分配，但前提是它们可certificate是安全的。 什么是可靠的安全？

 IEnumerable fruits = new List(); 

以上工作在.NET 4中，因为IEnumerable变为IEnumerable 。 out意味着T只能从 fruits 出来 ，并且在IEnumerable上根本没有任何方法将T作为参数，所以你永远不能错误地将Banana传递给IEnumerable 。

逆差异大致相同，但我总是忘记它的具体细节。 不出所料，为此现在在类型参数上有in关键字。

Answer 2

现在，如果您想进行以下调用：

 List calls = package.getCalls(); // select only AbstractPackageCall items List calls = calls.Select(); calls.Add(new AnotherPackageCall()); 

我称之为概括。

此外，您可以使用更具体的：

 List calls = package.getCalls(); // select only AnotherPackageCall items List calls = calls.Select(); calls.Add(new AnotherPackageCall()); 

使用扩展方法实现此方法：

 public static class AbstractPackageCallHelper { public static List Select(this List source) where T : AbstractPackageCall where U : T { List target = new List(); foreach(var element in source) { if (element is U) { target.Add((U)element); } } return target; } } 

Answer 3

你为什么尝试不起作用

您要求编译器将List视为List ，而不是。 另一个问题是，每个PackageCall实例实际上都是AbstractPackageCall 。

什么会起作用

 var calls = package.getCalls().Cast().ToList(); 

为什么你的尝试永远不会被允许工作

即使package.getCalls()的返回值内的每个项都派生自AbstractPackageCall ，我们也不能将整个列表视为List 。 如果我们能够：

 var calls = package.getCalls(); // calls is List List apcs = calls; // ILLEGAL, but assume we could do it apcs.Add(SomeOtherConcretePackageCall()); // BOOM! 

如果我们可以这样做，那么我们可以将SomeOtherConcretePackageCall添加到List 。

Answer 4

因为List不从Listinheritance。 您可以使用Cast<>()扩展方法，如：

 var calls = package.getCalls().Cast(); 

Answer 5

您无法执行此转换，因为List可以包含从AbstractPackageCall派生的任何AbstractPackageCall ，而List则不能 – 它只能包含从PackageCall派生的内容。

考虑是否允许此演员：

 class AnotherPackageCall : AbstractPackageCall { } // ... List calls = package.getCalls(); calls.Add(new AnotherPackageCall()); 

您刚刚将AnotherPackageCall添加到List – 但AnotherPackageCall不是从AnotherPackageCall派生的！ 这就是为什么不允许这种转换的原因。