Preface
上一篇简述了boost.spirit.x3的基本使用方法。在四个简单的示例中，展示了如何使用x3组织构造一个语法产生式，与源码串匹配并生成一个综合属性。这些简单的示例中通过组合x3库中的基本语法单元，创建了一些复杂语法单元，也就是非终结符。但这些示例中的语法单元完成的事情还不够，它们只能配合phrase_parse函数告诉我们，与源码是否匹配；并且通过一个简单赋值操作返回一个综合属性。如果我想要在匹配成功的时候完成一些用户自定义的Action，如何完成这种需求？此外，仅使用基本语法单元的组合来实现一个比较复杂的DSL的时候，会让产生式变得非常复杂。这些问题都是鄙文将要解决的问题。
Semantic Action
Semantic Action，姑且翻译成语义作用，是x3提供的一个Unary Parser. 它可以包装一个语法单元和一个泛型仿函数。当Action包装语法的单元匹配成功的时候会调用这个泛型的仿函数。首先来看一个例子。
1 #include <boost/config/warning_disable.hpp> 2 #include <boost/spirit/home/x3.hpp> 3 4 #include <string> 5 #include <iostream> 6 7 namespace x3 = boost::spirit::x3; 8 9 auto const print = [](auto& ctx) { std::cout << _attr(ctx) << std::endl; }; 10 11 int main(void) 12 { 13 std::string source = "_123123_foo"; 14 auto itr = source.cbegin(); 15 auto end = source.cend(); 16 17 std::string attr; 18 auto r = phrase_parse(itr, end 19 , (*x3::char_)[print] 20 , x3::ascii::space); 21 22 return 0; 23 }
x3::parser类模板重载了operator index. 当一个parser对象以一个泛型仿函数对象为实参，调用这个operator index，parser会返回一个对象。这个对象的类型就是x3::action根据parser和f的类型后实例化的类型。而x3::action内部在发现包装的parser匹配成功以后，就会调用这个泛型仿函数。
泛型仿函数(杜撰的)，得满足一个条件。把条件写成一个普通的仿函数如下。
struct action_func { template <typename Context> void operator() (Context& ctx) const { std::cout << _attr(ctx) << std::endl; } };
泛型仿函数必须要有一个，具有一个模板参数的operator call. x3中是不关心这个operator call的返回值，因此可有可无。形参类型是一个依赖模板参数的类型，可以有const限定，但会失去对ctx对象的写权限。C++14标准中的Generic Lambda正好可以满足需求，这里使用lambda非常方便。在boost::spirit::qi中使用了boost::pheonix库来实现Semantic Action，但是局限性很大，使用用户自定义的仿函数也需要一些额外的代码来适配，x3的设计要合理多了。
我们详细讨论这个模板参数Context. Context的类型是由parser的综合属性决定的。它本质上是一个tuple. 而我们在operator call中使用的_attr()函数，可以类比为std::get<I>()函数，来获取上下文中传递的数据。_attr()获取的就是包装的子parser的综合属性。这样的函数还有三个，_val()获取rule的综合属性，_where()获取源码匹配串的当前迭代器位置，_pass()获取匹配的结果。_val()与_attr()的细节，鄙文在介绍rule的时候会展开。这里先用一个简单示例展示_pass()的使用方法。
//#include ...... auto const foo = [](auto& ctx) { if (_attr(ctx) > 100 || _attr(ctx) < 0) _pass(ctx) = false; }; int main(void) { std::string source = "97"; auto itr = source.cbegin(); auto end = source.cend(); int result; auto r = phrase_parse(itr, end , x3::int_[foo] , x3::ascii::space, result); return 0; }
当attribute，在这里就是x3::int_的综合属性，大于100或者小于0的时候把匹配设置为失败。
Rule
x3::rule可以管理组合在一起的基本语法单元，成为一个更复杂的parser。通常在实践中，我们自己定义的DSL语法会很复杂，使用rule管理基本的parsers，就是使用自底向上的方法构建我们的语法产生式，使得层次更加的清晰。下面，依旧以C++ Identifier为示例。
1 #include <boost/config/warning_disable.hpp> 2 #include <boost/spirit/home/x3.hpp> 3 4 #include <string> 5 #include <iostream> 6 7 namespace x3 = boost::spirit::x3; 8 9 namespace client 10 { 11 using x3::lexeme; 12 using x3::raw; 13 using x3::char_; 14 using x3::ascii::alnum; 15 using x3::ascii::alpha; 16 17 x3::rule<class identifier, std::string> const identifier = "identifier"; 18 auto const identifier_def = raw[lexeme[(alpha | '_') >> *(alnum | '_')]]; 19 20 template <typename Iterator, typename Context, typename Attribute> 21 inline bool parse_rule( 22 x3::rule<class identifier, std::string> rule, 23 Iterator& first, Iterator const& last, 24 Context const& ctx, Attribute& attr) 25 { 26 using boost::spirit::x3::unused; 27 static auto def = (identifier = identifier_def); 28 return def.parse(first, last, ctx, unused, attr); 29 } 30 } 31 32 33 int main(void) 34 { 35 std::string source = "_identifier"; 36 auto itr = source.cbegin(); 37 auto end = source.cend(); 38 39 std::string str; 40 auto r = phrase_parse(itr, end, client::identifier, x3::ascii::space, str); 41 42 return 0; 43 }
x3::rule一般情况下要定义两个模板参数，第一个模板参数是一个ID，仅仅只是当做ID的参数，可以只是一个前向申明；第二个参数是这个rule的综合属性。第十七行代码中用一个字符串初始化这个rule，给这个rule一个名字，这个行为是可选的，rule保存的字符串可以在调试的时候起到一定的作用。同事，我们可以发现这个rule使用了const修饰符，因为我们的语法都是不变的。定义一个rule对象是申明一个语法，接下来我们要定义它，第十八行的代码就是定义它的方法。那么identifier与identifier_def是如何绑定到一起的？下面我们对x3的源码探究一下，浅尝辄止。
x3::phrase_parser作为整个解析的入口，这个函数会进入x3::phrase_parse_main这个函数。
// line 94 in <boost/spirit/home/x3/cord/parse.hpp> template <typename ... > inline bool phrase_parse_main(...) { /* lines of code */ bool r = as_parser(p).parse(first, last, skipper_ctx, unused, attr); /* we don`t care now! */ }
phrase_parse_main会从这个用Expression Tetmplate构造的静态语法产生式的根节点开始，调用parser的parse方法。实际上rule是从parser使用CRTP模式派生出来的，rule也是一个parser，pharse_parse_main就会进入到rule的parse方法中。
// line 74 in <boost/spirit/home/x3/nonterminal/rule.hpp> template <typename ID, typename Attribute, bool force_attribute_> struct rule : parser<rule<ID, Attribute>> { /* lines of code */ template<...> rule_defintion<...> operator=(RHS ....); template <typename Iterator, typename Context, typename Attribute_> bool parse(Iterator& first, Iterator const& last , Context const& context, unused_type, Attribute_& attr) const { return parse_rule(*this, first, last, context, attr); } /* we don`t care now! */ }
rule的parse成员模板方法调用了一个重要的函数，parse_rule函数。这个函数本来可以用一个通用的模板函数处理所有通用的情况，但是x3并没有这么做。x3的设计是在这里希望用户自己实现一个parse_rule的重载函数。注意，parse_rule是一个非限定性名称(Unqualified Name)，因此parse_rule的重载方法因ADL查找的机制，可以定义用户的命名空间下面，rule其实也是定义在用户的命名空间下面。从这里就能够看到x3良好设计的思想。
这里有一个问题，为何不把rule管理的语法单元包含的rule对象中？通过阅读rule的源码可以发现，其成员仅有一个string成员变量。如果大家熟悉Expression Template的设计原理，就可以知道identifier_def是带有复杂的类型信息的。如果我们在rule中包含这个identifier_def，我们只有两种选择。增加一个模板参数<typename RHS>，使用CRTP的方式再一次继承；或者使用一个抽象类型把分派交给运行期。第一种方法，定然会让用户定义rule的时候非常不方便，第二种方法显然也已经违背了x3设计的初衷。然而x3在这里来了一记金蝉脱壳！且看示例代码的第22行。x3使用了rule_defintion来真正管理复杂的Expression Template，它以静态对象的方式在用户命名空间下重载的parse_rule的scope中存在。ADL查找配合重载决议，解析rule的代码进入用户自定义的parse_rule函数中，并由rule_defintion的parse方法继续递归向下！x3此处的设计方法，非常惊艳！！
大部分情况下，我们重载的parse_rule的方法就只有这几行代码了，而且是重复的。x3为了减少大家重载函数的工作量，定义了一个宏BOOST_SPIRIT_DEFINE来完成这项工作。但是有一个约定，rule_definition的对象名只能是rule的对象名跟一个"_def"的后缀。BOOST_SPIRIT_DEFINE还是一个可变参数的宏，可以让我们只使用一个宏就能够定义出我们需要的全部工作。
Problems in MSVC
上午刚刚从群里面的伙伴得知vs2015 update 1已经部分支持Expression SFINAE的特性了，x3的代码是不是可以不用修改就能使用。此时我正在下载安装update 1，稍后验证一下，会在后面的文章给出测试结果。
上一篇中也有一些纰漏。x3在vs2015中不能使用而修改的SFINAE的实现方法有点问题，并不能正确traits出ID是否有on_error和on_success函数，正确的修改做法请参考这一篇博客。我写的SFINAE为什么没有生效，小生还需研究一下，还请知道的大神们不吝赐教。
再提一提BOOST_SPIRIT_DEFINE宏，上一篇的文章中，我们有修改这个宏。官方的示例是允许如下的使用方式的。
1 BOOST_SPIRIT_DEFINE(identifier = identifier_def) 2 // or 3 BOOST_SPIRIT_DEFINE(identifier = 4 raw[lexeme[(alpha | '_') >> *(alnum | '_')]])
以上两种方式在vs2015中也不不能编译通过的，不过使用本文示例中的方法暂时能满足需求。我也会在update1中也验证一下，decltype的bug是不是修复了。
Ending
x3提供了Semantic Action给用户处理复杂的解析行为，还提供了rule给用户管理复杂的语法单元。但是x3并没有把复杂的问题交给用户，而是使用了精妙的设计来规避静态类型带来的问题。下一篇，小生会谈谈spirit的性能问题，如何高效使用spirit的注意事项；还会详细讲述x3的黑科技，自定义parser来扩展x3的功能。