boost spirit介绍.docVIP

一、 Spirit介绍 Spirit，递归下降分析器框架,是传统的过程式代码； 和STL都具有易于理解、流畅、高效等优秀特性。 Spirit主要特性：模块性和可扩展性 Spirit不是给你一个大锤，它提供方便打造大锤的正确成分。 Spirit使用基本元素(终结符)和复合元素(产生式)的层次对象组合来模块化递归下降分析器。现在的Spirit版本使用了大量的表达式模版 ( Expression Templates , C++ Report, June 1995) 和静态多态特性。 Spirit是一个面相对象的递归下降分析器生成器框架，以 模板元编程技术 实现。 表达式模板 使我们能够在C＋＋中使用近似于EBNF范式的语法。 C++ EBNF = := 连接符 | 或者（选择符) () 组合 *前置 *（ 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: 格式输入流 parser: 格式流分析器 skip_parser: 分析器元素之间字符忽略分析器 parse函数返回一个对象（称为parse_info）用来保留分析的结果。 语义动作依附于分析器，表示当输入匹配分析器时进行的动作。 比如一个分析器 P 和一个函数 F ，如果想让 P 在成功匹配输入时调用 F ，可以以如下的方式连接： P[F] 。或者F是个函数对象： 内嵌对象的灵活性和递归的合成，开创了一个统一的分析方法。 派生类可以构成任意复杂度的聚合或算法。复杂的分析器可以仅经由少数元素类合成而创建。 扫描器分析线性输入流并输出给parser使用。 scanner( IteratorT first_, iter_param_t last_, PoliciesT const policies = PoliciesT()) [first_,last_)执行输入流范围，first_采用引用传递方便parser重定位。policies指定扫描器的扫描策略。扫描器策略用于控制扫描器的行为。Spirit预定义了一些扫描器策略，客户程序可以自定义扫描器策略来解析输入流。 3.3 匹配 派生的分析器都要实现一个parse成员函数： typename parser_resultself_t, ScannerT::type parse(ScannerT const scan) const; parser_result 元函数返回给定分析器和扫描器的匹配对象类型。匹配对象的主要作用是报告分析是否成功给parser的调用者。parse成功时, match.length()为成功匹配的字符数(0);parse失败时，match.length() = -1; match.length()=0也是一个成功的匹配。 分析器都有关联的属性数据，缺省的属性类型为nil_t。如real_p有一个关联的数值属性，即分析过的数据。分析器属性在parse成功时，也通过匹配对象返回。 3.4 语义动作 语义动