延遲求值是 .NET的一個很重要的特性,在LISP語言,這個特性是依靠宏來完成的,在C,C++,可以通過函數指針來完成,而在.NET,它是靠委托來完成的。如果不明白什麼是延遲求值的同學,我們先看看下面的一段代碼:
static void TestDelayFunction() { TestDelayFunton1(true,trueFun3); } static void TestDelayFunton1(bool flag , Func<bool> fun ) { if(flag) fun(); }
在方法 TestDelayFunton1 中,函數型參數 fun 是否求值,取決於第一個參數 flag,如果它的值為false,那麼函數 fun 是永遠都不會被求值的,所以,這裡函數 fun的求值被推遲到了方法TestDelayFunton1 的內部,而不是在參數計算的時候。
延遲求值很有用,它可以避免我們無謂的計算,比如上面的例子,這樣可以節省計算成本,假如 fun的求值很耗時的話。
我們注意這一段代碼:
if(flag) fun();
其實它等價於一個邏輯表達式:
bool result= flag && fun();
在這個表達式中,fun() 函數是否求值,取決於變量 flag,這個功能叫做“短路”判斷,“條件短路”功能正好實現了我們的“延遲求值”的功能,因此,我們可以得到如下推論:
任何時候一個函數fun如果需要延遲求值,那麼都可以表示成 一個條件表達式:
(Test() && fun())
所以,前面的2個函數,本質上可以改寫成下面的一個函數:
static void TestDelayFunton2(bool flag) { bool result = flag && trueFun3(); }
它將 TestDelayFunton1(true,trueFun3); 的形式調用,轉換成了上面的一個函數調用。
當然,要讓這種調用變得可用,我們還需要解決一個問題,就是函數 fun()的類型並不是 bool類型,這個問題處理很簡單,將函數再包裝下即可:
bool WarpFunction() { fun(); return true; }
之後的調用將是這個樣子的:
(Test() && WarpFunction())
對於本例,它其實等價於:
(flag && trueFun3())
如果是“聰明”的編譯器,它是可以完成上面的轉換的,下面給出一個完整的代碼圖片,這樣你能夠看得更清楚:
上面被標記的部分的2個函數,等價於下面這一個函數,也就是說,TestDelayFunton1 的調用變換成了 TestDelayFunton2的調用。
如果你對上面的這個過程還是不太明白,那麼我們看看下面這個例子:
static bool trueFun1() { Console.WriteLine("call fun 1"); return true; } static bool falseFun2() { Console.WriteLine("call fun 2"); return false; } static bool trueFun3() { Console.WriteLine("call fun 3"); return true; }
執行下面的代碼,trueFun3都會被執行麼?
if (trueFun1() && falseFun2() && (trueFun3())) { } Console.WriteLine(); if (trueFun1() || falseFun2() || trueFun3()) { }
假如你非常理解C#的“條件短路”特性,相信答案很快就出來了。
閱讀完本文,你可能會問如此奇淫巧技,有何作用?
如果你深入研究.NET的委托,就會明白委托調用其實是將一個函數用對象進行包裝,.NET自動為你生成了很多代碼,性能上必然有所損耗,假如你在某些地方需要性能極致的代碼,那麼本文這個技巧一定可以幫助你,假如你還能夠寫出一個這種轉換的編譯器來,恭喜你,未來的大神就是你了!