是否可以指定“Derivative(of T)”的返回类型？ VB.NET 中的 MustOverride 子程序？

Question

VB.NET 2008 .NET 3.5

我有两个 MustInherit （部分）基类。我们将一个类称为 OrderBase，将另一个类称为 OrderItemBase。

特定类型的订单和订单项将从这些类继承。我们将这些称为 WebOrder（继承自 OrderBase）和 WebOrderItem（继承自 OrderItemBase）。

现在，在宏伟的计划中，WebOrder 是一个包含 WebOrderItem 的复合类，如下所示：

Public Class WebOrder
    Inherits OrderBase

    Public Property OrderItem() as WebOrderItem
    End Property

End Class

Public Class WebOrderItem
    Inherits OrderItemBase
End Class

为了确保从 OrderBase 派生的任何类都具有 OrderItem 属性，我想在 OrderBase 类中执行类似的操作

Public MustInherit Class OrderBase
    Public MustOverride Property OrderItem() as Derivative(Of OrderItemBase)
End Class

：换句话说，我希望派生类强制包含一个返回 OrderItemBase 派生类的属性。

这是可能的，还是我应该使用完全不同的方法？

Answer 1

立即想到两个选项：

第一：

Public MustInherit Class OrderBase
    Public MustOverride Property OrderItem As OrderItemBase
End Class

Public Class WebOrder
    Inherits OrderBase

    Public Overrides Property OrderItem As OrderItemBase
End Class

这将使所有派生类都具有 OrderItemBase 类型的属性（不是 OrderItemBase 的派生类）

第二：

Public MustInherit Class OrderBase(Of TItem As OrderItemBase)
    Public MustOverride Property OrderItem As TItem
End Class

Public Class WebOrder
    Inherits OrderBase(Of WebOrder)

    Public Overrides Property OrderItem As WebOrder
End Class

请注意，这会更改类层次结构，以便所有订单都没有单一基类。您必须将任何适用于 OrderBase(Of TItem) 类的方法设为泛型。