使用as关键字对C#中的generics类型进行编译时行为冲突
尝试对无法转换的非generics类型使用C#“as”关键字时,编译器会提供无法转换类型的错误。
但是,当对generics类型使用“as”关键字时,编译器不会给出错误:
public class Foo { } public class Bar { } public class Usage { public void Test() { EventArgs args = new EventArgs(); var foo = args as Foo; // Compiler Error: cannot convert type var bar = args as Bar; // No compiler error } }
我在更大的代码库中发现了这种行为,其中缺少编译时错误导致运行时出现问题。
设计是否存在冲突行为? 如果是这样,有没有人知道为什么?
在§7.10.11 The as operator
C#5.0规范说:
在Eforms的操作中,E必须是表达式,T必须是引用类型,已知为引用类型的类型参数或可空类型。 此外,必须至少满足下列条件之一,否则会发生编译时错误:
标识(第6.1.1节),隐式可空(第6.1.4节),隐式引用(第6.1.6节),装箱(第6.1.7节),显式可空(第6.2.3节),显式引用(第6.2节)。 4),或从E到T的拆箱(§6.2.5)转换。
E或T的类型是开放型。
E是空文字。
因此args as Foo
给出了一个错误,因为这都不是真的。 但在第二种情况下, Bar
是一个开放类型,并且规范解释了开放类型, §4.4.2 Open and closed types
:
开放类型是涉及类型参数的类型 。 进一步来说:
- 类型参数定义开放类型 。 […]
“请注意,as运算符只执行引用转换,可空转换和装箱转换.as运算符不能执行其他转换,例如用户定义的转换,而应使用转换表达式执行转换。”