Dlaczego ten typ ogólny nie może zostać przekonwertowany?

Question

Say mam następujące trzy klasy/interfejsy:

public interface IImportViewModel 
{ 

} 

public class TestImportViewModel : IImportViewModel 
{ 

} 

public class ValidationResult<TViewModel> where TViewModel : IImportViewModel 
{ 

} 

Jak TestImportViewModel realizuje IImportViewModel, dlaczego następujących nie skompilować?

ValidationResult<IImportViewModel> r = new ValidationResult<TestImportViewModel>(); 

rozumiem co się komunikat o błędzie „Nie można niejawnie przekonwertować typu«ValidationResult»do«ValidationResult»” środków. Po prostu nie rozumiem, dlaczego tak się dzieje. Czy to nie byłaby kowariancja?

Answer 1

Czy to nie byłaby kowariancja?

Tak, z wyjątkiem tego, że w C# 4.0 kowariancja działa tylko na interfejsach. Więc trzeba będzie zrobić swój ValidationResult wdrożyć kowariantna interfejsu (jeden dla których parametr generyczny jest zdefiniowany jako out):

public interface IImportViewModel 
{ 
} 

public class TestImportViewModel : IImportViewModel 
{ 
} 

public interface IValidationResult<out TViewModel> where TViewModel : IImportViewModel 
{ 
} 

public class ValidationResult<TViewModel> : IValidationResult<TViewModel> where TViewModel : IImportViewModel 
{ 
} 

a teraz można to zrobić:

IValidationResult<IImportViewModel> r = new ValidationResult<TestImportViewModel>();