通過IL分析C#中的委託、事件、Func、Action、Predicate之間的區別與聯絡

尋找"四葉草"發表於2016-04-06

一直以來都是對於事件與委託比較混淆,而且不太會用。找了個時間,總結了一下,感覺清晰了很多。

先說一下個人理解的結論吧:

  • delegate是C#中的一種型別,它實際上是一個能夠持有對某個方法的引用的類。
  • delegate宣告的變數與delegate宣告的事件,並沒有本質的區別,事件是在delegate宣告變數的基礎上包裝而成的,類似於變數與屬性的關係(在IL程式碼中可以看到每一個delegate宣告的事件都對應是私有的delegate宣告的變數),提升了安全性。
  • Action 與Func:這兩個其實說白了就是系統定義好的Delegate,他有很多過載的方法,便於各種應用情況下的呼叫。他在系統的System名稱空間下,因此全域性可見。

首先了解一下, ILDasm中圖示含義:

該圖來自:http://www.cnblogs.com/zery/p/3366175.html

委託建立步驟:

1、用delegate關鍵字建立一個委託,包括宣告返回值和引數型別
2、使用的地方接收這個委託
3、建立這個委託的例項並指定一個返回值和引數型別匹配的方法傳遞過去

一、事件與委託

新建一個事件委託測試專案:EventDelegateTest

具體程式碼如下:

編譯程式碼後,使用 Visual Studio 2010自帶的ILDASM.EXE:

開啟該dll,可以看到如下資訊:

從上圖可以看出如下幾點資訊:
1、委託 public delegate int delegateAction();

在IL中是以類(delegateAction)的形式存在的

.NET將委託定義為一個密封類,派生自基類System.MulticastDelegate,並繼承了基類的三個方法

2、public event delegateAction OnActionEvent;
在IL中不僅僅對應event OnActionEvent而且還對應一個field OnActionEvent;
而field OnActionEvent與 public delegateAction daNew生成的field daNew是一樣的

 

都是以欄位(field )的形式存在的。
雙擊event OnActionEvent可以看到如下資訊:

在IL中事件被封裝成了包含一個add_字首和一個remove_字首的的程式碼段。

其中,add_字首的方法其實是通過呼叫Delegate.Combine()方法來實現的,組成了一個多播委託;remove_就是呼叫Delegate.Remove()方法,用於移除多播委託中的某個委託。

也就是說:事件其實就是一個特殊的多播委託。

那麼對於事件進行這一次封裝有什麼好處呢?

1、因為delegate可以支援的操作非常多,比如我們可以寫onXXXChanged += aaaFunc,把某個函式指標掛載到這個委託上面,但是我們也可以簡單粗暴地直接寫onXXXChanged = aaaFunc,讓這個委託只包含這一個函式指標。不過這樣一來會產生一個安全問題:如果我們用onXXXChanged = aaaFunc這樣的寫法,那麼會把這個委託已擁有的其他函式指標給覆蓋掉,這大概不是定義onXXXChanged的程式設計師想要看到的結果。

小注:
雖然事件不能直接=某個函式,也不可以直接=null

2、還有一個問題就是onXXXChanged這個委託應該什麼時候觸發(即呼叫它所包含的函式指標)。從物件導向的角度來說,XXX改變了這個事實(即onXXXChaned的字面含義)應該由包含它的那個物件來決定。但實際上我們可以從這個物件的外部環境呼叫onXXXChanged,這既產生了安全問題也不符合物件導向的初衷。

說到這裡對於事件與委託的管理算是說明白了,那麼平時常用的Action與Func,與委託又有什麼關係呢?

二、Action 與Func

Action 委託:封裝一個方法,該方法具有引數(0到16個引數)並且不返回值。
具體形式如下:https://msdn.microsoft.com/zh-cn/library/system.action(v=vs.110).aspx

Func<T, TResult> 委託:封裝一個具有引數(0到16個引數)並返回 TResult 引數指定的型別值的方法。
具體形式如下:https://msdn.microsoft.com/zh-cn/library/bb534960(v=vs.110).aspx

那麼這Action與Func是怎麼實現的呢?
1、Action(以Action<T1, T2> 委託:封裝一個方法,該方法具有兩個引數並且不返回值為例)

從微軟公佈的原始碼中,可以看到,如下實現:

上面這個宣告就是:該方法具有兩個引數並且不返回值的委託。

其餘使用方式與委託變數一樣。
2、Func(以Func<T1, T2, TResult> 委託:封裝一個具有兩個引數並返回 TResult 引數指定的型別值的方法為例)
從微軟公佈的原始碼中,可以看到,如下實現:

此處,可以看出Func與Action是類似的,唯一的區別就是,Func必須指定返回值的型別,使用方式與委託我們們自己使用委託變數是一樣的,直接使用相應引數的Func或者Action宣告變數,=或者+=掛載函式(方法即可)
這兩個其實說白了就是系統定義好的Delegate,他有很多過載的方法,便於各種應用情況下的呼叫。他在系統的System名稱空間下,因此全域性可見。

三、Predicate
 
是返回bool型的泛型委託,Predicate有且只有一個引數,返回值固定為bool。表示定義一組條件並確定指定物件是否符合這些條件的方法。此方法常在集合(Array 和 List<T>)的查詢中被用到,如:陣列,正則拼配的結果集中被用到。
官方文件:點選開啟連結

具體用法demo如下:

上例中說明了Predicate的使用,FindAll方法中,引數2即是一個Predicate,在具體的執行中,每一個陣列的元素都會執行指定的方法,如果滿足要求返回true,並會被存放在結果集中,不符合的則被剔除,最終返回的集合,即是結果判斷後想要的集合。

Array.FindAll 泛型方法:點選開啟連結

以上程式碼執行結果為:

那麼Predicate<T>與委託又有什麼關係呢?

從微軟原始碼中可以看出Predicate<T>是返回bool型的泛型委託,從本質上來說與Func、Action、事件、委託變數並無本質區別。

參考文章:


相關文章