前言

委託在.Net裡面被受控程式碼封裝了之後，看起來似乎有些複雜。但是實際上委託即是函數指標，而多播委託，即是函數指標鏈。本篇來只涉及底層的邏輯，慎入。

概括

1.範例程式碼

public delegate void ABC(); //委託寫在類的外面
public class Test
{
  public ABC AAA;
  public void A() {  }
  public void B() {  }
}
static void Main(string[] args)
{
   Test test = new Test();
   test.AAA += new ABC(test.A);
   test.AAA += new ABC(test.B);
   test.AAA(); //test.AAA.Invoke();
}

以上的test.AAA+=的等號後面每放一個函數，就相當於多了一個函數指標。號稱：多播委託。

2.多播原理虛擬碼
以上委託可以簡化成以下虛擬碼，其它所有多播委託均可依次類推。

int i;// i表示多播委託的次數
if(i==1) //也就是隻test.AAA += new ABC(test.A);然後呼叫test.AAA()
{
   test.A() //只有一個多播，直接呼叫這一個函數
}
else // 如果大於一個多播委託，如範例兩個多播
{
   IntPtr FunPtr=test.A()+test.B(); //函數A和函數B形成了一個新的託管地址
   FunPtr();//在新形成的託管地址裡面分別呼叫函數A和函數B
}

3.記憶體模型
物件(object)的記憶體,大致是：

為了簡潔，實質非常龐大
header+MethodTable+field

委託根據物件來，以範例程式碼的test物件為例，test物件有一個filed也即是委託型別的變數AAA。AAA則是new ABC得來的。new ABC所範例化物件的filed是分別為函數A,B。那麼他們的記憶體模型如下所示:

test==header+Mehtodtalbe + AAA(test.AAA(1) or test.AAA(2)+test.AAA(1))
test.AAA(1)==new ABC(test.A):header+Methodtable+函數A(precode)
test.AAA(2)==new ABC(test.B):header+Methodtable+函數B(precode)

特例：當只有一個多播委託（多播虛擬碼裡的i==1），類似於以下這種情況：

如果：
static void Main(string[] args)
{
   Test test = new Test();
   test.AAA += new ABC(test.A);//只有一個多播
   test.AAA(); //test.AAA.Invoke();
}
那麼：
test==header+Mehtodtalbe + AAA(test.AAA(1))
test.AAA(1)==new ABC(test.A)(header+Methodtable+函數A(precode，offset:0x18))

記憶體：
0x000001DB38D552C0  00007ffa3b3654d8 000001db38d55858
這裡的0x000001DB38D552C0即test的MethodTable地址。
000001db38d55858即new ABC(test.A)的MethodTable地址

委託裡面只有一個方法test.A（多播虛擬碼裡的i==1），這種情況的話，JIT會直接尋找test.AAA(1)的MethodTable,加上偏移位0x18,也即是函數test.A的函數地址。然後執行。

注意了，因為物件test只有一個filed:AAA。超過一個以上的多播(多播虛擬碼裡的i!=1，也即else邏輯)，它的field是一直變化的，比如new ABC(test.A)的時候，它的filed是test.AAA(1)。而new ABC(test.B)的時候，它的field則是test.AAA(2)+test.AAA(1)組合成的託管函數，覆蓋掉前面的。如果有test.AAA(3),那麼後面繼續組合，繼續覆蓋test物件的field。

當它組合之後，形成一個新的地址，CLR會在這個地址的基礎上加上偏移量0x18（同上特例）進行託管函數程式碼呼叫。JIT Compile之後，在裡面分別呼叫函數test.A,test.B，完成委託的多播。
參照如下程式碼：

test.AAA(); //test.AAA.Invoke();
00007FFA3AFF7A27  mov         rcx,qword ptr [rbp+28h]
00007FFA3AFF7A2B  mov         rcx,qword ptr [rcx+8]
00007FFA3AFF7A2F  mov         rax,qword ptr [rbp+28h]
00007FFA3AFF7A33  call        qword ptr [rax+18h]
00007FFA3AFF7A36  nop

4.託管和非託管
依次呼叫順序，以下函數按照順序在多播委託中呼叫：
託管：

System.MulticastDelegate:CtorClosed //把物件test物件的field設定為abc
System.Delegate:Combine //組合成新的委託，也即函數指標鏈，如果只有一個多播，則即那一個函數指標
System.Runtime.CompilerServices.CastHelpers.ChkCastClass //進行型別轉換

非託管：

JIT_WriteBarrier //設定card_table，防止GC標記的時候漏掉

5.原理圖
多播委託原理如下圖所示：

單個委託實際上就是呼叫函數指標，而多個委託，則是通過多播委託組合單個委託形成一個新的託管函數，在這個託管函數裡面進行單個函數一一呼叫。

結尾

作者：江湖評談
關注公眾號:jianghupt。後臺回覆:dotnet7。獲取一套.Net7 CLR原始碼教學。

C#/.Net的多播委託到底是啥？徹底剖析下

前言

概括

結尾