具有类继承和泛型类型继承的 C# 集合不允许添加继承的类

Question

我遇到了一些可能的事情，但不起作用。

这里是示例类，

abstract class BaseModel { }

abstract class BaseViewModel<T> where T : BaseModel
{
    protected T model;
}

class ModelA : BaseModel { }

class ViewModelA : BaseViewModel<ModelA> { }

现在我试着去做

class Program
{
    static void Main(string[] args)
    {
        var collection = new List<BaseViewModel<BaseModel>>();
        collection.Add(new ViewModelA());
    }
}

直觉上，它看起来是有效的。但是无法添加ViewModelA。

我想知道为什么这是不可能的，并解决这种情况。

Answer 1

ViewModelA 不等于 BaseViewModel<BaseModel>，尽管您可能认为它是

这是因为类是不变的。

• 不变性：表示只能使用原来指定的类型

• 协方差：使您能够使用比最初指定的更多派生类型。

实现您想要的（可能）的一种方法是通过out generic modifier 使用协变接口参数。但是，它有一定的局限性。 类型参数只能作为接口方法的返回类型，不能作为方法参数的类型

示例

public interface IBaseViewModel<out T>  where T : BaseModel 
{ 
   ... 
}

abstract class BaseViewModel<T> : IBaseViewModel<T> where T : BaseModel 
{
   protected T model; 
}

class ModelA : BaseModel { }

class ViewModelA : BaseViewModel<ModelA> { }

static void Main(string[] args)
{
   var collection = new List<IBaseViewModel<BaseModel>>();
   collection.Add(new ViewModelA()); // this now works
}

Answer 2

我对您的实现有不同的理论，根据您的实现，您的BaseViewModel<T> 和BaseModel 都是抽象的，这意味着您不能实例化抽象类，这意味着您不能使用BaseViewModel<BaseModel> baseModel = new ViewModelA();。当您添加到集合时，您试图为违反抽象类规则的抽象类创建一个实例。我已经对您进行了一些修改，以便您可以添加到集合中。

abstract class BaseModel { }

abstract class BaseViewModel<T> where T : BaseModel
{
     protected T model;
}

class ModelA : BaseModel { }

class ViewModelA : BaseViewModel<ModelA> { }

static async Task Main(string[] args)
{
    var collection = new List<BaseViewModel<ModelA>>();
    collection.Add(new ViewModelA());
}

您也可以按照前面的答案制作界面来制作解耦类。