Ошибка компиляции Weird generics

Question

У меня есть два класса, базовый класс и дочерний класс. В базовом классе я определить общий виртуальный метод:

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

Тогда в моем классе ребенка я пытаюсь сделать это:

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

Visual Studio предоставляет эту странную ошибку:

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'.

Повторение предложения where при переопределении ребенка также дает ошибку:

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

Так что я делаю неправильно здесь?

Answer 1

Это работает. Вы должны были сделать тип возвращаемого родовое:

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>(); 
} 

Это некоторые основные C# override rules:

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

Это означает, что один и тот же тип возвращаемого значения и те же аргументы метода.

Answer 2

Ваше переопределение не может изменить тип возвращаемого значения, даже если тип возврата получен из возвращаемого типа метода базового класса. Вы должны сделать что-то вроде того, что сделал Игорь, и сделать тип возврата общим.