boost 之路十二词法分析器

转载

303103757q 2022-11-15 14:38:14 博主文章分类：boost

文章标签 json git 数据 文章分类 运维

Backus-Naur 范式，简称 BNF，是一种精确描述规则的语言，被应用于多种技术规范。例如，众多互联网协议的许多技术规范，称为 RFC，除了文字说明以外，都包含了以 BNF 编写的规则。

Boost.Spirit 支持扩展BNF范式(EBNF)，可以用比 BNF 更简短的方式来指定规则。 EBNF 的主要优点就是简短，从而写法更简单。

请注意，EBNF 有几种不同的变体，它们的语法可能有些差异。本章以及 Boost.Spirit 所使用的 EBNF 语法类似于正则表达式。

要使用 Boost.Spirit，你必须懂得 EBNF。多数情况下，开发者已经知道 EBNF，因此才会选择 Boost.Spirit 来重用以前用 EBNF 表示的规则。以下是对 EBNF 的一个简短介绍；如果需要对本章当中以及 Boost.Spirit 所使用的语法有一个快速的参考，请查看 W3C XML 规范，其中包含了一个短摘要。

`digit`	=	"0" \| "1" \| "2" \| "3" \| "4" \| "5" \| "6" \| "7" \| "8" \| "9"

严格地讲，EBNF 以生成规则来表示规则。可以将任意数量的生成规则组合起来，描述一个特定的格式。以上格式只包含一个生成规则。它定义了一个 digit 是由0至9之间的任一数字组成。

象 digit 这样的定义被称为非终结符号。以上定义中的数字 0 到 9 则被称为终结符号。这些符号不具有任意特定意义，而且很容易识别出来，因为它们是用双引号引起来的。

所有数字值是用竖直符相连的，其意义与 C++ 中的 || 操作符一样：多选一。

一句话，这个生成规则指明了0至9之间的任一数字都是一个 digit。

`integer`	=	("+" \| "-")? `digit`+

这个新的非终结符 integer 包含至少一个 digit，而且可选地以一个加号或减号开头。

integer 的定义用到了多个新的操作符。圆括号用于创建一个子表达式，就象它在数学中的作用。其它操作符可应用于这些子表达式。问号表示这个子表达式只能出现一次或不出现。

digit 之后的加号表示相应的表达式必须出现至少一次。

这个新的生成规则定义了一个任意的正或负的整数。一个 digit 正好是一个数字，而一个 integer 则可以由多个数字组成，且可以被标记为无符号的或有符号的。因此 5 即是一个 digit 也是一个 integer，而 +5 则只是一个 integer。同样地，169 或 -8 也只是 integer。

通过定义和组合各种非终结符，可以创建越来越复杂的生成规则。

`real`	=	`integer` "." `digit`*

integer 的定义表示的是整数，而 real 的定义则表示了浮点数。这个规则基于前面已定义的非终结符 integer 和 digit，以一个句点号分隔。 digit 之后的星类表示点号之后的数字是可选的：可以有任意多个数字或没有数字。

浮点数如 1.2, -16.99 甚至 3. 都符合 real 的定义。但是，当前的定义不允许浮点数不带前导的零，如 .9。

正如本章开始的时候所提到的，接下来我们要用 Boost.Spirit 开发一个 JSON 格式的词法分析器。为此，需要用 EBNF 来给出 JSON 格式的规则。

`object`	=	"{" `member` ("," `member`)* "}"
`member`	=	`string` ":" `value`
`string`	=	'"' `character`* '"'
`value`	=	`string` \| `number` \| `object` \| `array` \| "true" \| "false" \| "null"
`number`	=	`integer` \| `real`
`array`	=	"[" `value` ("," `value`)* "]"
`character`	=	"a" \| "b" \| "c" \| "d" \| "e" \| "f" \| "g" \| "h" \| "i" \| "j" \| "k" \| "l" \| "m" \| "n" \| "o" \| "p" \| "q" \| "r" \| "s" \| "t" \| "u" \| "v" \| "w" \| "x" \| "y" \| "z"

JSON 格式基于一些包含了键值和值的成对的对象，它们被花括号括起来。其中键值是普通的字符串，而值可以是字符串、数字值、数组、其它对象或是字面值 true, false 或 null。字符串是由双引号引起来的连续字符。数字值可以是整数或浮点数。数组包含以逗号分隔的值，并以方括号括起来。

请注意，以上定义并不完整。一方面，character 的定义缺少了大写字母以及其它字符；另一方面，JSON 还特别支持 Unicode 或控制字符。这些现在都可以先忽略掉，因为 Boost.Spirit 定义了常用的非终结符号，如字母数字字符，以减少你打字的次数。另外，稍后在代码中，字符串被定义为除双引号以外的任意字符的连续串。由于双引号用于结束一个字符串，所以其它所有字符都在字符串中使用。上述 EBNF 并不如此表示，因为 EBNF 要求定义一个包含除单个字符外的所有字符的非终结符号，应该定义一个例外来排除。

以下是使用了上述定义的 JSON 格式的一个例子。

{ "Boris Schäling" : { "Male": true, "Programming Languages": [ "C++", "Java", "C#" ], "Age": 31 } }

整个对象由最外层的花括号给出，它包含了一个键-值对。键值是 "Boris Schäling"，值则是一个新的对象，包含多个键-值对。其中所有键值均为字符串，而值则分别为字面值 true，一个包含几个字符串的数组，以及一个数字值。

以上所定义的 EBNF 规则现在就可用于通过 Boost.Spirit 开发一个可以读取以上 JSON 格式的词法分析器。

12.3. 语法

继上一节中以 EBNF 为 JSON 格式定义了相关规则后，现在要将这些规则与 Boost.Spirit 一起使用。 Boost.Spirit 实际上允许以 C++ 代码来定义 EBNF 规则，方法是重载各个由 EBNF 使用的不同操作符。

请注意，EBNF 规则需要稍作修改，才能创建出合法的 C++ 代码。在 EBNF 中各个符号是以空格相连的，在 C++ 中需要用某个操作符来连接。此外，象星号、问号和加号这些操作符，在 EBNF 中是置于对应的符号后面的，在 C++ 中必须置于符号的前面，才能作为单参操作符来使用。

以下是在 Boost.Spirit 中为表示 JSON 格式，用 C++ 代码写的 EBNF 规则。

#include <boost/spirit.hpp> 

struct json_grammar 
  : public boost::spirit::grammar<json_grammar> 
{ 
  template <typename Scanner> 
  struct definition 
  { 
    boost::spirit::rule<Scanner> object, member, string, value, number, array; 

    definition(const json_grammar &self) 
    { 
      using namespace boost::spirit; 
      object = "{" >> member >> *("," >> member) >> "}"; 
      member = string >> ":" >> value; 
      string = "\"" >> *~ch_p("\"") >> "\""; 
      value = string | number | object | array | "true" | "false" | "null"; 
      number = real_p; 
      array = "[" >> value >> *("," >> value) >> "]"; 
    } 

    const boost::spirit::rule<Scanner> &start() 
    { 
      return object; 
    } 
  }; 
}; 

int main() 
{ 
}

下载源代码

为了使用 Boost.Spirit 中的各个类，需要包含头文件 boost/spirit.hpp。所有类均位于名字空间 boost::spirit 内。

为了用 Boost.Spirit 创建一个词法分析器，除了那些定义了数据是如何构成的规则以外，还必须创建一个所谓的语法。在上例中，就创建一个 json_grammar 类，它派生自模板类 boost::spirit::grammar，并以该类的名字来实例化。 json_grammar 定义了理解 JSON 格式所需的完整语法。

语法的一个最重要的组成部分就是正确读入结构化数据的规则。这些规则在一个名为 definition 的内层类中定义 - 这个名字是强制性的。这个类是带有一个模板参数的模板类，由 Boost.Spirit 以一个所谓的扫描器来进行实例化。扫描器是 Boost.Spirit 内部使用的一个概念。虽然强制要求 definition 必须是以一个扫描器类型作为其模板参数的模板类，但是对于 Boost.Spirit 的日常使用来说，这些扫描器是什么以及为什么要定义它们，并不重要。

definition 必须定义一个名为 start() 的方法，它会被 Boost.Spirit 调用，以获得该语法的完整规则和标准。这个方法的返回值是 boost::spirit::rule 的一个常量引用，它也是一个以扫描器类型实例化的模板类。

boost::spirit::rule 类用于定义规则。非终结符号就以这个类来定义。前面所定义的非终结符号 object, member, string, value, number 和 array 的类型均为 boost::spirit::rule。

所有这些对象都被定义为 definition 类的属性，这并非强制性的，但简化了定义，尤其是当各个规则之间有递归引用时。正如在上一节中所看到的 EBNF 例子那样，递归引用并不是一个问题。

乍一看，在 definition 的构造函数内的规则定义非常类似于在上一节中看到的 EBNF 生成规则。这并不奇怪，因为这正是 Boost.Spirit 的目标：重用在 EBNF 中定义的生成规则。

由于是用 C++ 代码来组成 EBNF 中建立的规则，为了写出合法的 C++，其实是有一点点差异的。例如，所有符号间的连接是通过 >> 操作符完成的。 EBNF 中的一些操作符，如星号，被置于相应符号的前面而非后面。尽管有这样一些语法上的修改，Boost.Spirit 还是尽量在将 EBNF 规则转换至 C++ 代码时不进行太多的修改。

definition 的构造函数使用了由 Boost.Spirit 提供的两个类：boost::spirit::ch_p 和 boost::spirit::real_p。这些以分析器形式提供的常用规则可以很方便地重用。一个例子就是 boost::spirit::real_p，它可以用于保存正或负的整数或浮点数，无需定义象 digit 或 real 这样的非终结符号。

boost::spirit::ch_p 可用于创建一个针对单个字符的分析器，相当于将字符置于双引号中。在上例中，boost::spirit::ch_p 的使用是强制性的，因为波浪号和星号是要应用于双引号之上的。没有这个类，代码将变为 *~"\""，这会被编译器拒绝为非法代码。

波浪号实际上是实现了前一节中提到的一个技巧：在双引号之前加上波浪号，可以接受除双引号以外的所有其它字符。

定义完了识别 JSON 格式的规则后，以下例子示范了如何使用这些规则。

#include <boost/spirit.hpp> 
#include <fstream> 
#include <sstream> 
#include <iostream> 

struct json_grammar 
  : public boost::spirit::grammar<json_grammar> 
{ 
  template <typename Scanner> 
  struct definition 
  { 
    boost::spirit::rule<Scanner> object, member, string, value, number, array; 

    definition(const json_grammar &self) 
    { 
      using namespace boost::spirit; 
      object = "{" >> member >> *("," >> member) >> "}"; 
      member = string >> ":" >> value; 
      string = "\"" >> *~ch_p("\"") >> "\""; 
      value = string | number | object | array | "true" | "false" | "null"; 
      number = real_p; 
      array = "[" >> value >> *("," >> value) >> "]"; 
    } 

    const boost::spirit::rule<Scanner> &start() 
    { 
      return object; 
    } 
  }; 
}; 

int main(int argc, char *argv[]) 
{ 
  std::ifstream fs(argv[1]); 
  std::ostringstream ss; 
  ss << fs.rdbuf(); 
  std::string data = ss.str(); 

  json_grammar g; 
  boost::spirit::parse_info<> pi = boost::spirit::parse(data.c_str(), g, boost::spirit::space_p); 
  if (pi.hit) 
  { 
    if (pi.full) 
      std::cout << "parsing all data successfully" << std::endl; 
    else 
      std::cout << "parsing data partially" << std::endl; 
    std::cout << pi.length << " characters parsed" << std::endl; 
  } 
  else 
    std::cout << "parsing failed; stopped at '" << pi.stop << "'" << std::endl; 
}

下载源代码

Boost.Spirit 提供了一个名为 boost::spirit::parse() 的自由函数。通过创建一个语法的实例，就会相应地创建一个词法分析器，该分析器被作为第二个参数传递给 boost::spirit::parse()。第一个参数表示要进行分析的文本，而第三个参数则是一个表明在给定文本中哪些字符将被跳过的词法分析器。为了跳过空格，要将一个类型为 boost::spirit::space_p 的对象作为第三个参数传入。这只是表示在被捕获的数据之间 - 换句话说，就是规则中使用了 >> 操作符的地方 - 可以有任意数量的空格。这其中包含了制表符和换行符，令数据的格式可以更为灵活。

boost::spirit::parse() 返回一个类型为 boost::spirit::parse_info 的对象，该对象提供了四个属性来表示文本是否被成功分析。如果文本被成功分析，则属性 hit 被设置为 true。如果文本中的所有字符都被分析完了，最后没有剩余空格，则 full 也被设置为 true。仅当 hit 为 true 时，length

如果文本未能分析成功，则属性 length 不能被访问。此时，可以访问属性 stop 来获得停止分析的文本位置。如果文本被成功分析，stop

12.4. 动作

到目前为止，你已经知道了如何定义一个语法，以得到一个新的词法分析器，用于识别一个给定的文本是否具有该语法的规则所规定的结构。但是此刻，数据的格式仍未被解释，因为从结构化格式如 JSON 中所读取的数据并没有被进一步处理。

要对由分析器识别出来的符合某个特定规则的数据进行处理，可以使用动作(action)。动作是一些与规则相关联的函数。如果词法分析器识别出某些数据符合某个特定的规则，则相关联的动作会被执行，并把识别得到的数据传入进行处理，如下例所示。

#include <boost/spirit.hpp> 
#include <string> 
#include <fstream> 
#include <sstream> 
#include <iostream> 

struct json_grammar 
  : public boost::spirit::grammar<json_grammar> 
{ 
  struct print 
  { 
    void operator()(const char *begin, const char *end) const 
    { 
      std::cout << std::string(begin, end) << std::endl; 
    } 
  }; 

  template <typename Scanner> 
  struct definition 
  { 
    boost::spirit::rule<Scanner> object, member, string, value, number, array; 

    definition(const json_grammar &self) 
    { 
      using namespace boost::spirit; 
      object = "{" >> member >> *("," >> member) >> "}"; 
      member = string[print()] >> ":" >> value; 
      string = "\"" >> *~ch_p("\"") >> "\""; 
      value = string | number | object | array | "true" | "false" | "null"; 
      number = real_p; 
      array = "[" >> value >> *("," >> value) >> "]"; 
    } 

    const boost::spirit::rule<Scanner> &start() 
    { 
      return object; 
    } 
  }; 
}; 

int main(int argc, char *argv[]) 
{ 
  std::ifstream fs(argv[1]); 
  std::ostringstream ss; 
  ss << fs.rdbuf(); 
  std::string data = ss.str(); 

  json_grammar g; 
  boost::spirit::parse_info<> pi = boost::spirit::parse(data.c_str(), g, boost::spirit::space_p); 
  if (pi.hit) 
  { 
    if (pi.full) 
      std::cout << "parsing all data successfully" << std::endl; 
    else 
      std::cout << "parsing data partially" << std::endl; 
    std::cout << pi.length << " characters parsed" << std::endl; 
  } 
  else 
    std::cout << "parsing failed; stopped at '" << pi.stop << "'" << std::endl; 
}

下载源代码

动作被实现为函数或函数对象。如果动作需要被初始化或是要在多次执行之间维护某些状态信息，则后者更好一些。以上例子中将动作实现为函数对象。

类 print 是一个函数对象，它将数据写出至标准输出流。当其被调用时，重载的 operator()() 操作符将接受一对指向数据起始点和结束点的指针，所指范围即为被执行该动作的规则所识别出来的数据。

这个例子将这个动作关联至在 member 之后作为第一个符号出现的非终结符号 string。一个类型为 print 的实例被放在方括号内传递给非终结符号 string。由于 string 表示的是 JSON 对象的键-值对中的键，所以每次找到一个键时，类 print 中的重载 operator()() 操作符将被调用，将该键写出到标准输出流。

我们可以定义任意数量的动作，或将它们关联至任意数量的符号。要把一个动作关联至一个字面值，必须明确给出一个词法分析器。这与在非终结符号 string 的定义中指定 boost::spirit::ch_p 类没什么不同。以下例子使用了 boost::spirit::str_p 类来将一个 print 类型的对象关联至字面值 true。

#include <boost/spirit.hpp> 
#include <string> 
#include <fstream> 
#include <sstream> 
#include <iostream> 

struct json_grammar 
  : public boost::spirit::grammar<json_grammar> 
{ 
  struct print 
  { 
    void operator()(const char *begin, const char *end) const 
    { 
      std::cout << std::string(begin, end) << std::endl; 
    } 

    void operator()(const double d) const 
    { 
      std::cout << d << std::endl; 
    } 
  }; 

  template <typename Scanner> 
  struct definition 
  { 
    boost::spirit::rule<Scanner> object, member, string, value, number, array; 

    definition(const json_grammar &self) 
    { 
      using namespace boost::spirit; 
      object = "{" >> member >> *("," >> member) >> "}"; 
      member = string[print()] >> ":" >> value; 
      string = "\"" >> *~ch_p("\"") >> "\""; 
      value = string | number | object | array | str_p("true")[print()] | "false" | "null"; 
      number = real_p[print()]; 
      array = "[" >> value >> *("," >> value) >> "]"; 
    } 

    const boost::spirit::rule<Scanner> &start() 
    { 
      return object; 
    } 
  }; 
}; 

int main(int argc, char *argv[]) 
{ 
  std::ifstream fs(argv[1]); 
  std::ostringstream ss; 
  ss << fs.rdbuf(); 
  std::string data = ss.str(); 

  json_grammar g; 
  boost::spirit::parse_info<> pi = boost::spirit::parse(data.c_str(), g, boost::spirit::space_p); 
  if (pi.hit) 
  { 
    if (pi.full) 
      std::cout << "parsing all data successfully" << std::endl; 
    else 
      std::cout << "parsing data partially" << std::endl; 
    std::cout << pi.length << " characters parsed" << std::endl; 
  } 
  else 
    std::cout << "parsing failed; stopped at '" << pi.stop << "'" << std::endl; 
}

下载源代码

另外，这个例子还将一个动作关联至 boost::spirit::real_p。大多数分析器会传递一对指向被识别数据起始点和结束点的指针，而 boost::spirit::real_p 则将所找到的数字作为 double 来传递。这样可以使对数字的处理更为方便，因为这些数字不再需要被显式转换。为了传递一个 double 类型的值给这个动作，我们相应地增加了一个重载的 operator()() 操作符给 print。

除了在本章中介绍过的分析器，如 boost::spirit::str_p 或 boost::spirit::real_p 以外，Boost.Spirit 还提供了很多其它的分析器。例如，如果要使用正则表达式，我们有 boost::spirit::regex_p 可用。此外，还有用于验证条件或执行循环的分析器。它们有助于创建动态的词法分析器，根据条件来对数据进行不同的处理。要对 Boost.Spirit 提供的这些工具有一个大概的了解，你应该看一下这个库的文档。