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>,如果每次用到group by的时候都需要写这么长的一串代码的话,那玩儿LinQ的快感想必是要降低不少呀。

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

  3.泛型

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

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

  比如说如下的类型声明:

public class TestClass

  在编译为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() 框架() 编译器()

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

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

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

你可能感兴趣的:(C#,语言特性)