使用Boost Spirit解析十六进制与二进制数的匹配异常问题

我之前也碰到过类似的问题，核心原因是你定义的num规则匹配顺序出了问题：qi::uint_被放在了hexOrBinNum前面，而qi::uint_会优先匹配单独的0字符。当解析0b111或0x111这类字符串时，它会先把第一个0当成普通十进制数捕获，剩下的b111/x111就无法被后续规则处理，自然识别不了完整的二进制/十六进制格式。

解决方案：调整规则匹配顺序 #

只需要把hexOrBinNum移到qi::uint_前面，让解析器优先尝试匹配二进制/十六进制格式，再 fallback 到普通十进制整数即可：

num = hexOrBinNum [ qi::_val = qi::_1 ] | qi::uint_ [ qi::_val = qi::_1 ] ;

修改后的完整规则示例：

factor = num [ qi::_val = qi::_1 ] 
       | '(' >> expr [ qi::_val = qi::_1 ] >> ')' 
       | '-' >> num [ qi::_val = -qi::_1 ] 
       | '+' >> num [ qi::_val = qi::_1 ] 
       | '~' >> num [ qi::_val = ~qi::_1 ] ;

hexOrBinNum = "0x" >> qi::int_parser<int, 16>{} [ qi::_val = qi::_1 ] 
            | "0b" >> qi::int_parser<int, 2>{} [ qi::_val = qi::_1 ] ;

num = hexOrBinNum [ qi::_val = qi::_1 ] | qi::uint_ [ qi::_val = qi::_1 ] ;

为什么这样有效？ #

Boost Spirit的规则是按顺序尝试匹配的：当解析器遇到0b或0x开头的字符串时，会先匹配hexOrBinNum规则，完整捕获整个二进制/十六进制数值；如果开头不是0b/0x（比如单独的0、或者123这类十进制数），才会用qi::uint_去匹配普通整数，完全不影响正常数值的解析。

额外优化建议 #

如果你的场景需要更灵活的数值解析，可以考虑：

• 给int_parser指定更合适的类型，比如用uint32_t代替int，避免溢出问题
• 扩展规则支持大小写的0X/0B：

  hexOrBinNum = (qi::lit("0x") | qi::lit("0X")) >> qi::int_parser<uint32_t, 16>{}
              | (qi::lit("0b") | qi::lit("0B")) >> qi::int_parser<uint32_t, 2>{};
  

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