Boost.Spirit.Qi 是 C++ 中基于 EBNF 风格的文本解析库，无需外部工具，支持类型安全的解析器组合。1. 它分为 Qi（解析）和 Karma（生成），本文聚焦 Qi；2. 解析器是函数对象，可用操作符如 >>、|、* 组合；3. 提供字符、数值等基本解析器；4. 使用 rule 和 grammar 封装复杂语法；5. 示例解析 "point: 10, 20" 并提取整数，利用 phrase_parse 跳过空格并确保完全匹配；6. 可定义模板化 grammar 如 PointGrammar 提升复用性；7. 支持属性传播，可将结果自动赋值给自定义结构体。

Boost.Spirit 是 C++ 中一个功能强大的文本解析库，它允许你用纯 C++ 代码定义语法规则，无需额外的预处理工具（如 Lex/Yacc）。它基于 EBNF（扩展巴科斯-诺尔范式）风格语法，将解析器嵌入到 C++ 类型系统中，实现高效、类型安全的文本解析。

了解 Boost.Spirit 的核心组件

Boost.Spirit 主要分为两个部分：Qi（用于解析）和 Karma（用于生成输出）。本文聚焦于使用 Spirit.Qi 进行文本解析。

Spirit 的最大特点是“解析器即函数对象”——你可以像写表达式一样组合基本解析器，构建复杂的语法结构。常见组件包括：

• 字符与字符串解析器：如 char_、string 匹配特定字符或字符串。
• 数值解析器：如 int_、double_ 可直接提取数字。
• 操作符组合规则：a >> b 表示顺序匹配，a | b 表示选择，*a 表示零次或多次重复。
• 规则（rule）与语法（grammar）：用于封装复杂结构，提升可读性和复用性。

编写简单的解析器示例

假设我们要解析形如 "point: 10, 20" 的字符串，并提取两个整数。以下是使用 Boost.Spirit.Qi 的实现方式：

#include 
#include 
#include 

namespace qi = boost::spirit::qi;

bool parse_point(const std::string& input, int& x, int& y) {
    auto first = input.begin();
    auto last = input.end();

    // 定义解析规则
    bool result = qi::phrase_parse(first, last,
        "point:" >> qi::int_ >> ',' >> qi::int_,
        qi::space,  // 跳过空白字符
        x, y);

    return result && (first == last);  // 确保完全匹配
}

int main() {
    int x, y;
    std::string text = "point: 10, 20";

    if (parse_point(text, x, y)) {
        std::cout << "Parsed: x=" << x << ", y=" << y << "\n";
    } else {
        std::cout << "Parse failed.\n";
    }
    return 0;
}

这段代码使用 qi::phrase_parse，配合跳过空格的 qi::space，能正确处理多余空格。注意最后检查迭代器是否到达末尾，确保整个输入被消费。

使用规则（rule）组织复杂语法

当解析逻辑变复杂时，应使用 qi::rule 将语法模块化。例如，定义一个专门解析点坐标的规则：

template
struct PointGrammar : qi::grammar {
    PointGrammar() : PointGrammar::base_type(start) {
        start = "point:" >> value >> ',' >> value;
    }

    qi::rule start;
    qi::int_parser value;
};

该语法接受带空格的输入，并返回一个整数（实际可改为结构体）。通过模板化迭代器类型，可以在不同字符串容器上复用。

处理自定义数据结构与属性传播

Spirit 支持将解析结果自动赋值给结构体。结合

struct Point { int x, y; };

BOOST_FUSION_ADAPT_STRUCT(Point, x, y)

// 修改 rule 的属性类型为 Point()
qi::rule point_rule;
point_rule = "point:" >> '{' >> qi::int_ >> ',' >> qi::int_ >> '}';

这样，解析成功后就能直接获得 Point 对象，无需手动赋值。

基本上就这些。Boost.Spirit 学习曲线较陡，但一旦掌握，能写出清晰、高效的文本解析代码。关键是理解其组合式设计思想，从小例子入手逐步构建复杂解析器。不复杂但容易忽略的是迭代器位置检查和空白处理策略。