为何Boost Spirit规则的微小修改要求升级C++编译器？

• C++标准模板推导规则差异：
  Boost Spirit深度依赖模板元编程，C17及之前的标准中，类模板参数推导（CTAD）的规则远不如C20完善。VS2019对C14/17的CTAD支持存在明显局限性，当你新增Inherit结构体到Class变体后，Spirit的解析规则在绑定变体成员时，旧标准下的推导逻辑无法正确匹配类型，直接触发C2440转换错误。而C20优化了CTAD的核心规则，clang 16.0.0+对旧标准的模板推导兼容性做了针对性修复，能够正确处理这类复杂的类型匹配场景。

• VS2019编译器的特定bug：
  VS2019在C14/17编译模式下，对Boost Spirit这类复杂模板库中的隐式转换、variant类型匹配存在错误判断。新增Inherit结构体后，编译器错误地判定某个模板实例化后的类型无法转换为目标variant成员类型，进而抛出编译错误。而C20模式下微软修复了该类模板元编程相关的编译bug，高版本clang则从未存在该问题。

• Boost版本与旧编译器的兼容性问题：
  若你使用的Boost版本较新，它可能已经针对C20特性做了适配，但对旧编译器（如VS2019的C14/17模式）的兼容性处理不足。修改代码引入新的variant成员后，恰好触发了旧编译器未覆盖的兼容性边界场景，导致编译失败，而新编译器或C++20模式则能正确处理。

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