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

本文探讨了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]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值