[摘要]在发布Visual Studio 2005和C#2.0之后,微软公司又马不停蹄的展示了人们所期望的C#的下一代版本:C# 3.0。尽管C# 3.0并没有标准化,微软还是在PDC(专业程序员会议)发布了一个预览版本,因此心急的程序员可以看到一些所期望的特性,这也是本文所讨论的主要内容: ...
在发布Visual Studio 2005和C#2.0之后,微软公司又马不停蹄的展示了人们所期望的C#的下一代版本:C# 3.0。尽管C# 3.0并没有标准化,微软还是在PDC(专业程序员会议)发布了一个预览版本,因此心急的程序员可以看到一些所期望的特性,这也是本文所讨论的主要内容:
·隐式类型本地变量
·匿名变量
·扩展方法
·对象和Collection初始化符
·Lambda表达式
·查询表达式
·表达式树
隐式类型本地变量
C# 3.0引进了一个新的关键字叫做"Var"。Var允许你声明一个新变量,它的类型是从用来初始化符变量的表达式里隐式的推断出来的。也就是说,如下的表达式是有效的格式:
var i = 1;
这一行使用了1来初始化符变量i。注意这里i被强类型到整型,它不是一个对象或者VB6的变量,也不带有其他对象或者变量的负载。
为了保证使用var关键字进行声明的变量的强类型特性,C#3.0要求你将赋值(初始化符)放到和声明(声明符)的同一行。同样,初始化符必须是一个表达式,不能是一个对象或者collection初始化符,也不能为null。如果多个声明符对同一个变量存在,那么它们必须在编译时被视作相同类型。
另一方面,隐式类型数组,可以使用一点不同的格式,如下所示:
var intArr = new[] {1,2,3,4} ;
上面一行的代码将声明intArr为int[].
var关键字允许你使用匿名类型的实例,因而这些实例就是静态类型的。所以,当你创建一个包含一组数据的对象的实例的时候,你不必要预先定义一个类可以同时支持这个结构和在一个静态类型变量里的数据。
匿名变量
C# 3.0使得你可以灵活的创建一个类的实例,而无需先写这个类的代码。所以你可以这样写代码:
new {hair="black", skin="green", teethCount=64}
上一行代码,通过new关键字的帮助,创建了有三个属性的类型:hair,skin和teethCount。这样C#编译器就会创建一个类如下:
class __Anonymous1
{
private string _hair = "black";
private string _skin = "green";
private int _teeth = 64;
public string hair {get { return _hair; } set { _hair = value; }}
public string skin {get { return _skin; } set { _skin = value; }}
public int teeth {get { return _teeth; } set { _teeth = value; }}
}
事实上,如果另外一个满足了相同的名称和类型顺序的匿名类型也被创建了,编译器也会聪明的只创建一个匿名类型来支持两个实例来使用。同样,因为实例都是一个类的简单实例,它们可以进行互换因为类型实际上是一样的。
现在你拥有了这个类,但是你还需要一些东西来支持以上的类的某个实例。这就是"var"关键字的作用。它让你拥有一个以上匿名变量的实例的一个静态类型实例。这里有一个简单好用的匿名类型的使用例子:
var frankenstein = new {hair="black", skin="green", teethCount=64}
扩展方法
扩展方法使你能够使用额外的静态方法来扩展各种类型。不过它们是非常有限的,也只能在实例方法不足够的情况下才作为候补使用。
扩展方法只能在静态类中被声明,并且以关键字"this"放在方法的第一个参数前来标识,如下就是一个有效的扩展方法的例子:
public static int ToInt32(this string s)
{
return Convert.ToInt32(s) ;
}
如果一个包含以上方法的静态类被使用"using"关键字引进,ToInt32犯法将会出现在已有的类型中(虽然比现有的实例方法优先级低),你可以这样编译和执行代码:
string s = "1";
int i = s.ToInt32();
这使得你可以充分享用各种以有的内建的或者定义的类型的扩展特性,并且给它们加上新的方法。
[page_break]C#中程序结构的关键概念为程序、命名空间、类型、成员和程序集。C#程序包括一个或多个源文件。程序中声明类型,类型包含成员并能够被组织到命名空间中。类和接口是类型的例子。字段、方法、属性和事件则是成员的例子。当C#程序被编译时,它们被物理地打包到程序集中。程序集的文件扩展名一般为.exe或者.dll,这取决于它们是实现为应用程序(application),还是类库(library)。
示例:
using System;
namespace Acme.Collections
{
public class Stack
{
Entry top;
public void Push(object data){
top=new Entry(top,data);
}
public object Pop(){
if (top==null) throw new InvalidOperationException();
object result=top.data;
top=top.next;
return result;
}
class Entry
{
public Entry next;
public object data;
public Entry(Entry next,object data){
this.next=next;
this.data=data;
}
}
}
}
在叫做Acme.Collections的命名空间下,声明名为Stack的类,这个类的完全限定名就是Acme.Collections.Stack。它包括几个成员:一个名为top的字段,两个分别命名为push和pop的方法,以及一个名为Entry的嵌套类。Entry类又进一步包括三个成员:一个名为next的字段,一个名为data的字段,以及一个构造函数。假定这个示例的源程序被存为acme.cs文件,命令行为:
csc /t:library acme.cs
将这个示例编译为类库(不带Main入口点的代码),并且产生一个名为acme.dll的程序集。
程序集包括中间语言(Intermediate Language,IL)指令形式的可执行代码,以及元数据(metadata)形式的符号信息。在它执行之前,程序集的IL代码将被.NET公共语言运行库(CommonLanguage Runtime,CLR)自动转换成特定处理器的代码。
由于程序集是自描述的功能单元,它既包括代码,也包括元数据,因此,在C#中不需要#include指令和头文件。假如某个C#程序需要引用特定程序集中的公共类型和成员,那么只在编译时简单地引用那个程序集就可以了。例如,下面的程序使用来自acme.dll程序集中的Acme.Collections.Stack类:
using System;
using Acme.Collections;
class Test
{
static void Main(){
Stack s=new Stack();
s.Push(1);
s.Push(10);
s.Push(100);
Console.WriteLine(s.Pop());
Console.WriteLine(s.Pop());
Console.WriteLine(s.Pop());
}
}
如果程序被存为test.cs文件,那么,在test.cs被编译时,acme.dll可以通过/r选项被引用:
csc /r:acme.dll test.cs
这样可以创建一个名为test.exe的可执行程序集,运行结果如下:
100
10
1
C#允许一个程序的源文本被存为几个源文件。当多文件的C#程序被编译时,所有的源文件都被一起处理,并且各个源文件从概念上能够自由地相互引用,就如同处理之前,所有的源文件被连接成一个大文件。在C#中向前声明是没有必要的,原因就是声明的顺序无关紧要。C#不限制一个源文件只能声明一个公共类型,也不要求源文件名必须与该文件中的类型相匹配译注1。
……