Boost Spirit X3解析a^(2n+1)文法输入未完全匹配问题求助

问题原因 #

1. 递归规则使用错误
   你在定义根规则S时，直接使用了未绑定的定义表达式P_def，而非经过BOOST_SPIRIT_DEFINE完成绑定的规则P。BOOST_SPIRIT_DEFINE(P)的核心作用是完成递归规则的地址绑定，确保递归解析时可以正确寻址到完整的规则定义。直接使用P_def会导致递归匹配逻辑异常，无法优先走更长的匹配分支，进而出现匹配长度不符合预期的问题。

2. 缺少输入结束断言
   Boost Spirit X3的parse接口默认仅要求输入前缀匹配文法就返回true，不会强制消费完所有输入。哪怕文法逻辑正确，只要输入的前半部分符合规则，就会判定为匹配成功，剩余未消费的字符不会影响匹配结果。

修复方案 #

修改根规则S的定义，改用绑定后的P规则，同时在末尾添加eoi（end of input）断言强制匹配到输入结束：

// 修改前
constexpr auto S = 'a' >> P_def >> 'a';
// 修改后
constexpr auto S = 'a' >> P >> 'a' >> spirit3::eoi;

修复后所有长度>=3的奇数个a的输入都会返回匹配成功且完全耗尽输入，偶数长度、长度小于3的输入都会返回匹配失败。

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