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