在 C# 中使用 as 关键字与泛型类型发生冲突的编译时行为

当尝试对无法转换为的非泛型类型使用 C#“as”关键字时，编译器会给出无法转换类型的错误。

但是，当对泛型类型使用“as”关键字时，编译器不会给出错误：

public class Foo { }

public class Bar<T> { }

public class Usage<T> {
   public void Test() {
      EventArgs args = new EventArgs();
      var foo = args as Foo;     // Compiler Error: cannot convert type
      var bar = args as Bar<T>;  // No compiler error
   }
}

我在一个更大的代码库中发现了这种行为，其中缺少编译时错误导致了运行时出现问题。

这种冲突行为是故意设计的吗？如果是这样，有人知道为什么吗？

In §7.10.11 The as operatorC# 5.0 规范说：

在 E as T 形式的操作中，E 必须是表达式，T 必须是引用类型、已知为引用类型的类型参数或可为 null 的类型。此外，至少以下之一必须为真，否则会发生编译时错误：

• 标识 (§6.1.1)、隐式可为空 (§6.1.4)、隐式引用 (§6.1.6)、装箱 (§6.1.7)、显式可为空 (§6.2.3)、显式 引用（第 6.2.4 节）或拆箱（第 6.2.5 节）存在从 E 到 T。

• E型或T型为开放型。

• E 是空文字。

So args as Foo给出一个错误，因为这些都不是真的。但在第二种情况下，Bar<T>是一种开放类型，规范将开放类型解释为，§4.4.2 Open and closed types :

开放类型是一种涉及类型参数。进一步来说：

• 类型参数定义开放类型. [...]