C#语法歧义求助：三种表达式的语法判定差异解析

案例1：(A < B, C > D) 为何是双元素元组 #

当括号作为元组表达式的外层容器时，编译器会优先尝试将逗号解析为元组元素分隔符。这里<和>被识别为比较运算符，A < B、C > D都是合法的布尔比较表达式，且没有任何上下文提示需要把<B,C>解析为泛型参数列表（比如后面没有紧跟变量声明标识符）。因此编译器选择最合理的解析方式：将整个表达式拆分为两个独立的比较元素，组成双元素元组。

案例2：(A<B,C> D, E) 为何第一个元素是声明表达式 #

这个场景中，A<B,C>后面紧跟标识符D，完全符合C#中声明表达式的语法结构（泛型类型 变量名）。此时编译器会优先按照泛型类型的规则解析<B,C>为泛型类型参数列表，A<B,C> D构成一个完整的声明表达式（表示声明一个类型为A<B,C>的变量D），逗号则作为元组元素的分隔符，因此整个表达式是包含两个元素的元组。

案例3：M(A < B, C > D, E) 为何是三个参数 #

在方法调用的参数列表上下文中，编译器会优先将逗号解析为参数分隔符。首先A < B是合法的比较表达式，被解析为第一个参数；随后的逗号分隔出第二个参数C > D（同样是比较表达式）；最后一个逗号分隔出第三个参数E。这里不会将<B,C>解析为泛型参数列表——因为如果是泛型构造调用，语法上应该是A<B,C>()这类形式，当前上下文没有足够的线索支持泛型解析，因此编译器选择将逗号作为参数分隔，最终解析为三个参数的方法调用。

内容的提问来源于stack exchange，提问作者Logeshkumar S.