【转】VB中动态编程的技巧和挑战：多重分派

作者 Jonathan Allen 译者 霍泰稳

随着VBx对动态编程的更多支持计划，现在来讨论Visual Basic中已经存在的动态属性是个不错的时机。这一部分，我们讨论多重分派（Multiple Dispatch）。

多重分派，也就是我们常说的多重方法，是一个和函数重载相关的技术。主要的不同是时间的选择。在使用重载函数时，编译器决定在编译时调用哪个函数，看下面的代码：

Option Strict On
Module Module1

    Sub Main()
        Dim obj As A
        If Console.ReadKey.KeyChar = "A" Then
            obj = New A
        Else
            obj = New B
        End If
        Console.WriteLine(Foo(obj))
        Console.ReadLine()

    End Sub

    Function Foo(ByVal value As A) As String
        Return "Function A Object Type " + value.RealName()
    End Function

    Function Foo(ByVal value As B) As String
        Return "Function B Object Type " + value.RealName()
    End Function

End Module

Class A
    Public Overridable Function RealName() As String
        Return "A"
    End Function
End Class
Class B
    Inherits A
    Public Overrides Function RealName() As String
        Return "B"
    End Function
End Class

运行代码，你要么看到“Function A Object Type A”，要么是“Function A Object Type B”。尽管obj指向了类型B的一个对象，编译器却已经决定了Foo的第一个版本会被调用。这种情况有时被称为单一分派，对初级程序员来说，常是一个难理解的概念。

如果做了下面代码中所示的一些改变，那么时间的选择也随之改变，选择会被推迟到运行时。

Option Strict Off 'Change 1 - Late binding is enabled

    Sub Main()
        Dim obj 'Change 2 - obj is late bound
        If Console.ReadKey.KeyChar = "A" Then
            obj = New A
        Else
            obj = New B
        End If
        Console.WriteLine(Foo(obj))
        Console.ReadLine()

    End Sub 

用这个版本，你会看到“Function A Object Type A”或者“Function B Object Type B”。这种在运行时选择正确函数的能力，就是人们所说的动态分派。

动态分派不仅仅是在支持后绑定（Late Binding）语言中处理重载的一个有趣的前沿话题，它还是处理同质列表（Homogoneous List）的一项有用技术。

让我们假设在一个窗体中，它里面的每个控件类型都有自己的格式函数，你想为所有的控件都设置上定制的格式。例子里包括FormatControl(TextBox)和FormatControl(ListBox)。

使用一个静态类型语言，比如C#，你须要在窗体的控件集合里通过一个循环调用每个控件的FormatControl。但是，因为函数是在编译时被选定的，你不得不提供一个称为FormatControl(control)的泛型函数。然后这个泛型使用一个巨大的if/else-if块来选择要调用的真实函数。

通过使用动态分派，运行时要选定调用哪个版本的FormatControl取决于内存里的对象，而不需要if/else-if程序块。这儿仍然需要FormatControl(control），但是它只是一个用于扣住这些控件的空函数。

在依赖动态分派进行编程时，必须使用Caution（这个编译器选项）。因为选择被推迟到运行时，那时如果没有找到一个合适的重载的话，可能会产生异常。在静态类型语言里这不是一个问题，因为你会收到编译器给出的异常报告。

原文地址：http://www.infoq.com/cn/news/2007/06/VB-Multiple-Dispatch;jsessionid=C84FD3C348FF32AF0953A849302C7487

查看英文原文：VB Tips and Trips: Multiple Dispatch