在谈到动态语言与静态语言的区别时，有一句很经典的话：Static typing when possible, dynamic typing when needed。Visual Basic支持后期绑定和动态标识符，因此完全可以按照对象的运行时类型进行操作。只是后期绑定或动态标识符缺乏对参数或返回值类型的约束，仅仅按照成员的名称进行操作。举一个例子：在静态篇我们介绍过匿名类型，假设有3个匿名类型的实例（Tuple）：
Dim a = New { Name := "Robbins", Age := 25 }
Dim b = New { Name := "Andrei", ID := 12, Address := "Beijing" }
Dim c = New { Name := New NameType("Mark"), Title := "PM" }
如你所见，三个Tuple具有不同的类型，由于匿名类型没有办法实现接口，因此没有办法用统一的语法操作a和b相同的属性Name。用后期绑定可以统一访问Name属性，但是c的Name属性与a，b的不同，但是后期绑定却能让他们用统一的方式访问，这就让动态的隐患扩大了。有没有既可以动态访问成员，又有部分强类型的约束呢？Visual Basic 9.0引入了动态接口。动态接口与普通接口不同，类型无需声明实现动态接口，只要具有相应动态接口定义的成员即可转换为动态接口类型。这个特性也称为鸭子类型判定。因为流传这样一种动态语言类型判断的手法：如果一个东西走路像鸭子，说话也像鸭子，那它就是鸭子。动态接口的定义需要用Dynamic修饰符：
Dynamic Interface IHasName
Property Name As String
End Interface
这个接口规定了一个String类型的属性，名为Name。任何类型的实例，只要具有String类型的属性Name，就被推定为实现IHasName：
Dim a = New { Name := "Robbins", Age := 25 }
Dim b = New Button() {Name := "Button1", Text := "Button1" }
Dim ihn As IHasName = a
ihn.Name = "Haward"
ihn = b
ihn.Name = "Button2"
尽管a的匿名类型和Button类型都没有声明实现IHasName接口，但他们都有类型为String名为Name的属性，因此都可以使用IHasName接口。动态接口提供了有类型约束和IDE智能感知的后期绑定，再次提高了Visual Basic动态编程的能力。不过要提示一点，动态接口并非类型安全性的特性。
posted on
