VB.NET局部变量类型推测基本概念剖析
VB.NET的出现在很大程度上改变了编程人员的代码编写方式，带来了一个简约，灵活的编写方式。在这里我们一起来体验一下新版本中的VB.NET局部变量类型推测的功能，让大家一起来体验这门语言给我们带来的不同之处。
注意现在距离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局部变量类型推测是一个很重要的特性，但初看其来很简单，似乎没有必要。
