일반 유형 인수로 일반 유형

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

클래스 대신 인터페이스로 작업하려는 경우 쉽게 공분산을 수행 할 수 있습니다. 다음 코드는 정상적으로 컴파일됩니다.

Answer 2

CollectionViewModel<PersonViewModel>에서 파생되었지만 T은 EditableViewModel<EntityBase>으로 제한되었습니다. PersonViewModel은 EditableViewModel<Person>이지만 EditableViewModel<EntityBase>은 아닙니다. 두 유형은 서로 관련이 없습니다.

왜 관련이없는가요? 예 : B가 A와 할당 호환되는 경우 List<B>은 List<A>에 할당 호환되지 않습니다.

이 연구에 대해 더 자세히 알고 싶다면 C#의 공동 및 반공 변 화 항목을 참조하십시오.

Answer 3

당신은 따라서이를 수 있습니다 : 당신은 추상 기본 클래스보다는 인터페이스 유형을 제한하는 경우 USR의 대답에서 알 수 있듯이

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

class AllPersonsViewModel : CollectionViewModel<Person, PersonViewModel> 

, 당신은 더 많은 유연성을 얻을 것입니다; 인터페이스가 공역 또는 반 행위 일 경우 특히 그렇습니다.