使用继承属性提升Spirit解析器 - 简单示例将无法编译

Question

我正在尝试使用boost :: spirit为类C语言编写解析器,它使用继承的属性来传输有关变量范围的信息.例如,"namespace a {var b}"会将"a"作为属性传递给"var b"的解析器.

我在使用继承属性编译此代码时遇到基本解析器时遇到问题:

#ifndef CPARSER_DEF_HPP
#define CPARSER_DEF_HPP

#include <string>

#include <boost/spirit/include/qi.hpp>

namespace encoding = boost::spirit::ascii;
using boost::spirit::unused_type;
using boost::spirit::qi::rule;

template <typename Iterator>
struct cparser : boost::spirit::qi::grammar<
                    Iterator,
                    std::string(std::string),
                    encoding::space_type
                    >
{
    rule<Iterator, std::string(std::string), encoding::space_type> start;
    rule<Iterator, std::string(std::string), encoding::space_type> sym_list;

    cparser() :
        cparser::base_type(start)
    {
        sym_list         = encoding::string(boost::spirit::qi::_r1);
        start            = sym_list(boost::spirit::qi::_r1);
    }

};

#endif

此解析器在main()中实例化cparser<std::string::const_iterator> parser.

我相信这个解析器应该接受一个std :: string作为它的继承属性,解析匹配该字符串的输入,然后将该字符串作为合成属性返回.这个示例代码没有编译,我无法弄清楚原因.我一直在使用GCC和Clang编译,启用了C++ 11.任何一个编译器的输出都是巨大的(大约1000行),我无法理解它.使用有问题boost::spirit::qi::_r1吗？std::string(std::string)规则声明中的问题是什么？

在此先感谢您的帮助.

Answer 1

我试着在这里构建一个例子.我不确定我是否遇到了同样的问题(因为你没有提供重现它们的方法)但我认为有两个不同的问题:第一个,非常常见,是PhoenixV2无法使用"现代编译器",因为Boost 1.52的突破性变化使得BOOST_RESULT_OF_USE_DECLTYPE默认.有两种方法可以解决这个问题(至少使用coliru使用的clang版本)或者通过定义使用V3 BOOST_SPIRIT_USE_PHOENIX_V3(这是我推荐的,我认为它应该是默认值)或者将result_of协议返回给V2期望的行为通过定义BOOST_RESULT_OF_USE_TR1.第二个问题,其中我并不熟悉,所以请稍等一下,或者只是等待一个更有经验的"某人"的答案,是因为你似乎无法直接将字符串文字作为一个继承的属性传递,你需要将它们作为一个字符串传递(使用phx :: val("foo")似乎也有效).

简短版本:定义BOOST_SPIRIT_USE_PHOENIX_V3并将继承的属性作为std :: string传递,而不是作为字符串文字传递.