¿Por qué no se puede convertir este tipo genérico?

Question

Decir que tengo las siguientes tres clases/interfaces:

public interface IImportViewModel 
{ 

} 

public class TestImportViewModel : IImportViewModel 
{ 

} 

public class ValidationResult<TViewModel> where TViewModel : IImportViewModel 
{ 

} 

Como TestImportViewModel implementa IImportViewModel, ¿por qué será lo siguiente que no se compile?

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

entiendo lo que el mensaje de error "No se puede convertir implícitamente el tipo 'ValidationResult' a 'ValidationResult'" significa. Simplemente no entiendo por qué este es el caso. ¿No sería esto covarianza?

Answer 1

¿Esto no sería covarianza?

Sí, salvo que en C# 4.0 la covarianza solo funciona en las interfaces. Por lo que tendrá que hacer su ValidationResult implementar una interfaz covariante (uno para el cual el parámetro genérico se define como 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 
{ 
} 

y ahora se puede hacer esto:

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