泛型类型作为泛型类型参数

Question

// EF (Model) project
class EntityBase { } // base class for all types
class Person : EntityBase // specific implementation for type Person

// ViewModel project
class EditableViewModel<T> where T : EntityBase // base class for all viewmodel types
class PersonViewModel : EditableViewModel<Person>
class CollectionViewModel<T> where T : EditableViewModel<EntityBase> // base class that handles CRUD operation on EditableViewModel<T> collections

// everything up to this point work. I am unable to create specific instance of CollectionViewModel<>
class AllPersonsViewModel : CollectionViewModel<PersonViewModel>

我如何才能做到这一点？

Answer 1

如果你愿意使用接口而不是类，你可以很容易地做协方差。以下代码可以很好地编译：

class EntityBase { }
class Person : EntityBase {}

interface EditableViewModel<out T> where T : EntityBase {} // Must be an interface. "out" marks T as a covariant parameter
class PersonViewModel : EditableViewModel<Person> {}
class CollectionViewModel<T> where T : EditableViewModel<EntityBase> { }

class AllPersonsViewModel : CollectionViewModel<PersonViewModel> { }

Answer 2

您是从CollectionViewModel<PersonViewModel>派生的，但您将T限制为EditableViewModel<EntityBase>。PersonViewModel是EditableViewModel<Person>，但它不是EditableViewModel<EntityBase>。这两种类型是无关的。

为什么它们是无关的？例如:如果B与A的赋值兼容，则List<B>与List<A>的赋值不兼容。

如果你想了解更多关于这项研究的信息，请参阅C#中的协方差和逆变主题。

Answer 3

您可以这样实现这一点：

class CollectionViewModel<TEntity, TViewModel>
    where TViewModel : EditableViewModel<TEntity>
    where TEntity : EntityBase

class AllPersonsViewModel : CollectionViewModel<Person, PersonViewModel> 

正如usr的答案所暗示的那样，如果您将类型约束到接口而不是抽象基类，您将获得更大的灵活性；如果接口是协变或逆变的，这一点尤其正确。