编译自定义容器以提升精神时出错

Error compiling a custom container for boost spirit

本文关键字：出错 自定义 编译      更新时间：2023-10-16

我想解析如下内容：

1;2
=1200
3;4
5;6

行可以按任意顺序显示。以 = 符号开头的行可以不止一行，只有最后一行很重要;包含 ;表示我要存储在地图中的一对值。阅读这个问题的答案，我想出了一些应该足够好的代码（对不起，但我仍然是 Spirit 的菜鸟），并且应该做我想要实现的目标。代码如下：

#define BOOST_SPIRIT_USE_PHOENIX_V3
#define DATAPAIR_PAIR
#include <iostream>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/adapted/std_pair.hpp>
#include <boost/mpl/bool.hpp>
#include <map>
#if !defined(DATAPAIR_PAIR)
#include <vector>
#endif

static const char g_data[] = "1;2n=1200n3;4n5;6n";
typedef std::string DataTypeFirst;
#if defined(DATAPAIR_PAIR)
typedef std::string DataTypeSecond;
typedef std::pair<DataTypeFirst, DataTypeSecond> DataPair;
typedef std::map<DataTypeFirst, DataTypeSecond> DataMap;
#else
typedef std::vector<DataTypeFirst> DataPair;
typedef std::map<DataTypeFirst, DataTypeFirst> DataMap;
#endif
struct MyContainer {
    DataMap data;
    double number;
};
namespace boost { namespace spirit { namespace traits {
    template<> struct is_container<MyContainer> : boost::mpl::true_ {};
    template<>
    struct container_value<MyContainer> {
        typedef boost::variant<double, DataPair> type;
    };
    template <>
    struct push_back_container<MyContainer, double> {
        static bool call ( MyContainer& parContainer, double parValue ) {
            parContainer.number = parValue;
            return true;
        }
    };
    template <>
    struct push_back_container<MyContainer, DataPair> {
        static bool call ( MyContainer& parContainer, const DataPair& parValue ) {
#if defined(DATAPAIR_PAIR)
            parContainer.data[parValue.first] = parValue.second;
#else
            parContainer.data[parValue[0]] = parValue[1];
#endif
            return true;
        }
    };
} } }
template <typename Iterator>
struct TestGrammar : boost::spirit::qi::grammar<Iterator, MyContainer()> {
    TestGrammar ( void );
    boost::spirit::qi::rule<Iterator, MyContainer()> start;
    boost::spirit::qi::rule<Iterator, DataPair()> data;
    boost::spirit::qi::rule<Iterator, double()> num;
};
template <typename Iterator>
TestGrammar<Iterator>::TestGrammar() :
    TestGrammar::base_type(start)
{
    using boost::spirit::qi::alnum;
    using boost::spirit::qi::lit;
    using boost::spirit::ascii::char_;;
    using boost::spirit::qi::double_;
    using boost::spirit::qi::eol;
    using boost::spirit::qi::eoi;
    start %= *((num | data) >> (eol | eoi));
    data = +alnum >> lit(";") >> +alnum;
    num = '=' >> double_;
}
int main() {
    std::cout << "Parsing data:n" << g_data << "n";
    TestGrammar<const char*> gramm;
    MyContainer result;
    boost::spirit::qi::parse(static_cast<const char*>(g_data),
        g_data + sizeof(g_data) / sizeof(g_data[0]) - 1,
        gramm,
        result
    );
    std::cout << "Parsed data:n";
    std::cout << "Result: " << result.number << "n";
    for (const auto& p : result.data) {
        std::cout << p.first << " = " << p.second << 'n';
    }
    return 0;
}

我正在使用dev-libs/boost-1.55.0-r2：0/1.55.0和gcc（Gentoo 4.8.3 p1.1，pie-0.5.9）4.8.3在Gentoo Linux上开发这个。编译上面的代码，我收到一个错误，例如

/

usr/include/boost/spirit/home/support/container.hpp：278：13：错误："struct MyContainer"没有名为"insert"的成员

作为一种解决方法，我想出了通过注释"#define DATAPAIR_PAIR"行获得的替代代码。在这种情况下，代码可以编译并工作，但我真正想要的是一对可以混合 std：：string 和 int 值的地方。为什么使用 std：:p air 作为数据规则的属性会导致编译器错过正确的push_back_container专用化？是否可以使用 std：:p air 或任何等效的东西修复代码并使其工作？

我会通过/just/不同时将容器和非容器之类的东西来简化这一点。因此，对于这种特殊情况，我可能会偏离我通常的口头禅（避免语义操作）并使用它们¹：

住在科里鲁 

template <typename It, typename Skipper = qi::blank_type>
struct grammar : qi::grammar<It, MyContainer(), Skipper> {
    grammar() : grammar::base_type(start) {
        update_number = '=' > qi::double_ [ qi::_r1 = qi::_1 ];
        map_entry     = qi::int_ > ';' > qi::int_;
        auto number = phx::bind(&MyContainer::number, qi::_val);
        auto data   = phx::bind(&MyContainer::data, qi::_val);
        start         = *(
            (   update_number(number) 
              | map_entry [ phx::insert(data, phx::end(data), qi::_1) ]
            )
            >> qi::eol);
    }
  private:
    qi::rule<It, void(double&),       Skipper> update_number;
    qi::rule<It, MyContainer::Pair(), Skipper> map_entry;
    qi::rule<It, MyContainer(),       Skipper> start;
};

如果您能负担得起地图中的(0;0)条目，您甚至可以省去语法：

住在科里鲁

std::map<int, int> data;
double number;
bool ok = qi::phrase_parse(f, l, 
       *(
            (qi::omit['=' > qi::double_ [phx::ref(number)=qi::_1]] 
          | (qi::int_ > ';' > qi::int_)
        ) >> qi::eol)
        , qi::blank, data);

我也可以尝试让你的"高级精神"方法奏效，但这可能需要一段时间:)

¹ 我使用auto来提高可读性，但当然你不需要使用它;只需内联重复子表达式或使用BOOST_AUTO。 请注意，对于有状态解析器表达式，这通常不是很好的建议（请参阅BOOST_SPIRIT_AUTO）

相关文章：