在 C# 中使用派生返回类型覆盖抽象属性

Question

我有四节课。请求、派生请求、处理程序、派生处理程序。 Handler 类有一个带有以下声明的属性：

public abstract Request request { get; set; }

DerivedHandler 需要重写此属性，以便它返回 DerivedRequest：

public override DerivedRequest request { get; set; }

有人知道如何实现此功能吗？

Answer 1

这实际上并不是一个构建事物的好方法。执行以下操作之一

1) 只是不要更改返回类型，并在子类中正常覆盖它。在 DerivedHandler 中，您可以使用 Request 的基类签名返回 DerivedRequest 的实例。如果愿意，任何使用此方法的客户端代码都可以选择将其转换为 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>()

Answer 2

在 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>
{
}

Answer 3

除了隐藏原始财产之外：

public new DerivedRequest Request { get;set;}

但是，我强烈建议不要这样做。隐藏一些应该被覆盖的东西会带来麻烦，特别是如果该属性不是简单的自动生成的属性。另外，如果将其用作接口或基类，则为原始实现（在这种情况下，为继承树中较高的一个类）。如果您正在实现抽象类或接口，您甚至无法隐藏原始签名，因为您需要实现它。

通常，如果您考虑使用 new 关键字，那么您就走错了路。在某些情况下，这是必要和必需的，但在大多数情况下，并非如此。

相反，创建另一个属性：

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

这样，您就可以清楚地了解 OOP，并以清晰的方式获取信息。

Answer 4

编辑：
您无法更改派生类型的类型，但 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.
}

Answer 5

这在理论上是不可能的。覆盖对于返回类型必须是协变的（即，返回类型必须更具体或相同），对于参数来说必须是逆变的（即参数类型必须是不太具体或相同）。因此，您的新类型必须同时有效地针对 Request 进行协变和逆变——这意味着，唯一可能的类型就是 Request。

因此，C# 中不允许更改重写的属性类型。

Answer 6

public class Request{}

public class DerivedRequest : Request{}

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

public class DerivedHandler : Handler<DerivedRequest>
{
  public override DerivedRequest Request { get; set; }
}