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

最新推荐文章于 2023-04-15 20:19:04 发布

rednaxelafx

最新推荐文章于 2023-04-15 20:19:04 发布

阅读量694

点赞数

CC 4.0 BY-SA版权

分类专栏： C# 文章标签： C# C C++ Microsoft Access

本文链接：https://blog.youkuaiyun.com/rednaxelafx/article/details/83293910

C# 专栏收录该内容

38 篇文章

订阅专栏

本文探讨了C#2.0中的一处语法二义性问题，并通过FGAB实例说明了如何根据ECMA-334 C#4th Edition标准解决这种二义性。文中还对比了不同版本的C#编译器对该语法的理解差异。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

[url=http://books.google.com/books/elsevier?id=g6axWRRpJZwC&dq=%22C%23+Annotated+Standard%22&pg=PR25&lpg=PR25&sig=ACfU3U0E9cxBb5UlqaFp2ikgMVaKB5KLlg&q=G%3CA#PPA78,M1]C# Annotated Standard[/url]的第78页上有一段关于C# 2.0的语法二义性的描述和解释。

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

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

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

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

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

的其中一个，那么[i]type-argument-list[/i]就属于[i]simple-name[/i]、[i]member-access[/i]、[i]pointer-member-access[/i]的一部分，其它可能的解析方式都无效。反之则[i]type-argument-list[/i]不属于前面的[i]simple-name[/i]、[i]member-access[/i]、[i]pointer-member-access[/i]的一部分，即使没有任何其它有效的解析方式。
（同一段规定在微软的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#编译器无法编译：
[quote="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;
    }
}

[/quote]
用微软的C# 2.0编译器来编译确实是无法通过：
[quote]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”不能与类型参数一起使用[/quote]

但那都是几年前的编译器了啊……用去年出的C# 3.0编译器就没问题：
[quote]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。保留所有权利。[/quote]

用最近发布的Mono 2.0.1也一样没问题。其中的mcs：
[quote]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)[/quote]
用gmcs：
[quote]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)[/quote]