令牌分析器的语义动作

Question

我已经写了基于所示的代码工作令牌解析器在spirit lex example 4

我的一个规则是这样的

set_name 
     = ( tok.set_ >> tok.name_ >> tok.identifier) 
      [ 
       std::cout << val("set name statement to: ") << _3 << "\n" 
      ] 
     ; 

这种运作良好。当

SET NAME xyz 

呈现其输出如我所料

集名称声明：XYZ

现在我想要做一些有用的东西，发现存储到一个类名。从parser semantic examples工作我写这篇文章的代码

class writer 
    { 
    public: 
     void print(string const& s) const 
     { 
      std::cout << s << std::endl; 
     } 
    }; 

    writer w; 

    ... 

    set_name 
     = ( tok.set_ >> tok.name_ >> tok.identifier) 
      [ 
       boost::bind(&writer::print, &w, ::_3) 
      ] 
     ; 

这并不编译

 
1>C:\Program Files\boost\boost_1_44\boost/bind/bind.hpp(318) : error C2664: 'R boost::_mfi::cmf1::operator()(const U &,A1) const' : cannot convert parameter 2 from 'bool' to 'const std::basic_string ' 
1>  with 
1>  [ 
1>   R=void, 
1>   T=eCrew::rule::writer, 
1>   A1=const std::string &, 
1>   U=eCrew::rule::writer * 
1>  ] 
1>  and 
1>  [ 
1>   _Elem=char, 
1>   _Traits=std::char_traits, 
1>   _Ax=std::allocator 
1>  ] 
1>  Reason: cannot convert from 'bool' to 'const std::string' 
1>  No constructor could take the source type, or constructor overload resolution was ambiguous 

为什么编译器抱怨一个试图从布尔到字符串转换？我看不到任何布尔。

Answer 1

占位符在

std::cout << val("set name statement to: ") << _3 << "\n" 

指boost::spirit::_3，这是一个boost.phoenix v2的占位符。占位符在

boost::bind(&writer::print, &w, ::_3) 

是一个boost.bind占位符（自然地）。

这些占位符做不是共享相同的行为，甚至引用相同的数据。形式的凤凰占位符_ ň指解析器的第N子属性，而绑定的占位符有不同的含义：

• _1指的是你的解析器的属性作为一个整体
• _2指解析器的上下文
• _3指bool&“重灾区”参数

你的情况，最简单的解决方案是使用boost::phoenix::bind，而不是boost::bind，这样就可以继续使用_3来引用分析器的第三个子属性，而不必在writer::print内手动挑选它。

或者，只有当你希望连接的语义动作tok.identifier使boost.bind的::_1作品：

set_name 
    = tok.set_ 
    >> tok.name_ 
    >> tok.identifier[boost::bind(&writer::print, &w, ::_1)] 
;