据Marek Safar称通过使用一种名为类型推断（type inference）的技术Mono上的C# 编译器现在已经能够支持隐式类型的局部变量以及隐式类型的数组了
在类C的语言比如C#中我们经常使用类似type variable = new type这样略显冗余的办法来创建一个对象若是变量的类型名称较长或是会经常变化那么这样的声明方法更是将显得非常乏味
借助于最新引入的var关键字C# 大大减小了这类冗余通过这样的声明方式开发者即可在得到动态创建类型便利的同时也无须牺牲原有的静态类型支持编译器将通过等号右面的类型信息来确定变量的实际类型
需要注意的一点是C#仍旧是早期绑定和静态类型的类似Visual Basic这类延迟绑定（late binding）语言中的一些常见问题（比如由拼写错误造成的missing method exception）并不会在C#中出现
虽然看上去不错不过添加类型推断却不只是为了提高开发者的那么一点点输入速度类型推断是实现匿名类的一个必要的前提条件而匿名类则在LINQ中被广 泛使用因为匿名类并没有一个指定的类型名称所以若是没有了类型推断的支持我们就无法在C#中创建该类型的实例（VB则是通过延迟绑定来实现的这个 功能不过这也带来了missing method exception之类的问题）
C#中支持两种类型推断隐式类型变量和隐式类型数组二者的实现基础完全相同即在编译时将var替换成为分析得到的正确的变量或数组类型表达式
若是变量的声明和赋值不在同一行书写的话编译器将不允许我们使用类型推断虽然从技术角度上考虑实现这个功能没有什么困难不过C#编译器的开发团队可能是为了避免其带来的复杂性所以并没有考虑支持这个功能
Marek Safar还提到了两个无法应用类型推断的场景
故名思意隐式类型局部变量将无法用于域变量或常量的声明中否则将导致编译错误
我无法确定为什么会设置这样的限制或许我有些地方考虑得也不够全面
注意从技术角度考虑匿名类也拥有类型名称该类型名称是由编译器自动生成的不过匿名类的名称却无法预料因此我们只需要考虑其实现细节换句话说我们最好将匿名类的名称当作根本不存在
