Boost Spirit如何编写解析规则正确解析含方括号的字符串

首先明确：Boost Spirit Qi 没有对方括号[、]做全局特殊转义，你遇到的匹配失败和两个极易踩的语法坑有关，和字符本身的匹配规则无关。

现有规则失效的核心原因 #

你写的三条规则逻辑上本来都应该能匹配方括号：

• +(~qi::char_("\r\n;,="))：~qi::char_(集合)的作用是匹配所有不在集合内的单字符，你给出的排除集只有\r、\n、;、,、=五个字符，[、]本来就在允许匹配的范围内。
• +(~qi::char_("\r\n;,=") | "[" | "]")：逻辑完全冗余，和第一条规则效果一致，额外加的方括号分支没有实际作用。
• +(qi::char_ - qi::char_("\r\n;,="))：和第一条规则等价，a - b在Qi中表示匹配a覆盖的内容但排除b匹配的部分，本来也应该匹配方括号。

匹配失败的核心原因是C语法优先级问题：Qi重载了operator[]作为语义动作绑定运算符，如果你写规则时没有用括号明确界定解析器的边界，紧邻解析器的[会被C编译器直接识别为语义动作调用的运算符，根本不会被当成待匹配的字符字面量处理，自然匹配不到输入里的方括号。

正确可用的规则写法 #

做两个简单调整即可解决问题：

1. 用括号明确包裹字符匹配逻辑，避免和operator[]产生语法歧义；如果在带空格跳过（skip）的语法环境下使用，加qi::lexeme保证匹配的字符串是连续的。
2. 不需要单独为方括号写匹配分支，只要把所有需要终止匹配的分隔符（比如你示例里的:如果是分隔符就一并加入）放到排除字符集里即可。

可直接复用的规则代码：

// 基础版本：匹配所有除\r\n;,=之外的字符，包含[]、:等
qi::rule<Iterator, std::string()> token = qi::lexeme[
    +(qi::char_ - qi::char_("\r\n;,="))
];

// 如果需要把冒号也作为分隔符，直接加到排除集即可
qi::rule<Iterator, std::string()> token = qi::lexeme[
    +(qi::char_ - qi::char_("\r\n;,=:"))
];

如果你的代码里还是存在语法识别歧义，可以显式用qi::lit定义方括号解析器，彻底避免运算符优先级问题：

qi::rule<Iterator, std::string()> token = qi::lexeme[
    +(qi::char_ - qi::char_("\r\n;,=:") | qi::lit('[') | qi::lit(']'))
];

针对你给出的示例输入xyz[aa:bb]:blah，上述规则会正确匹配到xyz[aa:bb]片段，在遇到分隔符:时自动停止，完全可以正确识别字符串内的方括号，不需要对方括号做额外转义。

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