问在基类构造函数中使用抽象类作为参数，以便在派生类中具有更特定的类型。

EN

当我们说不能将List<Fruit>转换为List<Aliment>时，很大程度上取决于我们所说的“转换”是什么意思。

如果您有一个List<Fruit>，并且您想要一个List<Ailment>，您可以通过创建一个新的列表来实现这一点。例如，如果fruitList是List<Fruit>

var alimentList = new List<Aliment>(fruitList.Cast<Aliment>())

因为每个Fruit都是Aliment，所以可以将它们转换为Aliment，并使用它们填充新的List<Aliment>。

如果这样做，您的Fruits构造函数将编译：

public class Fruits : Aliments
{
    public Fruits(List<Fruit> fruitList)
        : base(new List<Aliment>(fruitList.Cast<Aliment>()))
    { }
}

我们不能做的是将List<Fruit>转换为List<Aliment>。

为什么？因为如果我们能做到的话：

var alimentList = (List<Aliment>)fruitList;
alimentList.Add(new Vegetable());

这将不会创建一个新的列表-它将简单地将列表作为一个不同的类型。但是，如果我们可以将List<Fruit>转换为一个List<Aliment>，那么我们就可以将任何Aliment添加到列表中，包括一个Vegetable。那么我们的List<Fruit>中就会有一个List<Fruit>。

这对我们来说并不总是显而易见的，但是编译器马上就会发现并阻止它。

由于这个问题，如果您使用我前面展示的代码来修复构造函数中的错误，您仍然会遇到完全相同的问题。Fruits仍然有一个从Aliments继承的List<Aliment>属性，所以您仍然可以这样做：

var fruits = new Fruits(someListOfFruit);
fruits.AlimentList.Add(new Vegetable());

这不会给你一个编译器错误，但这显然不是你想要的行为。

可以帮助您的是这样一个泛型类：

public abstract class Aliments<T> where T : Aliment
{
    public Aliments(List<T> alimentList)
    {
        AlimentList = alimentList;
    }
    public List<T> AlimentList { get; private set; }
}

它允许你这样做。您可以定义一个从Aliments继承但指定实际Aliment类型的类。

public class Fruits : Aliments<Fruit>
{
    public Fruits(List<Fruit> alimentList) : base(alimentList)
    {
    }
}

通过为泛型参数Fruit指定T，您的AlimentList属性现在被定义为List<Fruit>。编译器只允许您将Fruit添加到它。