具有继承属性的 Boost 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 作为它的继承属性，解析匹配这个字符串的输入，然后把这个字符串作为一个综合属性返回。此示例代码无法编译，我无法弄清楚原因。我一直在使用启用 C++11 的 GCC 和 Clang 进行编译。任何一个编译器的输出都是巨大的（大约 1000 行），我无法理解它。 boost::spirit::qi::_r1的使用有问题吗？规则声明中的std::string(std::string) 有问题？

提前感谢您的帮助。

Answer 1

我尝试构建一个示例here。我不确定我是否遇到过与您相同的问题（因为您没有提供重现它们的方法），但我认为有两个不同的问题：第一个非常常见的问题是 PhoenixV2 无法使用“现代编译器”，因为 Boost 1.52 中的重大更改使 BOOST_RESULT_OF_USE_DECLTYPE 成为默认值。 有两种方法可以解决这个问题（至少使用 coliru 使用的 clang 版本）或者通过定义 BOOST_SPIRIT_USE_PHOENIX_V3 使用 V3（这是我推荐的，我认为它应该是默认值）或者将 result_of 协议返回给V2 通过定义 BOOST_RESULT_OF_USE_TR1 所期望的行为。第二个问题，我不太熟悉，所以对此持保留态度，或者只是等待“更有经验的人”的回答，似乎你不能直接将字符串文字作为继承属性传递，您需要将它们作为字符串传递（使用 phx::val("foo") 似乎也可以）。

短版：定义 BOOST_SPIRIT_USE_PHOENIX_V3 并将继承的属性作为 std::string 而非字符串文字传递。