如何用递归下降解析器处理C++模板语法中的<符号歧义？

结论是：递归下降解析器完全可以处理这种情况，不需要依赖LR解析器这类更“强大”的分析器，核心是把语法解析和符号表（名字查找）结合起来。

你遇到的歧义本质是：同一个<符号，在不同上下文里有不同语义——要么是小于运算符，要么是模板参数列表的起始标记。解决这个问题的关键，是解析到标识符后跟<时，先通过符号表判断这个标识符是不是模板名字：

• 如果该标识符是之前声明过的模板（比如你的代码里的Foo），就把<当作模板参数列表的开始，递归解析里面的模板实参，直到匹配到对应的>，把整个Foo<int>作为一个模板特化名字处理；
• 如果标识符是普通变量/函数（比如代码里的a），就把<当作小于运算符，继续解析右边的表达式，形成比较运算。

具体实现思路 #

在递归下降解析器的表达式解析函数中，当解析到一个标识符后，可以做以下分支处理：

1. 先查符号表，确认该标识符是否为模板；
2. 如果是模板：
   • 消耗<符号，调用模板实参列表的解析函数（处理里面的类型/表达式，包括嵌套的<）；
   • 消耗对应的>符号，把这个模板特化作为一个原子节点加入表达式；
3. 如果不是模板：
   • 把<当作二元运算符，继续解析右边的表达式，生成比较运算的语法树节点。

补充说明 #

C里还有更复杂的场景，比如模板中的依赖名（比如T::template Bar<int>），这时候需要两阶段查找，但对于你示例中的普通场景，基础的符号表查询就足够解决歧义。递归下降解析器的优势在于可以灵活插入这类上下文相关的判断逻辑，不像纯LR解析器那样依赖预定义的语法规则，反而更适合处理C这种上下文敏感的语法细节。

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