首页 > 代码库 > C#委托和事件本质
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 = 0; public void DegreeRise() { for(var n = 99;n<200;n++) { Thread.Sleep(1000); if(n>=100) { 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 3 .locals init ( [0] 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使其具有一定的约束性,带有“最小化影响”的设计原则(不允许影响他人的注册),它是依靠委托来实现的,但它不是一种委托,它是比委托更抽象的一种应用方式。
而事件对象本身就是委托实例。
欢迎大家谈谈自己的看法
希望与大家多多交流 QQ:373934650;群Q:227231436
如果有用请大伙儿帮忙推荐一下,谢谢!