Boost::spirit::qi排列解析器和合成属性

您面临的问题是，您的组合规则的属性基本上是:

tuple< tuple<size_t,bool,size_t>, std::string, std::string >

并且通过将变量一个接一个地放在对phrase_parse的调用中，基本上可以得到:

tuple< size_t, bool, size_t, std::string, std::string >

由于属性传播在精神上的工作方式，这就是正在发生的事情:

将整个tuple<size_t,bool,size_t>分配给您的num1(忽略bool和第二个size_t)，之后spirit试图将第一个字符串分配给bool，导致您遇到的错误。

我认为解决这个问题最干净的方法是创建一个自定义结构来保存反映规则结构的结果。

#include <iostream>
#include <string>
#include <vector>
#include <iterator>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
struct optional_command_line_options
{
   int num1;
    bool bool1;
    int num2;
};
struct command_line_options
{
    optional_command_line_options opt;
    std::string str1;
    std::string str2;
};
BOOST_FUSION_ADAPT_STRUCT(
    optional_command_line_options,
    (int, num1)
    (bool, bool1)
    (int, num2)
)
BOOST_FUSION_ADAPT_STRUCT(
    command_line_options,
    (optional_command_line_options, opt)
    (std::string, str1)
    (std::string, str2)
)
bool parse_line( const std::string&str )
{
    bool rc=false;
    namespace qi = boost::spirit::qi;
    using boost::spirit::ascii::space;
    using boost::spirit::ascii::char_;
    std::string::const_iterator iter( str.begin() );
    command_line_options options;
    options.opt.num1=88;
    options.opt.bool1=false;
    options.opt.num2=88;
    qi::rule< std::string::const_iterator, std::string() > rstring=+~space;

    qi::rule<std::string::const_iterator, boost::spirit::ascii::space_type,optional_command_line_options() >  trule; 
    trule=
        ( qi::lit( "-p" ) >> qi::int_ ) ^
        ( qi::lit( "-j" ) >> qi::attr(true) ) ^
        ( qi::lit( "--jobs" ) >> qi::int_ )
        ;
    qi::rule< std::string::const_iterator, boost::spirit::ascii::space_type, command_line_options() >arule;
    arule = -trule >> rstring >> rstring;
    bool result=qi::phrase_parse( iter,str.end(),
                                 arule,
                                 space,
                                 options
    );
    if(result && iter==str.end())
    {
        std::cout << "Parse successful." << std::endl;
        rc=true;
    }
    else
    {
        std::cerr<<"syntax error: "<<std::string(iter,str.end())<<"!nn";
    }
     std::cout << std::boolalpha;
    std::cout << "num1:" << options.opt.num1 << std::endl;
    std::cout << "bool1:"<< options.opt.bool1  << std::endl;
    std::cout << "num2:" << options.opt.num2 << std::endl;
    std::cout << "str1:" << options.str1 << std::endl;
    std::cout << "str2:" << options.str2 << std::endl;
    return rc;
}
int main( int /*argc*/,char**/*argv*/ )
{
    std::vector< std::string > testData;
    testData.push_back( "-p 100 -j ifile ofile" );
    testData.push_back( "-j -p 100 --jobs 16 ifile ofile" );
    testData.push_back( "--jobs 16 -j -p 100 ifile ofile" );
     testData.push_back( "--jobs 16 -p 100 ifile ofile" );
     testData.push_back( "ifile ofile" );
    for( std::vector< std::string >::const_iterator it=testData.begin();
         it!=testData.end(); ++it )
    {
        std::cout << "nparsing string:" << *it << std::endl;
        parse_line( *it );
    }
    return 0;
}

运行在LWS上。

PS:不使用boost::proto::deep_copy;

auto trule = boost::proto::deep_copy(qi::lit( "-p" ) >> qi::int_);

有一个名为BOOstrongPIRIT_AUTO的宏使它更容易使用:

#define BOOST_SPIRIT_AUTO(domain_, name, expr)                                  
    typedef boost::proto::result_of::                                           
        deep_copy<BOOST_TYPEOF(expr)>::type name##_expr_type;                   
    BOOST_SPIRIT_ASSERT_MATCH(                                                  
        boost::spirit::domain_::domain, name##_expr_type);                      
    BOOST_AUTO(name, boost::proto::deep_copy(expr));
BOOST_SPIRIT_AUTO(qi,trule,qi::lit( "-p" ) >> qi::int_);