Как переопределить абстрактный метод с помощью общего типа возвращаемого значения? ⇐ C#

[Anonymous]

Я пытаюсь написать классы примерно так:

Код: Выделить всё

public abstract class BaseModel
{
public abstract BaseInstance CreateInstance();
}
public class SpecializedModel : BaseModel
{
public override BaseInstance CreateInstance()
{
return new SpecializedInstance(this)
}
}

public abstract class BaseInstance where T : BaseModel
{
protected BaseInstance(T model) { ///... }
}
public class SpecializedInstance : BaseInstance where T : SpecializedModel
{
public SpecializedInstance(T model) : base(model) { //... }
}

У меня возникла проблема с методом CreateInstance в SpecializedModel. В реальности выдается ошибка

Невозможно неявно преобразовать SpecializedInstance в BaseInstance

Я пытался изменить тип возвращаемого значения SpecializedInstance на SpecializedInstance, но затем он говорит, что тип возвращаемого значения должен быть BaseInstance. Я попытался конкретизировать класс SpecializedInstance, но он все равно выдает ошибку «невозможно преобразовать».
Так возможно ли это вообще? Различные специализированные классы экземпляров должны будут иметь доступ к специализированным свойствам своих моделей, и я бы предпочел не использовать для этого приведения типов.

Подробнее здесь: https://stackoverflow.com/questions/791 ... eturn-type