C++ boost_spirit

一、 Spirit 介绍

Spirit，递归下降分析器框架,是传统的过程式代码； 和 STL 都具有易于理解、流畅、

高效等优秀特性。

Spirit 主要特性：模块性和可扩展性

Spirit 不是给你一个大锤，它提供方便打造大锤的正确成分。 Spirit 使用基本元素(终

结符)和复合元素(产生式)的层次对象组合来模块化递归下降分析器。现在的 Spirit 版本使

用了大量的表达式模版 (" Expression Templates ", C++ Report, June 1995) 和静态多态特性。

Spirit 是一个面相对象的递归下降分析器生成器框架，以 模板元编程技术 实现。 表达

| 或者（选择符)

() 组合

*前置 *（ Kleene Star)

;(结束规则)

Spirit 框架以层次结构来组织， 因此 当掌握了最小部分的核心内容和基本概念之后，

所需要学习的，仅仅是需要使用的。Spirit 的易用性和可伸缩性，使其在开发小型分析器

时成为最佳的选择。为了简化开发和部署，Spirit 整个框架只包含了头文件，不需要在编

译时链接库。所要作的只是把 Spirit 放到你的包含路径，编译，运行。代码规模？很小。

分析器可以越来越大，嵌套越来越多。无论何时，当你把两个分析器粘到一块儿，你

得到的是一个更大的分析器，这是一个重要的概念。

扫描器(Scanner)

语义动作(Semantic Actions)

Liner input ---> scanner ---> parser ---> Match ----> actor ---> parser tree(

other formats )

2. Spirit 简单使用：

（1) 创建分析器( 可以使用预定义的分析器("_p"后缀) )

real_p >> *( ch_p(',') >> int_p )

(2) 创建一条规则用于存储复合规则

r = real_p >> *( ch_p(',') >> int_p ) ;

(3) 使用全局函数 parse()使用分析器分析格式流

parse_info parse( input, parser, skip_parser );

input: 格式输入流

比如一个分析器 P 和一个函数 F ，如果想让 P 在成功匹配输入时调用 F ，可以以如下

的类型，如果分析器的属性为 nil_t，则函数原型为:

Void F( Iterator 5rst, Iterfaotr last); or

struct F

{

Void opetator()(Iterator 5rst,Iterator last);

};

如果分析器的属性类型不为 nil_t，则：

Void F(T val); or

Struct F

{

分析器分成两类：基本元素(Primitives)和复合元素(Composities)。相当于编译器中的

终结符和非终结符。 内嵌对象的灵活性和递归的合成，开创了一个统一的分析方法。 派

生类可以构成任意复杂度的聚合或算法。复杂的分析器可以仅经由少数元素类合成而创建

3.2 扫描器

扫描器分析线性输入流并输出给 parser 使用。

scanner( IteratorT & 5rst_,

iter_param_t last_,

PoliciesT const& policies = PoliciesT())

[5rst_,last_)执行输入流范围，5rst_采用引用传递方便 parser 重定位。policies 指

parser_result<> 元函数返回给定分析器和扫描器的匹配对象类型。匹配对象的主要

作用是报告分析是否成功给 parser 的调用者。parse 成功时, match.length()为成功匹

配的字符数(>0);parse 失败时，match.length() = -1; match.length()=0 也是一个成

功的匹配。

分析器都有关联的属性数据，缺省的属性类型为 nil_t。如 real_p 有一个关联的数值

属性，即分析过的数据。分析器属性在 parse 成功时，也通过匹配对象返回。

3.4 语义动作