标签：Compiler Design

C++模板”>>”编译问题与词法消歧设计

这篇讲的是C++中模板尖括号引起的经典编译难题及其在编译器设计中的巧妙化解。作者从编译原理的词法与语法分析管道出发，点明了C++98中`map>`为何必须写成`map >`——因为词法分析器会将`>>`识别为一个右移运算符，导致后续语法分析失败。 文章核心对比了两种消歧思路：一是采用“无扫描器解析”，即跳过独立的词法分析，直接在语法层面处理字符流，但这破坏了经典编译器结构；二是C++11的务实方案——让词法分析器遇到难以判定的序列（如`>>`）时，直接拆分为两个基础token（即两个`>`）交给语法分析器，再由语法分析器根据上下文（如是否在模板参数列表中）决定其正确含义。作者通过具体代码示例展现了这一改变带来的兼容性变化，并引用了C++11规范的相关定义。 文章清晰揭示了工程实践中为解决理论模型与具体语法冲突所做的权衡：既保留了清晰的模块化结构，又通过层次间的协作化解了歧义，这种设计思路对理解复杂语言的编译器实现很有启发。