递归下降解析器如何区分泛型参数与比较运算符？

这确实是递归下降解析器处理C风格语言时的经典歧义场景，我来给你拆解下工业界常用的几种解决思路：

单独看<这个符号本身确实没有歧义，但结合它前面的标识符的类型，就能明确到底是泛型参数还是比较运算符——这一步通常需要依赖**符号表（Symbol Table）**的辅助。

1. 优先基于符号表做判断（最常用的方案） #

当解析器遇到标识符<的结构时，第一时间查符号表：

• 如果这个标识符是已声明的泛型函数/泛型类型，或者是支持泛型的构造函数，那就直接按照泛型语法解析：
  • 解析<后面的泛型参数列表（支持多个参数用逗号分隔），用计数器配对<和>（遇到<加1，>减1，直到计数器归0），之后再处理后面的函数调用括号()。
• 如果符号表显示这个标识符只是普通变量、非泛型函数，那立刻切换到表达式解析逻辑，把<当作小于运算符处理。

拿你的例子someFunction<T>(x)来说：

• 若someFunction在符号表中标记为泛型函数，那<T>就是泛型参数，(x)是函数实参；
• 若someFunction只是普通变量，解析器就会把它解析成(someFunction < T) > x。

2. 回溯式解析（适合单pass解析场景） #

如果你的解析器是单pass的（还没提前收集符号信息），可以用回溯技巧：

• 先假设当前是泛型调用，尝试解析<后的泛型参数列表，再尝试匹配后面的(函数参数列表。如果整个流程没有语法错误，就保留这个解析结果；
• 如果解析失败（比如<后面不是合法的类型名，或者没有匹配的(），就回溯到<的位置，重新把它当作小于运算符解析表达式。

不过回溯会增加解析的复杂度，所以多pass的解析器一般会在第一遍扫描时收集所有符号的类型信息，第二遍再做语法解析，这样就不需要回溯了。

3. 调整语法规则的优先级 #

在递归下降的语法规则设计里，你可以把泛型调用的优先级设得高于比较运算符：

• 比如，在解析「基础表达式（Primary Expression）」时，先处理标识符，紧接着检查是否紧跟<；
• 如果是，就优先尝试解析泛型参数列表和后续的函数调用；只有当这个尝试失败时，才退回到普通表达式的解析逻辑，把<当作比较运算符。

4. 处理嵌套和复杂边界情况 #

比如遇到foo<T, U>(bar<V>(x))这种嵌套泛型，必须用计数器来正确配对<和>，避免把内层的>当成外层泛型的结束。

另外，像a < b > c这种合法的链式比较表达式，因为a是普通变量，解析器会直接按照比较运算符处理，不会误判为泛型。

内容的提问来源于stack exchange，提问作者Joshua Wise