深入解析C#编程中的事件

　　一个事件是一个使对象或类可以提供公告的成员。用户可以通过提供事件句柄来为事件添加可执行代码。事件使用事件声明来声明：

　　一个事件声明既可以是一个事件域声明也可以是事件属性声明。在每种情况中，声明都可以由属性集合， new 修饰符， 四个访问修饰符的有效组合 和一个静态修饰符组成。

　　一个事件声明的类型必须是一个代表类型， 而那个代表类型必须至少同事件本身一样可访问。

　　一个事件域声明与一个声明了一个或多个代表类型域的域声明相应。在一个事件域声明中不允许有readonly 修饰符。

　　一个事件属性声明与声明了一个代表类型属性的属性声明相应。除了同时包含get访问符和set访问符的事件属性声明，成员名称和访问符声明对于那些属性声明来说都是相同的，并且不允许包含virtual、 override和abstract 修饰符。

　　在包含一个事件成员声明的类或结构的程序文字中，事件成员与代表类型的私有域或属性相关，而这个成员可以用于任何允许使用域或属性的上下文中。

　　如果一个类或结构的程序文字外面包含一个事件成员声明，这个事件成员就只能被作为+= 和 -= 操作符 (§的右手操作数使用。这些操作符被用来为事件成员附加或去掉事件句柄，而这个事件成员的访问操作符控制操作在其中被执行的上下文。

　　由于+= 和 -= 是唯一可以在声明了事件成员的类型外的事件上使用的操作，外部代码可以为一个事件添加或去掉句柄，但是不能通过任何其他途径获得或修改基本事件域或事件属性的数值。

　　在例子中

public delegate void eventhandler(object sender, event e);
public class button: control
{
　public event eventhandler click;
　protected void onclick(event e) {
　　if (click != null) click(this, e);
　}
　public void reset() {
　　click = null;
　}
}

　　对使用button类中的click事件域没有限制。作为演示的例子，这个域可以在代表调用表达式中被检验、修改和使用。类button中的onclick方法"引起"click事件。引起一个事件的概念与调用由事件成员表示的代表正好相同－因此，对于引起事件没有特殊的语言构造。注意代表的调用是通过检查保证代表是非空后才进行的。

　　在类button的声明外面，成员click只能被用在+= 和 -= 操作符右手边，如下

b.click += new eventhandler(...);

　　它把一个代表附加到事件click的调用列表中，并且

b.click -= new eventhandler(...);

　　它把一个代表从click事件的调用列表中删除。

　　在一个形式为x += y 或 x -= y的操作中，当x是一个事件成员而引用在包含x的声明的类型外面发生时，操作的结果就是void（在赋值后与x的数值相反）。这个规则禁止外部代码直接检查事件成员的基本代表。
下面的例子介绍了事件句柄如何附加到上面的类button的实例中：

public class logindialog: form
{
　button okbutton;
　button cancelbutton;
　public logindialog() {
　　okbutton = new button(...);
　　okbutton.click += new eventhandler(okbuttonclick);
　　cancelbutton = new button(...);
　　cancelbutton.click += new eventhandler(cancelbuttonclick);
　}
　void okbuttonclick(object sender, event e) {
　　// handle okbutton.click event
　}
　void cancelbuttonclick(object sender, event e) {
　　// handle cancelbutton.click event
　}
}

　　这里，构造函数logindialog创建了两个button实例，并且把事件句柄附加到事件click中。

　　事件成员是典型域，就像上面的button例子中所示。在每个事件消耗一个域存储的情况是不可接受的，一个类可以声明事件属性来替代事件域，并且使用私有机制来存储基本的代表。（设想在某种情况下，大多数事件都是未处理的，每个事件使用一个域就不能被接受。使用属性而不是域的能力允许开发人员在空间和时间上面取得一个折中方案。）

　　在例子中

class control: component
{
　// unique keys for events
　static readonly object mousedowneventkey = new object();
　static readonly object mouseupeventkey = new object();
　// return event handler associated with key
　protected delegate geteventhandler(object key) {...}
　// set event handler associated with key
　protected void seteventhandler(object key, delegate handler) {...}
　// mousedown event property
　public event mouseeventhandler mousedown {
　　get {
　　　return (mouseeventhandler)geteventhandler(mousedowneventkey);
　　}
　　set {
　　　seteventhandler(mousedowneventkey, value);
　　}
　}
　// mouseup event property
　public event mouseeventhandler mouseup {
　　get {
　　　return (mouseeventhandler)geteventhandler(mouseupeventkey);
　　}
　　set {
　　　seteventhandler(mouseupeventkey, value);
　　}
}
}

　　类control为事件提供了一种内部存储机制。方法seteventhandler用一个key来与代表数值相关，而方法geteventhandler返回与key相关的当前代表。大概基本的存储机制是按照把空代表类型与key相关不会有消耗而设计的，因此无句柄的事件不占用存储空间。

　实例变量初始化函数

　　当一个构造函数没有构造初始化函数或一个形式为base(...)的构造函数初始化函数，构造函数就就隐含的执行被类中声明的实例域的变量初始化函数指定的初始化。这与赋值序列相关，这些赋值在直接基类构造函数的隐式调用前，在构造函数的入口被直接执行。变量初始化函数按照它们在类声明中出现的文字顺序执行。

　　构造函数执行

　　可以把一个实例变量初始化函数和一个构造函数初始化函数，看作是自动插在构造函数主体中的第一条语句前。例子

using system.collections;
class a
{
　int x = 1, y = -1, count;
　public a() {
　　count = 0;
　}
　public a(int n) {
　　count = n;
　}
}
class b: a
{
　double sqrt2 = math.sqrt(2.0);
　arraylist items = new arraylist(100);
　int max;
　public b(): this(100) {
　　items.add("default");
　}
　public b(int n): base(n - 1) {
　　max = n;
　}
}

　　包含了许多变量初始化函数，并且也包含了每个形式（base和this）的构造函数初始化函数。这个例子与下面介绍的例子相关，在那里，每条注释指明了一个自动插入的语句（自动插入构造函数调用所使用的语法不是有效的，至少用来演示这个机制）。

using system.collections;
class a
{
　int x, y, count;
　public a() {
　　x = 1; // variable initializer
　　y = -1; // variable initializer
　　object(); // invoke object() constructor
　　count = 0;
　}
　public a(int n) {
　　x = 1; // variable initializer
　　y = -1; // variable initializer
　　object(); // invoke object() constructor
　　count = n;
　}
}
class b: a
{
　double sqrt2;
　arraylist items;
　int max;
　public b(): this(100) {
　　b(100); // invoke b(int) constructor
　　items.add("default");
　}
　public b(int n): base(n - 1) {
　　sqrt2 = math.sqrt(2.0); // variable initializer
　　items = new arraylist(100); // variable initializer
　　a(n - 1); // invoke a(int) constructor
　　max = n;
　}
}
 

　　注意变量初始化函数被转换为赋值语句，并且那个赋值语句在对基类构造函数调用前执行。这个顺序确保了所有实例域在任何访问实例的语句执行前，被它们的变量初始化函数初始化。例如：

class a
{
　public a() {
　　printfields();
　}
　public virtual void printfields() {}
}
class b: a
{
　int x = 1;
　int y;
　public b() {
　　y = -1;
　}
　public override void printfields() {
　　console.writeline("x = {0}, y = {1}", x, y);
　}
}
 

　　当new b() 被用来创建b的实例时，产生下面的输出：

x = 1, y = 0

　　因为变量初始化函数在基类构造函数被调用前执行，所以x的数值是1。可是，y的数值是0（int的默认数值），这是因为对y的赋值直到基类构造函数返回才被执行。

　　默认构造函数

　　如果一个类不包含任何构造函数声明，就会自动提供一个默认的构造函数。默认的构造函数通常是下面的形式

public c(): base() {}

　　这里c是类的名称。默认构造函数完全调用直接基类的无参数构造函数。如果直接基类中没有可访问的无参数构造函数，就会发生错误。在例子中

class message
{
　object sender;
　string text;
}

　　因为类不包含构造函数声明，所以提供了一个默认构造函数。因此，这个例子正好等同于

class message
{
　object sender;
　string text;
　public message(): base() {}
}
　　私有构造函数

　　当一个类只声明了私有的构造函数时，其他类就不能从这个类派生或创建类的实例。私有构造函数通常用在只包含静态成员的类中。例如：

public class trig
{
private trig() {} // prevent instantiation
public const double pi = 3.14159265358979323846;
public static double sin(double x) {...}
public static double cos(double x) {...}
public static double tan(double x) {...}
}

　　trig 类提供了一组相关的方法和常数，但没有被例示。因此，它声明了一个单独的私有构造函数。注意至少要必须声明一个私有构造函数来避免自动生成默认的构造函数（它通常有公共的访问性）。

　　可选的构造函数参数

　　构造函数的this(...) 形式通常用于与实现可选的构造函数参数的关联上。在这个例子中

class text
{
　public text(): this(0, 0, null) {}
　public text(int x, int y): this(x, y, null) {}
　public text(int x, int y, string s) {
　　// actual constructor implementation
　}
}

　　前两个构造函数只是为丢失的参数提供了默认的数值。两个都使用了一个this(...)构造函数的初始化函数来调用第三个构造函数，它实际上做了对新实例进行初始化的工作。效果是那些可选的构造函数参数：

text t1 = new text(); // same as text(0, 0, null)
text t2 = new text(5, 10); // same as text(5, 10, null)
text t3 = new text(5, 20, "hello");

　　析构函数

　　析构函数是一个实现破坏一个类的实例的行为的成员。析构函数使用析构函数声明来声明：

　　一个析构函数声明的标识符必须为声明析构函数的类命名，如果指定了任何其他名称，就会发生一个错误。

init b
init a
a.f
b.f