从IL看委托

注：本文使用的例子是园子里JimmyZhang写的一个示例，根据需要略有更改，还请老张谅解 : )

文中用例出处：http://www.cnblogs.com/JimmyZhang/archive/2007/09/23/903360.html

 

委托，个人理解最大的好处在于2点，1，可以直接将方法作为参数进行传递，避免了大量的if-else的判断。2，可扩展性比较好，减少了扩展程序时改动的地方。

 

示例的C#源码如下： 

 

代码

1   using  System;
  2   using  System.Collections.Generic;
  3   using  System.Text;
  4  
  5   namespace  Delegate
  6  {
  7  
  8       public   delegate   void  GreetingDelegate( string  name);
  9  
10       class  Program
11      {
12           private   static   void  GreetPeople( string  name, GreetingDelegate MakeGreeting)
13          {
14              MakeGreeting(name);
15          }
16  
17           private   static   void  EnglishGreeting( string  name)
18          {
19              Console.WriteLine( " Morning,  "   +  name);
20          }
21  
22           private   static   void  ChineseGreeting( string  name)
23          {
24              Console.WriteLine( " 早上好,  "   +  name);
25          }
26  
27           static   void  Main( string [] args)
28          {
29              GreetingDelegate delegate1;
30  
31              delegate1  =   new  GreetingDelegate(EnglishGreeting); 
32              GreetPeople( " Leon weng " , delegate1); 
33  
34              delegate1 = new  GreetingDelegate(ChineseGreeting);   
35              GreetPeople( " 老翁 " , delegate1);
36               
37              Console.ReadKey();            
38          }
39      }
40  }

 

 

 如果不使用委托，我们在调用GreetPeople方法时必须给出要使用中文还是英文来打招呼，也许会用枚举什么的，而GreetPeople这个方法内部也需要对传递进来的值进行判断从而决定使用哪个方法完成这个打招呼动作。使用委托之后，我们可以直接将需要使用的方法同打招呼的对象（name）一起传进GreetPeople方法来完成这个操作。

这是一个很简单的示例，可我实在想知道这个过程在IL中是怎么实现的。于是，有了下面的IL代码：

看到IL后，Delegate实质上被声明成了一个公开类， （extends System.MulticastDelegate完成了什么动作呢）

我使用的是控制台程序集，那么Program到IL是什么样子呢，首先，包含了四个方法。ChineseGreeting,EnglishGreeting,GreetPeople,Main

注意，此时的GreetPeople方法的接收两个参数，string 和 class Delegate.GreetingDelegate，也就是说将真个类做为参数传递进去了。

ChineseGreeting,EnglishGreeting的IL代码都比较简单：

代码

.method   private   hidebysig  static  void   ChineseGreeting( string  name)  cil   managed
{
   //  代码大小       19 (0x13)
   .maxstack    8
   IL_0000:    nop
   IL_0001:    ldstr       bytearray (E9  65  0A 4E 7D  59  2C  00   20   00  )                    //  .e.N}Y,. .
   IL_0006:    ldarg.0
   IL_0007:    call         string  [mscorlib]System.String::Concat( string ,
                                                               string )
   IL_000c:    call         void  [mscorlib]System.Console::WriteLine( string )
   IL_0011:    nop
   IL_0012:    ret
}  //  end of method Program::ChineseGreeting

.method   private   hidebysig  static  void   EnglishGreeting( string  name)  cil   managed
{
   //  代码大小       19 (0x13)
   .maxstack    8
   IL_0000:    nop
   IL_0001:    ldstr        " Morning,  "
   IL_0006:    ldarg.0
   IL_0007:    call         string  [mscorlib]System.String::Concat( string ,
                                                               string )
   IL_000c:    call         void  [mscorlib]System.Console::WriteLine( string )
   IL_0011:    nop
   IL_0012:    ret
}  //  end of method Program::EnglishGreeting

  

我们将关注的是GreetPeople,Main两个方法的IL代码： 

代码

.method   private   hidebysig  static  void   GreetPeople( string  name,
                                                    class  Delegate.GreetingDelegate MakeGreeting)  cil   managed
{
   //  代码大小       10 (0xa)
   .maxstack    8
   IL_0000:    nop
   IL_0001:    ldarg.1
   IL_0002:    ldarg.0
   IL_0003:    callvirt     instance   void  Delegate.GreetingDelegate::Invoke( string )
   IL_0008:    nop
   IL_0009:    ret
}  //  end of method Program::GreetPeople

.method   private   hidebysig  static  void   Main( string [] args)  cil   managed
{
   .entrypoint
   //  代码大小       58 (0x3a)
   .maxstack    3
   .locals   init  ([ 0 ]  class  Delegate.GreetingDelegate delegate1)
   IL_0000:    nop
   IL_0001:    ldnull
   IL_0002:    ldftn        void  Delegate.Program::EnglishGreeting( string )
   IL_0008:    newobj       instance   void  Delegate.GreetingDelegate::.ctor( object ,
                                                                       native  int)
   IL_000d:    stloc.0
   IL_000e:    ldstr        " Leon weng "
   IL_0013:    ldloc.0
   IL_0014:    call         void  Delegate.Program::GreetPeople( string ,
                                                           class  Delegate.GreetingDelegate)
   IL_0019:    nop
   IL_001a:    ldnull
   IL_001b:    ldftn        void  Delegate.Program::ChineseGreeting( string )
   IL_0021:    newobj       instance   void  Delegate.GreetingDelegate::.ctor( object ,
                                                                       native  int)
   IL_0026:    stloc.0
   IL_0027:    ldstr       bytearray ( 01   80  C1 7F ) 
   IL_002c:    ldloc.0
   IL_002d:    call         void  Delegate.Program::GreetPeople( string ,
                                                           class  Delegate.GreetingDelegate)
   IL_0032:    nop
   IL_0033:    call        valuetype [mscorlib]System.ConsoleKeyInfo [mscorlib]System.Console::ReadKey()
   IL_0038:    pop
   IL_0039:    ret
}  //  end of method Program::Main

 

我们看到GreetPeople接收了名字和方法，其实就相当于一个连接器，将名字对应到了应该使用的方法并invoke.

 

未完，待续。