Переопределение абстрактного свойства с производным возвращаемым типом в С#

Это не очень хороший способ структурировать вещи. Выполните одно из следующих

1) Просто не меняйте возвращаемый тип и обычно переопределяйте его в подклассе. В DerivedHandler вы можете вернуть экземпляр DerivedRequest, используя сигнатуру базового класса Request. Любой клиентский код, использующий это, может при желании преобразовать его в DerivedRequest.

2) Вместо этого используйте дженерики, если они не должны быть полиморфными.

public abstract class HandlerBase<T> where T: Request
{
    public abstract T Request {get;set;}
}

public class Handler: HandlerBase<Request>()

public class DerivedHandler: HandlerBase<DerivedRequest>()

В языке C# вам не разрешено изменять сигнатуру унаследованного метода, если только вы не замените его другим методом с таким же именем. Этот метод называется «скрытие членов» или «затенение».

Если вы используете .NET 2.0 или более позднюю версию, вы можете решить эту проблему, превратив возвращаемый тип свойства Request в параметр универсального типа класса Handler. Затем класс DerivedHandler укажет класс DerivedRequest в качестве аргумента для этого параметра типа.

Вот пример:

// Handler.cs
public class Handler<TRequest> where TRequest : Request
{
    public TRequest Request { get; set; }
}

// DerivedHandler.cs
public class DerivedHandler : Handler<DerivedRequest>
{
}

За исключением сокрытия исходного свойства:

public new DerivedRequest Request { get;set;}

Однако я настоятельно не рекомендую этого делать. Сокрытие чего-то, что должно быть переопределено, вызывает проблемы, особенно если свойство не является простым автоматически сгенерированным. Кроме того, если он используется в качестве интерфейса или базового класса, исходная реализация (в этом случае на один класс выше в дереве наследования). Если вы реализуете абстрактный класс или интерфейс, вы даже не сможете скрыть исходную сигнатуру, поскольку вы обязаны ее реализовать.

Обычно, если вы думаете об использовании ключевого слова new, вы на неверном пути. Есть случаи, когда это необходимо и требуется, однако в большинстве случаев это не так.

Вместо этого создайте другое свойство:

public DerivedRequest DerivedRequest {/* make adequate conversions here*/ }

Таким образом, вы находитесь на чистой стороне в отношении ООП и получаете информацию в понятной форме.

Изменить: вы не можете изменить тип производного типа, но new может помочь:

В производном типе...

public new DerivedRequest request
{
   get{return (DerivedRequest) base.request;}
   set{base.request = value;}
}
public override Request request
{
   get{return base.request;}
   set{base.request = (DerivedRequest) value;} // Throws InvalidCastException if misused.
}

Это невозможно теоретически. Переопределение должно быть ковариантным для типа возвращаемого значения (то есть тип возвращаемого значения должен быть более конкретным или таким же) и контравариантным для параметра (то есть тип параметра должен быть менее конкретным или таким же). Таким образом, ваш новый тип должен быть эффективно одновременно ковариантным и контравариантным по отношению к Request — это означает, что единственный возможный тип — это просто Request.

По этой причине в C# не разрешено изменять тип свойств для переопределений.