老啄木鳥的窩

當 我們談到 delegate 和 lambda、Func、Action 這幾個字眼時，腦中觀念上總是有些模糊不清，就像是遠方有一片烏雲，雖然遙遠，卻擔心有一天會飄過來。我認為基本觀念很重要，像是delegate/Ｄelegate大小寫代表不同意思，全小寫的delegate是C#關鍵字，Delegate/MulticastDelegate是函式庫類別，Func和Action是BCL預先定義方法簽章的17組委派類型，這34組方法簽章都是泛型函式。另外，官方有些文件存在著一些描述上令人困惑的文字，甚至我聽到有「Func和Action就是繼承自Ｄelegate類別的衍生類別」的奇怪說法在流傳著，基於存在著這些奇點現象，若我們真的想要知道上述觀念是否正確時，最好的方法是直接看原始碼才能見分曉。 本文試著透過官方.NET基礎類別函式庫(BCL)的原始程式碼(Source Code)一窺堂奧，解釋編譯器怎麼編譯一個delegate語法或者怎麼實作，並提出個人見解以饗諸公。 探索System.Func、System.Action、System.Delegate原始碼 二話不說先給兩個官方Source Code網址： System.Func/System.Action： https://referencesource.microsoft.com/#mscorlib/system/action.cs  System.Delegate： https://referencesource.microsoft.com/#mscorlib/system/delegate.cs,0dd8585ba1833ad7 坦白說我看不到10秒就看出「 貓膩 」了， 本文寫下心得，也可以說是依據個人有限知識＋腦補的結果，但目的是期望能拋磚引玉，看到更多討論C#語法的觀念文，去幫助新手建立正確的程式根基。 先離題一下，談談這篇文章的濫觴， 隨著科技進步，現在的程式設計師跟以前寫程式的人的相比，有著很大的不同。 早期的程式設計師撰寫低階或中階語言，仰賴自身對計算機各種運算單元和IO知識，也要對資料結構的演算方法有足夠的學習，程式實體只有程式人員寫的語法和電腦機器碼兩種。 現代的程式設計師進行程式寫作是否能有高品質的程式碼產出，端依賴對該語言的關鍵字和類別

語言整合查詢 LINQ（Language Integrated Query） 世界最高的山叫聖母峰(珠穆朗瑪峰)，而讓主脈看起來偉大神聖的，就是環繞的支線山脈稜線風光，群山烘托出一幅一幅壯絕的美景。.NET的LINQ就像聖母峰主山脈一樣，匯集各項技術才完成整個技術的淬鍊，成就偉業。(此時腦中浮現美隊大喊：Avengers! assemble...) 就在Python、C++、C#、PHP以及Javascript這些語言都支援Lambda語法的當今，還不會寫Lambda的程式人員請考慮移民火星，因為地球越來越危險了。 然後我們不免好奇一件事，究竟Lambda( 發音 )的由來和原理是甚麼，我們只知道使用Lambda可以少寫很多代碼，它可以用來寫匿名函式給Delegate委派、寫Linq必用、能把函式當參數傳、可以inline寫一長串程式碼超爽der...等等神奇又便利的特性，生在現代的程式設計師是不是太幸福了呢? ...     但也許我們就像瞎子摸象故事中那些盲(忙)人一樣，天天盲(忙)著工作，成本和速度儼然主宰了一切，漸漸對技術駕馭無能為力，直到彼此都在用荒謬溝通。 網路上大多是介紹Lambda語法的文章，完整精闢的觀念文缺乏，發現越來越多彼此對Lambda有一些認知上的差距；隨著.NET 的版本不斷演進，C#這個語言已進入一個全新的里程碑，而時下最夯的程式技術詞彙：Lambda 則是引爆一切的原點，究竟Lambda成就了C#，還是LINQ成就了這一切，卻把光環都給了Lambda，就讓我試著來整理這些資料，幫大家系統性的做一個介紹。 從Lambda起源說起 Lambda原本是一套數學邏輯表達式 ： λ演算， 我們先來看維基上的介紹： 「λ演算（英語：lambda calculus，λ-calculus）是一套從數學邏輯中發展，以變數綁定和替換的規則，來研究 函式 如何抽象化定義、函式如何被應用以及 遞迴 的 形式系統 。它由數學家 阿隆佐·邱奇 在20世紀30年代首次發表。lambda演算作為一種廣泛用途的計算模型，可以清晰地定義什麼是一個可計算函式，而任何可計算函式都能以這種形式表達和求值，它能類比單一磁帶 圖靈機 的計算過程；儘管如此，lambda演算強調的是變換規則的運用，而非實現它們的具體機器。 「lamb