C++语法演进如何管理？新增语法扩展需符合哪些正式标准？

关于语法扩展的标准合规性与前置分析要求 #

• 所有纳入ISO C++正式标准的语法扩展，都必须遵循标准化流程审核，不会仅以前端实现者的实践经验作为唯一准入依据。
• 拟议的语法扩展在被正式接纳前，一定会经过多维度的机械化分析：包括文法歧义性校验、与已有语法的兼容性校验、对现有合法代码的破坏性校验等，这类分析通常会借助专业文法分析工具完成，避免人工校验的疏漏。

关于主流编译器解析器实现对语法演进的影响 #

• 首先要明确：C++标准文法本身就不是严格的LL(1)甚至LL(n)文法，大量语法场景需要结合语义信息才能完成消歧（比如经典的「最令人头疼的解析」问题），标准从未要求语法必须适配LL类文法的限制。
• GCC、Clang选择手写递归下降解析器，是因为这类实现方案灵活度更高，更适配C++需要语义辅助消歧的场景，也能实现更友好的语法报错，并不意味着标准语法需要反过来适配这类实现的特性。
• 当然标准委员会在评审语法提案时会考虑工程实现成本：如果一个新语法会导致所有主流编译器的解析逻辑需要大规模重构，甚至无法在现有实现框架下落地，该提案大概率不会被通过，这是工程落地层面的务实考量，不属于硬性的语法规则约束。
• 现在很多新语法提案在提交阶段就会附带Clang/GCC的原型实现，提前验证实现可行性，避免出现理论设计可行但无法落地的问题。

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