Error raro de compilación de genéricos

Question

Tengo dos clases, una clase base y una clase secundaria. En la clase base que definen un método virtual genérica:

protected virtual ReturnType Create<T>() where T : ReturnType {}

Luego, en mi clase de niño que trato de hacer esto:

protected override ReturnTypeChild Create<T>() // ReturnTypeChild inherits ReturnType 
{ 
    return base.Create<T> as ReturnTypeChild; 
}

Visual Studio le da a este extraño error:

The type 'T' cannot be used as type parameter 'T' in the generic type or method 'Create()'. There is no boxing conversion or type parameter conversion from 'T' to 'ReturnType'.

Repetir la cláusula where en la anulación del hijo también da un error:

Constraints for override and explicit interface implementation methods are inherited from the base method, so they cannot be specified directly

Entonces, ¿qué estoy haciendo mal aquí?

Answer 1

Esto funciona. Había que hacer el tipo de retorno genérica:

public class BaseClass { 
    public virtual T Create<T>() where T : BaseClass, new() { 
    var newClass = new T(); 
    //initialize newClass by setting properties etc 
    return newClass; 
    } 
} 

public class DerivedClass : BaseClass { 
    public override T Create<T>() { 
    var newClass = base.Create<T>(); 
    //initialize newClass with DerivedClass specific stuff 
    return newClass; 
    } 
} 

void Test() { 

DerivedClass d = new DerivedClass() ; 
d.Create<DerivedClass>(); 
} 

Estos son algunos básica C# override rules:

The overridden base method must have the same signature as the override method.

Esto significa que el mismo tipo de retorno y los mismos argumentos del método.

Answer 2

Su sustitución no puede cambiar el tipo de devolución, incluso si el tipo de devolución deriva del tipo de devolución del método de clase base. Tienes que hacer algo como lo hizo Igor anteriormente, y hacer que el tipo de devolución sea genérico.