在談到動態語言與靜態語言的區別時,有一句很經典的話:Static typing when possible, dynamic typing when needed。Visual Basic支援後期綁定和動態標識符,因此完全可以按照對象的運行時類型進行操作。只是後期綁定或動態標識符缺乏對參數或傳回值類型的約束,僅僅按照成員的名稱進行操作。
舉一個例子:在靜態篇我們介紹過匿名型別,假設有3個匿名型別的執行個體(Tuple):
Code:
- 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修飾符:
Code:
- 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動態編程的能力。不過要提示一點,動態介面並非型別安全的特性。