2

这是一个示例代码

#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>

#include <iostream>
#include <string>

namespace qi = boost::spirit::qi;

    template <typename Iterator>
    struct input : qi::grammar<Iterator, unsigned()>
    {
        input() : input::base_type(start)
        {
            using qi::lit;
            using qi::double_;

            start = lit("ADD") 
                            >> +(
                                    +lit(" ")
                                    >> double_ 
                                    >> +lit(" ")
                                    >> double_
                                ); 
        }

        qi::rule<Iterator, unsigned()> start;
    };

int main()
{

    input<std::string::const_iterator> input_parser; // Our grammar
    std::string str = "ADD 1132.324 2342.234";
    unsigned result;

    std::string::const_iterator iter = str.begin();
    std::string::const_iterator end = str.end();

    bool r = qi::parse(iter, end, input_parser, result);

}

我收到以下错误。

/usr/local/include/boost/spirit/home/qi/nonterminal/rule.hpp:201: 实例化自‘boost::spirit::qi::rule& boost::spirit::qi::rule:: operator=(const Expr&) [with Expr = boost::proto::exprns_::expr&, const boost::proto::exprns_::expr&>, 1l>&, const boost::spirit::terminal&>, 2l> &, const boost::proto::exprns_::expr&>, 1l>&>, 2l>&, const boost::spirit::terminal&>, 2l>&>, 1l>&>, 2l>, Iterator = __gnu_cxx ::__normal_iterator, std::allocator >>, T1 = unsigned int ()(), T2 = boost::fusion::unused_type, T3 = boost::fusion::unused_type, T4 = boost::fusion::unused_type] ’ mini.c++:34:从“input::input() [with Iterator = __gnu_cxx::__normal_iterator, std::allocator >]” mini 实例化。c++:49: 从这里实例化 /usr/local/include/boost/spirit/home/qi/operator/plus.hpp:62: error: no type named 'type' in 'struct boost::spirit ::traits::container_value——</p>

奇怪的是,如果我使用减号(-)操作,即

start = lit("ADD") 
                            >> -(
                                    +lit(" ")
                                    >> double_ 
                                    >> +lit(" ")
                                    >> double_
                                );

...它编译得很好!

在 gcc 4.3.4 上编译。

4

1 回答 1

2

您的启动规则公开的属性是unsigned,而 plus-parser 公开了一个容器类型,其中包含被包装元素的属性。以下是文档中的属性传播规则:

a: A --> +a: vector<A>

(即,如果解析器a公开了类型的属性A,则解析器+a将公开一个(标准)容器A,其中包含 的实例std::vector<A>)。

在您的情况下,嵌入式解析器公开了double's. 因此,您需要更改代码才能按预期工作:

template <typename Iterator>
struct input : qi::grammar<Iterator, std::vector<double>()>
{
    input() : input::base_type(start)
    {
        using qi::lit;
        using qi::double_;
        start = lit("ADD") >> +(+lit(" ") >> double_ >> +lit(" ") >> double_);
    }

    qi::rule<Iterator, std::vector<double>()> start;
};

int main() 
{
    input<std::string::const_iterator> input_parser; // Our grammar
    std::string str = "ADD 1132.324 2342.234";

    std::vector<double> result;
    std::string::const_iterator iter = str.begin();
    std::string::const_iterator end = str.end();
    bool r = qi::parse(iter, end, input_parser, result);  
} 

但不幸的是,事情并不像看起来那么容易。当前版本的 Spirit 有一个错误阻止代码工作(即使即将发布的 Boost V1.46 仍然会有这个错误,但它已在 SVN 主干中修复)。问题是,加号不会将嵌入的元素“扁平化”到提供的容器中,导致上面代码每秒钟解析一次双精度都会丢失。

解决方法是避免序列在 plus 内暴露多个属性:

start = lit("ADD") >> +(+lit(" ") >> double_);

之后验证解析的元素数量是偶数。

附注:您似乎想跳过输入中元素之间的空格。这可以通过使用跳过解析器更容易实现:

template <typename Iterator>
struct input : qi::grammar<Iterator, std::vector<double>(), qi::space_type>
{
    input() : input::base_type(start)
    {
        using qi::lit;
        using qi::double_;
        start = lit("ADD") >> +double_;
    }

    qi::rule<Iterator, std::vector<double>(), qi::space_type> start;
};

int main() 
{
    input<std::string::const_iterator> input_parser; // Our grammar
    std::string str = "ADD 1132.324 2342.234";

    std::vector<double> result;
    std::string::const_iterator iter = str.begin();
    std::string::const_iterator end = str.end();
    bool r = qi::phrase_parse(iter, end, input_parser, qi::space, result);  
} 

这同时规避了上述问题。

于 2011-01-23T17:57:34.027 回答