强类型泛型方法调用其参数的基类方法，而不是 T 中的隐藏方法？

Question

考虑一个包含 Show() 隐藏实现的 MyForm 类。它还包含一个 CreateForm() 方法，该方法接受表单的实例并调用影子子：

Public Class MyForm
    Inherits Form

    Public Shadows Sub Show()
        MessageBox.Show("Shadowed implementation called!")
    End Sub
End Class

...

Public Sub CreateForm(ByVal childForm As MyForm)
    childForm.MdiParent = Me
    childForm.Show()
    childForm.Focus()
End Sub

当使用 CreateForm(New MyForm()) 调用时，影子实现Show() 被正确调用。现在考虑以下泛型实现：

Public Sub CreateForm(Of T As Form)(ByVal childForm As T)
    childForm.MdiParent = Me
    childForm.Show()
    childForm.Focus()
End Sub

使用 CreateForm(Of MyForm)(New MyForm()) 调用，此强类型泛型方法从不调用隐藏方法。

这是一个错误，还是我错过了什么？

Answer 1

此行为是“设计使然”。这里要记住的技巧是泛型方法是由其自身编译和验证的（而不是像 C++ 那样在调用者的上下文中）。因此，泛型方法只知道 T 与 Form 相关。它不了解 MyForm，因此可以正确绑定到 Form 上的方法。

这是正确的，因为 Shadows 方法仅在编译时与引用的类型一起发挥作用，使 Shadow 方法可见。这里的情况并非如此，因为编译类型的引用类型是 Form （不是 MyForm）。这与 Overridable 形成鲜明对比，后者的行为根据运行时类型而变化。

Answer 2

你错过了一些东西。它只知道它在编译时处理表单（请记住，泛型不是模板！）。您唯一可以做的就是使用（覆盖）虚拟方法而不是隐藏它们。

另请参阅VB.NET 中的“阴影”与“覆盖”了解更多信息关于阴影的信息 - 这实际上不是多态性。

Answer 3

这不是一个错误，因为编译器仅根据应用于 T 的给定类型约束（即 Form）静态评估调用。编译器无法预测实际类型可能包含隐藏方法声明或已知父级（即 Form）中未声明的任何其他方法。