Linq lambda表達(dá)式經(jīng)驗(yàn)總結(jié)
Linq有很多值得學(xué)習(xí)的地方，這里我們主要介紹Linq lambda表達(dá)式，包括介紹Expression tree等方面。
Linq lambda表達(dá)式
了解過C# 3.0的新特性的話應(yīng)該知道，在C# 3.0中新引入了一個(gè)語法結(jié)構(gòu)，稱為lambda expression（Linq lambda表達(dá)式/匿名函數(shù)）。對(duì)此尚不了解的也可以到MSDN上看看，Linq lambda表達(dá)式。Linq lambda表達(dá)式既可以賦值給一個(gè)委托（delegate）類型，例如Action、Func等系列的內(nèi)建委托類型；也可以賦值給Expression<TDelegate>類型，例如以下Linq lambda表達(dá)式：
- x => -x
當(dāng)它被直接賦值給Func<int, int>類型的變量時(shí)，C#編譯器會(huì)將它的內(nèi)容編譯為一個(gè)靜態(tài)方法，并創(chuàng)建一個(gè)對(duì)應(yīng)類型的引用賦值給變量。
- static class Program {
- static void Main( string[ ] args ) {
- Func<int, int> negateFunc = x => -x;
- }
- }
C#編譯器會(huì)編譯為類似下面的代碼：
- internal static class Program
- [CompilerGenerated]
- private static int <Main>b__0( int x ) {
- return -x;
- }
- private static void Main( string[ ] args ) {
- Func<int, int> negateFunc = new Func<int, int>( <Main>b__0 );
- }
- }
（實(shí)際上還涉及到緩存那個(gè)委托，這里省略掉了。另外，之所以會(huì)編譯為一個(gè)靜態(tài)方法是因?yàn)檫@個(gè)Linq lambda表達(dá)式?jīng)]有使用任何“自由變量”，也就是既不是參數(shù)或局部變量也不是類的成員的變量。在現(xiàn)有的C#編譯器實(shí)現(xiàn)中，如果一個(gè)匿名函數(shù)使用了“this”，那么對(duì)應(yīng)生成的方法會(huì)是成員方法；如果使用了其它自由變量的話則會(huì)生成一個(gè)私有內(nèi)部類來存放匿名函數(shù)所使用到的自由變量，并在這個(gè)內(nèi)部類里生成匿名函數(shù)對(duì)應(yīng)的方法。這里作為例子選擇了最簡單的情況來介紹。）
如此將一個(gè)Linq lambda表達(dá)式編譯為一個(gè)實(shí)際的函數(shù)后，其中的MSIL字節(jié)碼可以為CLR所理解并執(zhí)行。這樣就足夠?qū)崿F(xiàn)in-memory query了，例如LINQ-to-Objects、LINQ-to-DataSet等。但其它平臺(tái)無法理解MSIL，要對(duì)函數(shù)進(jìn)行分析然后執(zhí)行就會(huì)十分困難。例如說，如果想讓一個(gè)Linq lambda表達(dá)式在SQL Server上執(zhí)行，該如何讓SQL Server也理解它呢？
Expression tree與Linq lambda表達(dá)式
MSIL之所以不便于分析是因?yàn)樗鼘⒃臼菢錉罱Y(jié)構(gòu)的程序代碼轉(zhuǎn)換為了線性結(jié)構(gòu)，損失了一些信息，主要是損失了程序代碼的“結(jié)構(gòu)性”，更接近于底層而降低了抽象程度。
我們知道，程序源代碼對(duì)應(yīng)著具體語法樹（concrete syntax tree），每個(gè)葉節(jié)點(diǎn)對(duì)應(yīng)著代碼里的一個(gè)詞素，其上則是各種語法結(jié)構(gòu)，如表達(dá)式、語句、聲明、定義等。抽象語法樹（abstract syntax tree，AST）則在具體語法樹的基礎(chǔ)上將一些諸如關(guān)鍵字、括號(hào)等冗余信息去掉，讓樹更加整潔，便于分析而不損失任何有用的信息。
【編輯推薦】
