前言
对于搞.net的朋友来说,经常会遇到关于事件和委托的问题:事件与委托有什么关系?事件的本质是什么?委托的本质又是什么?由于.net 做了大量的封装,对于初学者,这两个概念确实不怎么好理解。事件是用户与应用程序交互的基础,它是回调机制的一种应用。举个例子,当用户点击按钮时,我们希望弹出一句“您好”;这里的【点击】就是一个事件;那么回调就是我们注册一个方法,当用户点击时,程序自动执行这个方法去响应这个操作,而不是我们时刻去监听用户有没有点击。
上一篇已经介绍了委托的相关知识,它就是.net用来实现回调机制的技术,而事件又是回调机制的一种应用,在学习事件前,应该先学习好委托的知识。有了委托的基础,接下来就让我们一步步走进事件。
一、使用事件
假设场景:有一个邮件管理员(事件拥有者),它赋值接收邮件,当邮件到来时(事件),邮件可以交给传真员和打印员处理(事件订阅者)。很明显,邮件到来的时间只有邮件管理员知道,传真员和打印员也不可能时刻去询问有没有新邮件,而是应该由管理员主动来通知(回调),但他们也要先告诉管理员,新邮件到来时,我需要处理(订阅)。这里接收新邮件就是一个事件,邮件有一定的信息(事件附加信息),例如:发送人、接收人,内容。接下来我们通过这个过程来了解事件。
1. 定义事件所需要的附加信息
按照约定,所有的事件的附加信息都应该从EventArgs派生,因为我们希望一看就知道这是个事件附加信息参数,而不是其它的。EventArgs的定义如下:
public class EventArgs { public static readonly EventArgs Empty = new EventArgs(); public EventArgs() {} }
可以看到,该类有一个静态只读字段Empty,这是一个单例;与String.Empty一样,当我们需要一个空的EventArgs时,应该使用EventArgs.Empty,而不是重新去new一个。
我们定义一个NewMailEventArgs参数,如下:
class NewMailEventArgs : EventArgs { private string from; private string to; private string content; public string From { get { return from; } } public string To { get { return to; } } public string Content { get { return content; } } public NewMailEventArgs(string from,string to,string content) { this.from = from; this.to = to; this.content = content; } }
2. 定义事件
c#里定义事件用到了event关键字,而且事件一般都是公开类型的。我们定义一个NewMail事件如下:
public event EventHandler<NewMailEventArgs> NewMail;
我们说NewMail是一个事件,但.net并没有事件这种类型。实际上,这里它是一个EventHandler<TEventArgs>委托(委托又是引用类型),只不过用了event进行修饰,也可以说它是一种具有事件性质的委托。
我们知道委托是用来包装回调函数的,它的本质是一个class,回调函数的签名必须与委托的签名一致。一个事件可以有多个处理函数,一个函数就会被包装成一个委托对象,所有的委托对象都保存在NewMail的委托链当中。所以,触发NewMail事件,其实就是遍历其指向的委托对象的委托链,执行每个委托对象所包装的方法。(不清楚可以看委托)
EventHandler 是个泛型委托,他的定义如下:
public delegate void EventHandler<TEventArgs>(object sender, TEventArgs e);
这里有两个特点:1. 返回值是void,这是因为事件处理函数一般不需要有返回值,.net中大部分的事件处理函数都是没有返回值的。2. object类型的sender参数,这表示事件的拥有者;这也很符合逻辑,我们除了要拿到实际的附加信息外,还要知道事件是从哪里来的;至于为什么是object类型的,是因为这样可以给更多的类型使用。
3. 定义事件触发函数
//3.定义触发事件的方法 protected virtual void OnNewMail(NewMailEventArgs e) { /* 第1种做法 if(this.NewMail != null) { this.NewMail(this,e); } */ /* 第二种做法 EventHandler<NewMailEventArgs> temp = this.NewMail; if (temp != null) { temp(this, e); } */ //第三种做法 EventHandler<NewMailEventArgs> temp = Interlocked.CompareExchange(ref this.NewMail, null, null); if (temp != null) { temp(this, e); } }
第一种做法是很常见的做法,判断不为空,然后就触发。CLR里提到这是线程不安全的做法,因为单我们判断不为空后,准备执行时,另一个线程将从委托链将委托移除,此时变成了空,引发NullReferenceException异常。第二、三种做法都是线程安全的,因为它通过一个临时委托变量(委托链保存了所有委托),通过上一篇对委托链的了解,我们知道对委托链进行Combine/Remove实际都会创建一个新的数组对象,此时对temp没有影响。但实际上事件主要在单线程的环境下使用,所以一般也不会出现这种问题。
4. 包装好事件参数,调用事件触发函数。
public void ReceiveNewMail(string from, string to, string content) { NewMailEventArgs e = new NewMailEventArgs(from, to, content); OnNewMail(e); }
接下来,对该事件感兴趣的,就可以对该事件进行注册。
class Fax { public Fax(MailManager mm) { mm.NewMail += FaxMsg; } private void FaxMsg(object sender, NewMailEventArgs e) { Console.WriteLine(string.Format("fax receive,from:{0} to:{1} content is:{2}", e.From, e.To, e.Content)); } }
二、事件揭秘
前面我们已经提到事件的本质是委托,或者说是委托的一种应用。要深入理解事件,我们通过ILDasm.exe查到定义事件而生成的代码。
public event EventHandler<NewMailEventArgs> NewMail;
可以看到当我们定义一个NewEvent时,编译器帮我们生成了:1. 一个private NewMail 字段,类型为 EventHandler<NewMailEventArgs>。 2.一个 add_NewMail 方法,用于将委托添加到委托链(内部调用了Delegate.Combine方法)。3.一个 remove_NewMail 方法,用于将委托从委托链移除(内部调用了Delegate.Remove方法)。对事件的操作,就是是对NewMail字段的操作。
现在我们知道了,事件的本质就是委托,定义事件就是定义委托。只不过编译器隐藏了这个过程。那为什么不直接使用委托呢?
三、为什么不直接用委托
我们知道,事件的本质是委托,那用事件实现的地方,用委托也完成可以实现。上面的代码,我们完全可能这样写来达到相同的目的:
class MailManager { public EventHandler<EventArgs> NewMail; public void RaiseNewMail() { if (NewMail != null) { NewMail(this, EventArgs.Empty); } } }
外部调用:
class Fax { public Fax(MailManager mm) { mm.NewMail += FaxNewMail; } public void FaxNewMail(object sender, EventArgs e) { Console.WriteLine("Fax New Mail 处理成功"); } }
对于维护对象状态的字段我们往往不设计为公开类型,因为外部完全可以随意改变它,这不是我们想看到的。例如上面那样写,我们可以在外部直接就调用NewMail的Invoke方法。而且对于字段,我们无法控制具体的获取和设置过程,要控制就需要定义一个Get_ 方法,一个Set_方法,对于委托类型来说,就是Add_和Remove_。对于每个事件,都去定义Add_/Remove_是非常麻烦的。说到这里我们会马上连想到属性的设计,没错,属性是用Get_/Set_方法提供访问私有字段(非委托)的方法,事件就是用Add_/Remove_方法提供访问私有委托字段的方法。
四、显示实现事件
我们知道隐式实现属性时,编译器会为我们生成一个private的字段,例如:public string Name{get;set;} 会自动生成一个 _name字段。但是我们显示实现时,编译器就不会为生成了。例如下面的写法:
public string Name { get{return "Tom";} set{} }
对于事件来说显示实现就是:
private EventHandler<NewMailEventArgs> _newMail; public event EventHandler<NewMailEventArgs> NewMail { add { _newMail += value; } remove { _newMail -= value; } }
Control 的 EventHandlerList
对于 Control 来说,它定义了大量的事件(定义事件就是定义委托),而这些事件不一定都会用到,所以这会浪费大量的内存。所以 Control 里的事件都是显示实现的,并且将委托保存在一个EventHandlerList集合中,这是一个key-value的集合。这样需要处理哪些事件就只要添加相应的委托即可,看起来像是这样的:
class Control { private EventHandlerList events; protected EventHandlerList Events { get { if (this.events == null) { this.events = new EventHandlerList(); } return this.events; } } private static readonly object _clickEventObj = new object(); private static readonly object _mouseOverEventObj = new object(); public event EventHandler<EventArgs> Click { add { this.Events.AddHandler(_clickEventObj, value); } remove { this.Events.RemoveHandler(_clickEventObj, value); } } public event EventHandler<EventArgs> MouseOver { add { this.Events.AddHandler(_mouseOverEventObj, value); } remove { this.Events.RemoveHandler(_mouseOverEventObj, value); } } }
也就是我们针对每个事件定义一个 object 类型作为集合的key,虽然会定义许多object,但object的代价比委托的要小很多。
至此我们应该知道:委托的本质是引用类型,用于包装回调函数,委托用于实现回调机制;事件的本质是委托,事件是回调机制的一种应用。