C#函數式程序設計之作用域

在C#中，變量的作用域是嚴格確定的。其本質是所有代碼生存在類的方法中、所有變量只生存于聲明它們的模塊中或者之后的代碼中。變量的值是可變的，一個變量越是公開，帶來的問題就越嚴重。一般的原則是，變量的值最好保持不變，或者在最小的作用域內保存其值。一個純函數最好只使用在自己的模塊中定義的變量值，不訪問其作用域之外的任何變量。

遺憾的是，有時我們無法把變量的值限制于函數的范圍內。如果在程序的初始化時定義了幾個變量，在后面需要反復用到它們，怎么辦？一個可能的辦法是使用閉包。

C#函數式程序設計之閉包機制

為了理解閉包的本質，我們分析幾個使用閉包的例子：

此代碼的結果輸出是多少？答案是20  40  60，前面兩個值，大家應該很容易就能看出來，但第三個值為什么是60呢？先來看看程序的執行流程：Closures函數調用GetClosureFunc函數并進入其中。函數調用語句中帶了一個參數30。這是由于GetClosureFunc返回的是一個函數，即執行時再次調用了這個函數，進入GetClosureFunc函數中，首先val的值為10，通過internalAdd方法傳入一個值10，因此第一個輸出值為20，往下走，val的值變成30，通過internalAdd方法傳入值10，于是第二個輸出值為40。從這里我們大致可以看出，局部函數和局部變量如何在同一個作用域中起作用，顯然，對局部變量的改變會影響internalAdd的值，盡管變量的改變發生在internalAdd最初的創建之后。最后，GetClosureFunc返回了internalAdd方法，以參數30再次調用這個函數，于是，結果成為60。

初看起來，這并不真正符合邏輯。val應該是一個局部變量，它生存在棧中，當GetClosureFunc函數返回時，它就不在了，不是么？確實如此，這正是閉包的目的，當編譯器會明白無誤地警告這種情況會引起程序的崩潰時阻止變量值超出其作用域之外。

從技術角度來看，數據保存的位置很重要，編譯器創建一個匿名類，并在GetClosureFunc中創建這個類的實例――如果不需要閉包起作用，則那個匿名函數只會與GetClosureFunc生存在同一個類中，最后，局部變量val實際上不再是一個局部變量，而是匿名類中的一個字段。其結果是，internalAdd現在可以引用保存在匿名類實例中的函數。這個實例中也包含變量val的數據。只要保持internalAdd的引用，變量val的值就一直保存著。

下面這段代碼說明編譯器在這種情形下采用的模式：

回到動態創建函數思想：現在可以憑空創建新的函數，而且它的功能因參數而異。例如，下面這個函數把一個靜態值加到一個參數上：

這個原理正是許多函數構建技術的基礎，這種方法顯然與方法重載等面向對象方法相對應。但是與方法重載不同，匿名函數的創建可以在運行時動態發生，只需受另一個函數中的一行代碼觸發。為使某個算法更加容易讀和寫而使用的特殊函數可以在調用它的方法中創建，而不是再類級別上胡亂添加函數或方法――這正是函數模塊化的核心思想。

總結

閉包是程序設計語言支持函數式設計方法的一個重要工具。