FGAB问题——C#的语法二义性

C# Annotated Standard的第78页上有一段关于C# 2.0的语法二义性的描述和解释。

其中提到一个所谓FGAB的例子：

引用

F(G<A, B>(7));

没有特殊规定的话，这个语句可以被解释为两种意思：
1、F是一个接受两个bool型参数的方法，而这里的两个实参分别是G<A和B>(7)；
2、F是一个接受一个参数的方法，参数类型与G的返回值类型匹配；G则是带有两个泛型参数的、接受一个形式参数的方法，这里泛型参数分别是A和B，实际参数是7。

为了解决这个二义性，ECMA-334 C# 4th Edition里有这样的规定：如果一串token可以被解析为以type-argument-list结束的simple-name、member-access、pointer-member-access，则紧接着结束的>的token会被检验。如果是：

( } ] : ; , . ? == !=

的其中一个，那么type-argument-list就属于simple-name、member-access、pointer-member-access的一部分，其它可能的解析方式都无效。反之则type-argument-list不属于前面的simple-name、member-access、pointer-member-access的一部分，即使没有任何其它有效的解析方式。
（同一段规定在微软的C# 3.0规范的7.5.4.2小节里也有。）
也就是说前面的

F(G<A, B>(7));

应该被解析为第二种解释，而：

F(G<A, B>7);

应该被解析为第一种解释。

C# Annotated Standard一书中对这个规定有详细的解释，为什么要选定这组token作为特殊规定的对象呢——通过合理的follow set来消除二义性。详细还是直接读书吧，这里就不说了。
不过书中给的一个相关例子很明显已经过时了。这里例子与规范里用的FGAB例子相似，说以下代码用微软.NET和Mono的C#编译器无法编译：

Peter Golde 写道

public class ShouldCompile {
    public static void Main( string[ ] args ) {
        int G = 1, A = 2, B = 2;
        int blah = F( G<A, B>>7 );
    }

    public static int F( bool b, int i ) {
        return 42;
    }
}

用微软的C# 2.0编译器来编译确实是无法通过：

引用

D:\experiment>C:\WINDOWS\Microsoft.NET\Framework\v2.0.50727\csc fgab.cs
Microsoft (R) Visual C# 2005 编译器 版本 8.00.50727.3053
用于 Microsoft (R) Windows (R) 2005 Framework 版本 2.0.50727
版权所有(C) Microsoft Corporation 2001-2005。保留所有权利。

fgab.cs(4,25): error CS0246: 找不到类型或命名空间名称“A”(是否缺少 using
        指令或程序集引用?)
fgab.cs(4,28): error CS0246: 找不到类型或命名空间名称“B”(是否缺少 using
        指令或程序集引用?)
fgab.cs(4,23): error CS0307: 变量“G”不能与类型参数一起使用

但那都是几年前的编译器了啊……用去年出的C# 3.0编译器就没问题：

引用

D:\experiment>C:\WINDOWS\Microsoft.NET\Framework\v3.5\csc fgab.cs
适用于 Microsoft(R) .NET Framework 3.5 版的 Microsoft(R) Visual C# 2008 编译器 3.5.30729.1版
版权所有(C) Microsoft Corporation。保留所有权利。

用最近发布的Mono 2.0.1也一样没问题。其中的mcs：

引用

D:\experiment>mcs fgab.cs
fgab.cs(4,13): warning CS0219: The variable `blah' is assigned but its value is never used
Compilation succeeded - 1 warning(s)

用gmcs：

引用

D:\experiment>gmcs fgab.cs
fgab.cs(4,13): warning CS0219: The variable `blah' is assigned but its value is never used
Compilation succeeded - 1 warning(s)