C#中的语言特性都是从何而来？

前几天推荐一个同事用“可选参数”，推荐完了我还画蛇添足的说这是.Net 4中的新特性。但是事后才发现这个新特性是C# 4.0的语言特性，与.Net 4无关。其实也不只这一次，我平时也经常把语言、框架、运行时，有时甚至还有开发工具混为一谈。于是今天就总结一下C#中我感兴趣的几个语言特性是从何而来的。

　　1.可选参数

　　可选参数是C# 4.0中的新特性，其作用在于在调用者不提供参数值时给参数一个默认值，用起来是这样的：

static void Main(string[] args)
{
    TestMethod();
    TestMethod(10);
    Console.ReadLine();
}
public static void TestMethod(int parameter = 5)
{
   Console.WriteLine(parameter);
}

以上的代码在第一次调用TestMethod时输出5，第二次输出10，也就是在没有给TestMethod提供参数值时，会自动以5作为参数值。

　　该特性的实现依赖于OptionalAttribute和DefaultParameterValueAttribute这两个attribute，也就是说TestMethod这个方法完全可以声明为这样：

public static void TestMethod([Optional, DefaultParameterValue(5)] int parameter)
{
    Console.WriteLine(parameter);
}

　　而跑起来的结果是一样的。

　　OptionalAttribute和DefaultParameterValueAttribute这两个attribute分别是在.Net 1.1和.Net 2.0中引入的，也就是说N年前大家就可以写拥有“可选参数”的方法了，只是用起来没有现在这么爽。

　　只要您安装了.Net Framework 4.0（也就是说有了其中附带的新版的C#编译器），您就可以编写如上的代码而同时把target framework指定为.Net Framework 2.0到.Net Framework 4之间的任何版本。

　　小总结：我在这个问题上犯的错误就在于将语言和框架混为一谈了。C#语言的第四版和.Net Framework的第四版一起发布，于是我就理所当然的认为C# 4.0中的新特性和.Net Framework 4有关系了。其实，只要微软的人愿意，他们完全可以在.Net Framework 2.0发布之后和.Net Framework 4.0发布之前的任意时间发布一款CTP的编译器来实现这一语言性特性，正如他们前不久发布的Asyn CTP一样。

　　2.var关键字

　　var关键字是在C# 3.0中引入的，其作用在于在声明局部变量时无需指定具体类型，用起来是这样的：

var str = "hello";
Console.WriteLine(str);var str = "hello";
Console.WriteLine(str);

　　其结果和把var替换为string完全一样。

　　这个语言特性看似鸡肋，实际上它的好处在于接收LinQ语句的返回值，比如说Enumerable.GroupBy的某几个重载的返回值是IEnumerable<IGrouping<TKey, TElement>>，如果每次用到group by的时候都需要写这么长的一串代码的话，那玩儿LinQ的快感想必是要降低不少呀。

　　这个语言特性的实现要比可选参数简单一些，无需框架的支持，完全是语言规范和编译器的“合谋”。编译器在编译时根据赋值语句推断出真实的类型，编译出的IL中完全没有var的身影。

　　3.泛型

　　泛型是C# 2.0中新增的特性，也是.Net 2.0中的新特性。没有错，这次终于可以说它是.Net的新特性了，但是也只是.Net而不是.Net Framework。

　　在C#语言层面实现泛型需要CLR的支持，可以说它是.Net世界中的一等公民，IL甚至为它修改了语法。

　　比如说如下的类型声明：

public class TestClass<T>

　　在编译为IL之后是这样的：

.class public auto ansi beforefieldinit TestClass<T>
    extends [mscorlib]System.Object

　　可见IL中新增了尖括号的用法。

　　以上三个语言特性都比较典型。var关键字纯粹是语言层面的小甜头，只要有了能够理解var的编译器，使用哪个版本的CLR或者.Net Framework完全无所谓。

　　可选参数需要编译器能理解参数名后面的赋值语句，同时也需要.Net Framework中提供的attribute的支持。

　　泛型同时需要CLR和编译器的支持。

　　如果列一张表的话，就是下面这样的：

语言特性	实现该特性需要的支持
var关键字	CLR（） 框架（） 编译器（）
可选参数	CLR（） 框架（） 编译器（）
泛型	CLR（） 框架（） 编译器（）

　　上表中每一项的编译器都打上了钩儿。很显然，每一项语法层面的特性都需要编译器的支持，要不然语言规范就只是一纸空文了。在这里还是把它列出来，仅求全面。

　　写完之后自己看一遍，觉得很是有考据癖的老学究味道。微软总是把开发工具、框架类库、运行时和编译器的新版本一起发布，所以我们总是被弄得很被动，总是搞不清这几者之间区别。其实有时候把这些东西区分开来去观察，更有利于解释一些困惑。

　　当然，最后的表格中列出的东西还是太少了，希望各位补充啊。