C#委托和事件本质

C#中委托和事件是很重要的组成部分，而掌握委托和事件的本质将必不可少。为了能探秘本质，写了如下代码

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            Water water = new Water();

            water.WaterBoils += water_WaterBoils;
            water.WaterBoils += water_WaterBoils2;

            water.DegreeRise();
            Console.ReadLine();
        }

        static void water_WaterBoils(object sender, WaterBoilsEventArgs args)
        {
            Console.WriteLine(string.Format("sender:{0}", sender.ToString()));
            Console.WriteLine(string.Format("args:{0}", args.CurentDegree.ToString()));
        }
        public static void water_WaterBoils2(object sender, WaterBoilsEventArgs args)
        {
            Console.WriteLine(string.Format("sender_2:{0}", sender.ToString()));
            Console.WriteLine(string.Format("args_2:{0}", args.CurentDegree.ToString()));
        }
    }

    public delegate void WaterBoilsEventHandler(object sender,WaterBoilsEventArgs args);

    public class WaterBoilsEventArgs : EventArgs
    {
        public int CurentDegree { get; set; }
    }

    public class Water
    {
        public event WaterBoilsEventHandler WaterBoils;
        public int curentDegree = ;

        public void DegreeRise()
        {
            for(var n = ;n<;n++)
            {
                Thread.Sleep();

                if(n>=)
                {
                    if(WaterBoils!=null)
                    {
                        WaterBoils(this,new WaterBoilsEventArgs(){CurentDegree = n});

                        //WaterBoils.Invoke(this, new WaterBoilsEventArgs() { CurentDegree = n });
                    }
                }
            }
        }
    }
}

介绍一下这段代码：定义了一个委托WaterBoilsEventHandler，一个类Water，Water的DegreeRise方法触发WaterBoils事件，一个事件参数WaterBoilsEventArgs ，一个Main方法.

既然是要看委托了事件的本质，所以借助反编译工具（Reflector）查看编译后的代码片段：

首先来看一下委托编译以后的代码:

.class public auto ansi sealed WaterBoilsEventHandler
    extends [mscorlib]System.MulticastDelegate
{
    .method public hidebysig specialname rtspecialname instance void .ctor(object 'object', native int 'method') runtime managed
    {
    }

    .method public hidebysig newslot virtual instance class [mscorlib]System.IAsyncResult BeginInvoke(object sender, 

class ConsoleApplication1.WaterBoilsEventArgs args, class [mscorlib]System.AsyncCallback callback, object 'object') runtime managed
    {
    }

    .method public hidebysig newslot virtual instance void EndInvoke(class [mscorlib]System.IAsyncResult result) runtime managed
    {
    }

    .method public hidebysig newslot virtual instance void Invoke(object sender, class ConsoleApplication1.WaterBoilsEventArgs args)

 runtime managed
    {
    }

}

从反编译IL代码中可以看出：

1.自定义委托的本质是一个类，具有Invoke，BeginInvoke，Endinvoke方法分别来支持同步和异步的执行，Invoke无返回值;BeginInvoke返回IAsyncResult,IAsyncResult可以作为EndInvoke的参数来结束执行。

2.自定义委托继承自MulticastDelegate，使自定义委托具有“组播”的能力，也就是可以绑定多个委托；（MulticastDelegate类又继承自Delegate）

下面来看看“组播”是怎么实现的：MulticastDelegate内有两个方法CombineImpl和RemoveImpl分别完成委托的绑定和解绑定；内部有一个对象（使用中会转换成object[]）_invocationList存储MulticastDelegate对象；还有其他的一些方法共同完成。

从上边可以看出，委托是可以绑定执行多个方法的，那为什么还要事件呢，我觉得这个问题可能从语言设计角度上讲，委托的设计出发点是规避犹如在C、C++等中的指针变量，委托具把这个地址进行了包装，反编译Delegate类，发现有如下成员

   _methodPtr:方法的指针，一个Delegate对象维护了一个方法的引用地址

在使用委托的是否发现有有悖的地方：《 C# 与 .Net 3.5 高级程序设计第四版》有如下解释：

“如果我们没有把委托成员变量定义为私有的，调用者就可以直接访问委托对象，这样调用者就可以把变量赋值为新的委托对象(实际上也就是删除了当前要调用的方法列表)，更糟糕的是，调用者可以直接调用委托的调用列表。”

这里就有一个比较严重的问题：1.比如两个对象去注册，A已经注册了一个方法，B去注册的时候把A注册的方法给删除了，并且B还可以操作到A注册的方法。这种不友好是不能忍受的。

C#提供了event关键字来为我们解决问题，使用过event的童鞋们都可能有印象，在声明事件以外的其他类中，如果调用事件，只能干两件事情：

　　1.绑定方法引用，

　　2.解绑方法引用。

这是对事件的限制。

顺着这条思路，看看C#中事件是怎么完成的。

首先看一看，Water类的反编译结果

.class public auto ansi beforefieldinit Water
    extends [mscorlib]System.Object
{
    .event ConsoleApplication1.WaterBoilsEventHandler WaterBoils
    {
        .addon instance void ConsoleApplication1.Water::add_WaterBoils(class ConsoleApplication1.WaterBoilsEventHandler)
        .removeon instance void ConsoleApplication1.Water::remove_WaterBoils(class ConsoleApplication1.WaterBoilsEventHandler)
    }

    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed
    {
    }

    .method public hidebysig instance void DegreeRise() cil managed
    {
    }

    .field public int32 curentDegree

    .field private class ConsoleApplication1.WaterBoilsEventHandler WaterBoils

}

add_WaterBoils方法的方法定义如下：

public void add_WaterBoils(WaterBoilsEventHandler value)
{
    WaterBoilsEventHandler handler2;
    WaterBoilsEventHandler waterBoils = this.WaterBoils;
    do
    {
        handler2 = waterBoils;
        WaterBoilsEventHandler handler3 = (WaterBoilsEventHandler) Delegate.Combine(handler2, value);
        waterBoils = Interlocked.CompareExchange<WaterBoilsEventHandler>(ref this.WaterBoils, handler3, handler2);
    }
    while (waterBoils != handler2);
}

remove_WaterBoils方法的方法定义如下

public void remove_WaterBoils(WaterBoilsEventHandler value)
{
    WaterBoilsEventHandler handler2;
    WaterBoilsEventHandler waterBoils = this.WaterBoils;
    do
    {
        handler2 = waterBoils;
        WaterBoilsEventHandler handler3 = (WaterBoilsEventHandler) Delegate.Remove(handler2, value);
        waterBoils = Interlocked.CompareExchange<WaterBoilsEventHandler>(ref this.WaterBoils, handler3, handler2);
    }
    while (waterBoils != handler2);
}

可以看出：

1.增加了两个方法：add_WaterBoils 和 remove_WaterBoils；

2.还增加了一个WaterBoilsEventHandler 类型的 私有变量 WaterBoils且与声明的事件对象名相同

这里容易产生一点迷惑：.event ConsoleApplication1.WaterBoilsEventHandler WaterBoils 有点像一个内部类的结构，且这个“类”具有两个方法。暂时把这个迷惑放下。

3.add_WaterBoils和remove_WaterBoils方法都是对私有字段WaterBoils的维护。

知道这些后，再开看看注册的时候是怎么调用的：

private static void Main(string[] args)
{
    Water water = new Water();
    water.WaterBoils += new WaterBoilsEventHandler(Program.water_WaterBoils);
    water.WaterBoils += new WaterBoilsEventHandler(Program.water_WaterBoils2);
    water.DegreeRise();
    Console.ReadLine();
}

这是使用的C#代码方式，看不出来什么结果，查看IL代码如下：

.method private hidebysig static void Main(string[] args) cil managed
{
    .entrypoint
    .maxstack
    .locals init (
        [] class ConsoleApplication1.Water water)
    L_0000: nop
    L_0001: newobj instance void ConsoleApplication1.Water::.ctor()
    L_0006: stloc.0
    L_0007: ldloc.0
    L_0008: ldnull
    L_0009: ldftn void ConsoleApplication1.Program::water_WaterBoils(object, class ConsoleApplication1.WaterBoilsEventArgs)
    L_000f: newobj instance void ConsoleApplication1.WaterBoilsEventHandler::.ctor(object, native int)
    L_0014: callvirt instance void ConsoleApplication1.Water::add_WaterBoils(class ConsoleApplication1.WaterBoilsEventHandler)
    L_0019: nop
    L_001a: ldloc.0
    L_001b: ldnull
    L_001c: ldftn void ConsoleApplication1.Program::water_WaterBoils2(object, class ConsoleApplication1.WaterBoilsEventArgs)
    L_0022: newobj instance void ConsoleApplication1.WaterBoilsEventHandler::.ctor(object, native int)
    L_0027: callvirt instance void ConsoleApplication1.Water::add_WaterBoils(class ConsoleApplication1.WaterBoilsEventHandler)
    L_002c: nop
    L_002d: ldloc.0
    L_002e: callvirt instance void ConsoleApplication1.Water::DegreeRise()
    L_0033: nop
    L_0034: call string [mscorlib]System.Console::ReadLine()
    L_0039: pop
    L_003a: ret
}

重点分析一下 L_0009 到 L_0014 的这三行代码：

L_0009 ：把water_WaterBoils方法的指针推送到计算堆栈上

L_000f  ：创建一个WaterBoilsEventHandler委托对象

L_0014 ：调用add_WaterBoils，并把结果推送到计算堆栈上

同时请注意：“ConsoleApplication1.Water::add_WaterBoils”这句代码,add_WaterBoils是ConsoleApplication1.Water类对象的方法，上边的迷惑，看着像一个“内部类”，实则没那关系。

这段代码让我们明白：事件的注册是调用编译生成的方法 add_WaterBoils 把 委托中带有的方法引用地址 维护到编译生成的私有属性 WaterBoils 中去了。

所以event就是语法糖，节省了编写代码的时间，并且事件的触发使用专门的事件来处理，显出语言本身的完整，真正的实现是编译器生成委托对象和其他处理代码实现的。

最近面试，遇到一个问题：“事件是不是一种委托？”

来看一下事件对象是什么

在快速监视器中查看：

可以看出，申明的事件对象（ water.WaterBoils） 是委托（WaterBoilsEventHandler）实例。

“ .event ConsoleApplication1.WaterBoilsEventHandler WaterBoils”中的 “.event”  则表示 “WaterBoils”具有特殊性，是事件。

我的理解：

　　C#中的事件就是一种语法糖，不是一些人认为的是对委托的封装，它是事件处理的一种指导性应用方式，event使其具有一定的约束性，带有“最小化影响”的设计原则（不允许影响他人的注册），它是依靠委托来实现的，但它不是一种委托，它是比委托更抽象的一种应用方式。

　　而事件对象本身就是委托实例（CLR可能在运行的时候会把事件对象与相同名称的私有field进行关联，比如调试的时候可以看出，事件对象的值就是该相同名称的私有field的值）。

欢迎大家谈谈自己的看法

希望与大家多多交流  QQ:373934650;群Q:227231436

如果有用请大伙儿帮忙推荐一下，谢谢！