在隐式类型的局部变量声明中，局部变量的类型是通过局部声明语句右侧的初始值设定项表达式推断的。
　　例如，编译器推断以下所有变量声明的类型：

以下是引用片段：
　　Dim population = 31719
　　Dim name = "Belize"
　　Dim area = 1.9
　　Dim country = New Country With { .Name = "Palau", ...}


　　因此，它们完全等效于以下显式类型声明：

以下是引用片段：
　　Dim population As Integer = 31719
　　Dim name As String = "Belize"
　　Dim area As Float = 1.9
　　Dim country As Country = New Country With { .Name = "Palau", ...}


　　由于局部变量声明的类型是通过新增的 Option Infer On(新项目的默认值)推断的，因此不管 Option Strict 的设置如何，对此类变量的访问始终是早期绑定的。程序员必须在 Visual Basic 9.0 中显式指定后期绑定，方法是将变量显式声明为 Object 类型，如下所示：

以下是引用片段：
　　Dim country As Object = New Country With { .Name = "Palau", ... }


　　推断类型可防止意外使用后期绑定，更重要的是，它允许为新数据类型(如 XML)绑定强大扩展，如下所示。

　　For...Next 或 For Each...Next 语句中的循环控制变量也可以是隐式类型的变量。指定循环控制变量时(如 For I = 0 To SmallCountries.Count 或 For Each country In smallCountries 中所示)，标识符定义一个新的隐式类型局部变量，其类型通过初始值设定项或集合表达式推断且作用于整个循环。通过应用此类型推断，可以重新编写打印所有小国家/地区的循环，如下所示：

以下是引用片段：
　　For Each country In smallCountries
　　Console.WriteLine(country.Name)
　　Next


　　country 的类型被推断为 Country，即 SmallCountries 的元素类型。