C# 2.0 Specification(匿名方法)(二)
2024-07-21 02:20:08
供稿：网友
21.7委托实例相等性
如下规则适用由匿名方法委托实例的相等运算符(§7.9.8)和object.equals方法产生的结果。
l 当委托实例是由具有相同被捕获外部变量集合的语义相同的匿名方法表达式计算而产生时，可以说（但不是必须）它们相等。
l 当委托实例由具有语义不同的匿名方法表达式，或具有不同的被捕获外部变量集合时，它们决不相等。
21.8明确赋值
匿名方法参数的明确赋值状态与命名方法是相同的。也就是，引用参数和值参数被明确的赋初值，而输出参数不用赋初值。并且，输出参数在匿名方法正常返回之前必须被明确赋值(§5.1.6)。
当控制转换到匿名方法表达式的程序块时，对外部变量v的明确赋值状态，与在匿名方法表达式之前的v的明确赋值状态是相同的。也就是，外部变量的明确赋值将从匿名方法表达式上下文被继承。在匿名方法程序块内，明确赋值将和在普通程序块内一样而得到演绎(§5.3.3)。
在匿名方法表达式之后的变量v的明确赋值状态与在匿名方法表达式之前它的明确赋值状态相同。
例如
delegate bool filter(int i);
void f() {
int max;
// 错误，max没有明确赋值
filter f = delegate(int n) { return n < max; }
max = 5;
dowork(f);
}
将产生一个编译时错误，因为max没有在匿名方法声明的地方明确赋值。示例
delegate void d();
void f() {
int n;
d d = delegate { n = 1; };
d();
//错误，n没有明确赋值
console.writeline(n);
}
也将产生一个编译时错误，因为匿名方法内n的赋值，对于该匿名方法外部n的明确赋值状态没有效果。
21.9方法组转换
与在§21.3中描述的隐式匿名方法转换相似，也存在从方法组(§7.1)到兼容的委托类型的隐式转换。
对于给定的方法组e和委托类型d，如果允许new d(e)形式的委托创建表达式(§7.5.10.3 和 §20.9.6)，那么就存在从e到d的隐式转换，并且转换的结果恰好等价于new d(e)。
在以下示例中
using system;
using system.windows.forms;
class alertdialog
{
label message = new label();
button okbutton = new button();
button cancelbutton = new button();`
public alertdialog() {
okbutton.click += new eventhandler(okclick);
cancelbutton.click += new eventhandler(cancelclick);
...
}
void okclick(object sender, eventargs e) {
...
}
void cancelclick(object sender, eventargs e) {
...
}
}
构造函数用new创建了两个委托实例。隐式方法组转换允许将之简化为
public alertdialog() {
okbutton.click += okclick;
cancelbutton.click += cancelclick;
...
}
对于所有其他隐式和显式的转换，转换运算符可以用于显式地执行一个特定的转换。为此，示例
object obj = new eventhandler(mydialog.okclick);
可被代替写成如下的样子。
object obj = (eventhandler)mydialog.okclick;
方法组合匿名方法表达式可以影响重载决策（overload resolution）,但它们并不参与类型推断。请参见§20.6.4获取更详细的信息。
21.10实现例子
本节以标准c#的构件形式描述匿名方法的可能实现。在这里描述的实现基于microsoft c#编译器所采用的相同原则，但它决不是强制性的或唯一可能的实现。
本节的后面部分给出了几个示例代码，它包含了具有不同特性的匿名方法。对于每个例子，我们将提供使用唯一标准c#构件的代码的对应转换。在这些例子中，标识符d假定表示如下委托类型。
public delegate void d();
匿名方法的最简形式就是没有捕获外部变量的那个。
class test
{
static void f() {
d d = delegate { console.writeline("test"); };
}
}
这段代码可被转换到一个引用编译器生成的静态方法的委托实例，而匿名方法的代码将会放入到该静态方法中。、
class test
{
static void f() {
d d = new d(__method1);
}
static void __method1() {
console.writeline("test");
}
}
在下面的示例中，匿名方法引用this的实例成员。
class test
{
int x;
void f() {
d d = delegate { console.writeline(x); };
}
}
this可以被转换到由编译器生成的包含匿名方法代码的实例方法。
class test
{
int x;
void f() {
d d = new d(__method1);
}
void __method1() {
console.writeline(x);
}
}
在这个例子中，匿名方法捕获了一个局部变量。
class test
{
void f() {
int y = 123;
d d = delegate { console.writeline(y); };
}
}
该局部变量的生存期现在至少必须延长到匿名方法委托的生存期为止。这可以通过将局部变量“提升（lifting）”为编译器生成的（compiler-generated）类的字段来完成。局部变量的实例化对应于创建一个编译器生成的类的实例，而访问局部变量将对应于访问编译器生成的类实例的一个字段。并且，匿名方法将成为编译器生成类的实例方法。
class test
{
void f() {
__locals1 = new __locals1();
__locals1.y = 123;
d d = new d(__locals1.__method1);
}
class __locals1
{
public int y;
public void __method1() {
console.writeline(y);
}
}
}
最后，如下匿名方法将捕获this，以及具有不同生存期的两个局部变量。
class test
{
int x;
void f() {
int y = 123;
for (int i = 0; i < 10; i++) {
int z = i * 2;
d d = delegate { console.writeline(x + y + z); };
}
}
}
在这里，编译器将为每个语句块生成类，在这些语句块中局部变量将被捕获，而在不同块中的局部变量将会有独立的生存期。
__locals2的实例，编译器为内部语句块生成的类，包含局部变量z和引用__locals1实例的字段。__locals1的实例，编译器为外部语句块生成的类，包含局部变量y和引用封闭函数成员的this的字段。通过这些数据结构，你可以通过__locals2的一个实例到达所有被捕获的局部变量，并且匿名方法的代码可以作为那个类的实例方法而实现。
class test
{
void f() {
__locals1 = new __locals1();
__locals1.__this = this;
__locals1.y = 123;
for (int i = 0; i < 10; i++) {
__locals2 = new __locals2();
__locals2.__locals1 = __locals1;
__locals2.z = i * 2;
d d = new d(__locals2.__method1);
}
}
class __locals1
{
public test __this;
public int y;
}
class __locals2
{
public __locals1 __locals1;
public int z;
public void __method1() {
console.writeline(__locals1.__this.x + __locals1.y + z);
}
}
}
（匿名方法完）
