VB.NET局部變量類型推測基本概念剖析
VB.NET的出現在很大程度上改變了編程人員的代碼編寫方式，帶來了一個簡約，靈活的編寫方式。在這里我們一起來體驗一下新版本中的VB.NET局部變量類型推測的功能，讓大家一起來體驗這門語言給我們帶來的不同之處。#t#
注意現在距離VB9.0正式推出還很遠，本系列文章僅對當前公布的內容做簡單介紹，并不保證和正式版特性一致。
言歸正傳，這次visual Basic 9.0的主題就是數據和動態。VB9試圖從語言角度上增強以獲得前所未有的數據（包括對象中的數據、數據庫和XML）開發體驗。其次，Visual Basic試圖從動態語言中吸取一些優良的特性，讓用戶感到更少受限制，更方便。此外還有一些和數據無關的靜態特性。我打算將本文分成動態篇和靜態篇，分別介紹Visual Basic 9.0近乎于兩個世界的開發體驗。
我要介紹的visual Basic 9.0第一個新特性是VB.NET局部變量類型推測。在以前版本，我們聲明變量的同時，必須用As語句指定變量的類型。
- Dim aInt As Integer = 5
- Dim aDbl As Double = 3.33
- Dim aStr As String = "Hello"
- Dim aLst As List(Of Integer) = anotherList.ConvertAll
(Of Integer)(PStr.Length)
VBF語法我們觀察這幾個聲明，他們的初始化語句都包含了足夠確定返回類型的信息，比如“5”就已經確定為integer。因此，在visual Basic 9.0中，可以免除局部變量的類型聲明，由初始化語句確定。
- Dim aInt = 5
- Dim aDbl = 3.33
- Dim aStr = "Hello"
- Dim aLst = anotherList.ConvertAll(Of Integer)(PStr.Length)
這樣，變量的聲明就被充分簡化了。注意，這些代碼似乎在visual Basic 2005也有效，那么有什么不同呢？這里類型推測發生在編譯時，是一種強類型特性。比如將aInt初始化為5，那么aInt并非是定義為Object類型，而是定義為真正的Integer，如果再給aInt賦值無法轉換成Integer的數值，就會發生編譯錯誤。在Visual Basic 2005中，Option Strict Off的情況下，不用As語句指定類型會默認為Object類型，這條規則到了Visual Basic 9.0將不再有效，要聲明為Object類型必須顯式指定As Object。注意最后一個，我們看到泛型類型的類型實參也會隨類型推測一并確定，因此不再需要書寫前思考返回類型的類型實參具體是什么了。
visual Basic 9.0還支持For Each循環的循環變量類型自動推測。
- Dim list As List(Of ALongNameStructure) = ...
- For Each Dim item In list '無需寫As ALongNameStructure
- '使用list
Next注意dim語句在此幫助推測了list中的成員類型，因此你就無需手工指定它了。
為了讓類型推測對數組也起作用，VB9還引入了全新簡化的數組字面量，現在數組可以通過初始化自動推測自己的類型。
- 'VB2005 數組定義和初始化都需要指定類型
- Dim aIntArr As Integer() = New Integer() {1, 2, 3}
- 'VB 9.0 一切都自動推測
- Dim aIntArr = {1, 2, 3}
- '寫個括號也可以
- Dim strArr() = {"a", "bb", "ccc"}
- '數組的數組也可以
- Dim aIntArrArr = {{1, 2}, {3, 4}}
- '注意類型不統一會推測成基類，下面例子成了Object數組
- Dim objArr = {1, "2", 3.1}
類型自動推測有一個限制，它只能對局部（非Static）變量進行推測，不支持對類層次的變量進行推測，即使有初始化語句也不行。
作為VB9數據新特性的基礎，VB.NET局部變量類型推測是一個很重要的特性，但初看其來很簡單，似乎沒有必要。
