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 del egate void D();
匿名方法的最简形式就是没有捕获外部变量的那个。
class Test
{
static void F() {
D d = del egate { 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);
}
}
}
（匿名方法完）