不要惊讶，每个PDC上都会有微软最新产品的前瞻，所以在Visual Basic 2005发布以前看到Visual Basic 9.0的消息就是可以理解的了。Visual Basic 9.0 (codename Visual Basic Orcas）将随下一个Visual Stduio主版本（9.0，Orcas）一起发布，但是微软很早就开始了新语言特性的规划，在今天（PST 9月13日）召开的PDC大会上，用户不仅可以领略到新一代Visual Basic 9.0的特性，还可以在动手实验室里亲自尝试预览版。没有参加PDC大会的VB Fans和开发者，可以从我的Blog获取首轮中文播报。注意现在距离VB9.0正式推出还很远，本系列文章仅对当前公布的内容做简单介绍，并不保证和正式版特性一致。

言归正传，这次Visual Basic 9.0的主题就是数据和动态。VB9试图从语言角度上增强以获得前所未有的数据（包括对象中的数据、数据库和XML）开发体验。其次，Visual Basic试图从动态语言中吸取一些优良的特性，让用户感到更少受限制，更方便。此外还有一些和数据无关的静态特性。我打算将本文分成动态篇和静态篇，分别介绍Visual Basic 9.0近乎于两个世界的开发体验。

我要介绍的Visual Basic 9.0第一个新特性是局部变量类型推测。在以前版本，我们声明变量的同时，必须用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数据新特性的基础，局部变量类型推测是一个很重要的特性，但初看其来很简单，似乎没有必要。因此你只先要记住它，当看到我后续文章的时候，你自会了解它的用处。敬请期待下一篇：对象初始化器和匿名类型。