.net - 多态泛型

Question

我有一个泛型类 Command(Of T)

命令定义(部分)为:

Public Class Command(Of T As BaseType)
    Inherits Command
    Public Property Condition As Func(Of T, Boolean)
End Class

我想创建一个包含所有命令的列表，然后当我收到一个对象 A 时，提取与我的 A 具有相同泛型类型的所有命令其中对 Condition(A) 的调用返回 true

我可以

Dim B As List(Of BaseType)
B.Add(New DerivedType)

但是

Dim C As New List(Of Command(Of BaseType))
C.Add(New Command(Of DerivedType))

抛出转换错误。

我可以让 Command 从非泛型对象继承(我们称它为 CommandBase...)

Dim C As New List(Of CommandBase)
C.Add(New Command(Of DerivedType))

这行得通，但现在我无法返回到特定于类型的引用。这会得到正确的命令对象:

Dim CommandsOfTypeA = B.Where(function(x) x.GetType.GetGenericArguments(0).FullName = A.GetType.FullName)

但我现在不知道该怎么做...

Dim MatchingCommands = CommandsOfTypeA.Where(function(x) c.Condition(A))

因为 CommandsOfTypeA 是 List(Of Command) 而不是 List(Of Command(Of DerivedType))

我错过了什么？

Answer 1

问题在于，虽然 DerivedType 的实例是 BaseType 的实例，但这并不一定意味着 Command(Of DerivedType ) 是 Command(Of BaseType) 的实例。默认情况下，泛型类型参数不考虑类型层次结构。

在编程语言理论中，启用此功能的功能称为 covariance .

.net 4.0 确实对此有一些支持，尽管它只能应用于接口(interface)，不能应用于类。 Here是关于这个主题的一些文档。

基本上，它看起来像这样:

Interface ICovariant(Of Out R)
    Function GetSomething() As R
    ' The following statement generates a compiler error. 
    ' Sub SetSomething(ByVal sampleArg As R) 
End Interface

这仅在您的泛型类型仅用作方法输入而不是输出或ref 或output 参数时有效(如图所示)。