在發布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();
這使得你可以充分享用各種以有的內建的或者定義的類型的擴展特性,並且給它們加上新的方法。
對象和Collection初始化符
C# 3.0被希望來允許你包含一個初始化符,從而指定一個新創建的對象或者collection的初始值。這使得你能夠一步結合聲明和初始化。
舉例來說,你可以這樣定義CoOrdinate類: