C#里,派生类的方法里的匿名delegate调用基类的方法会产生无法验证的代码
看来阅读一个开发人员的blog是获取知识的一个捷径,特别是当那位开发人员负责的产品是你天天都用的基础设施之一,例如说……编译器。在阅读Eric Lippert的blog时,我无意中了解到了很多我以前所不熟悉的知识,例如说一些语言特性,一些编程思想之类;但更有趣的,我了解到了很多他所负责的产品中的诡异地方。===================================================
开篇花絮:
假如我们现在有一个枚举类型E,其中有一个枚举值的名字是x。
你或许知道这个表达式是对的:
0 | E.x
但是你或许不知道这个表达式(根据语言规范应该)是错的:
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中编译测试的话,会看到编译器完全没对上面提及的第二种情况作出警告:
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的在这点上的行为与前述一致。
在Unified C# 3.0 Specification的1.10 Enum中,规定了
<div class="quote_title">引用
页:
[1]