C#里，派生类的方法里的匿名delegate调用基类的方法会产生无法验证的代码

核心提示：看来阅读一个开发人员的blog是获取知识的一个捷径，特别是当那位开发人员负责的产品是你天天都用的基础设施之一，C#里，派生类的方法里的匿名delegate调用基类的方法会产生无法验证的代码，例如说……编译器，在阅读Eric Lippert的blog时，正好刚装上了.NET Framework

看来阅读一个开发人员的blog是获取知识的一个捷径，特别是当那位开发人员负责的产品是你天天都用的基础设施之一，例如说……编译器。在阅读Eric Lippert的blog时，我无意中了解到了很多我以前所不熟悉的知识，例如说一些语言特性，一些编程思想之类；但更有趣的，我了解到了很多他所负责的产品中的诡异地方。

开篇花絮：

假如我们现在有一个枚举类型E，其中有一个枚举值的名字是x。

你或许知道这个表达式是对的：

C#代码　　

0 | E.x

但是你或许不知道这个表达式（根据语言规范应该）是错的：

C#代码　　　

0 | 0 | E.x

对此感到好奇的请到原文查看详情：The Root Of All Evil, Part One

错误在于，C# 2.0的规范中说明“字面量0”可以被转化为任意枚举类型。是“字面量0”，而不是“编译时常量0”。

这这这...Aargh, it's driving me nuts! （模仿Eric的语气

如果你把下面的代码放到.NET Framework 3.5 Beta 2中编译测试的话，会看到编译器完全没对上面提及的第二种情况作出警告：

C#代码　　

enum E {
    x = 1
}

class Program {
    public static void Main(string[] args) {
        E e = 0 | 0 | E.x;
    }
}

编译器会抱怨局部变量e没有被使用过（也就潜在意味着这个变量没有作用，是多余的），但并没对这里我们关心的问题给出警告。正好刚装上了.NET Framework 3.5的RTM，测试结果仍然一样。Mono 1.2.5.1的在这点上的行为与前述一致。