Question

我正在尝试用Spirit X3编写一个解析器，但我还没有走得太远，因为我遇到了一个我无法弄清楚的编译错误。我想我知道编译器在抱怨什么，但我不明白为什么它会关心。以下代码编译（clang 3.9，Boost 1.62.0）并且有效。（我意识到它的结构很差，并且有常量的内置解析器;我只是想证明这个问题。）

#define BOOST_SPIRIT_X3_DEBUG

#include <iostream>
#include <boost/spirit/home/x3.hpp>

using namespace std;
namespace x3 = boost::spirit::x3;

namespace lang {

    using namespace x3;

    struct Constant {
    };

    rule<class constant_id, Constant> const constant = "constant";

    auto const integer_literal = -char_('-') >> +digit;
    auto const float_literal = -char_('-') >> +digit >> -(char_('.') >> *digit);

    auto const constant_def = (integer_literal)[([](auto &ctx) { _val(ctx) = Constant(); })];

    BOOST_SPIRIT_DEFINE(constant);
}

int main(int argc, char *argv[]) {

    string s("3.14159");
    if (x3::phrase_parse(s.begin(), s.end(), lang::constant, x3::space)) {
        cout << "Ok!";
    } else {
        cout << "Error!";
    }

    return 0;
}

但是，如果我将constant_def更改为使用float_literal而不是integer_literal：

auto const constant_def = (float_literal)[([](auto &ctx) { _val(ctx) = Constant(); })];

我开始收到编译错误。

sequence.hpp:143:9: error: static_assert failed "Attribute does not have the expected size."
    static_assert(
    ^

查看来源，我看到一条消息：

// If you got an error here, then you are trying to pass
// a fusion sequence with the wrong number of elements
// as that expected by the (sequence) parser.

我认为错误与float_literal定义中存在可选项有关。我认为integer_literal的属性类型与vector<char>类似，但是可选项导致float_literal的属性类似于tuple<vector<char>, optional<vector<char>>>？在某个地方，我试图强迫它成为一个字符串或其他东西而且它失败了，因为它试图将2元组转换为1元组。我怀疑解决方案是将float_literal定义包装在raw[]中，以便我得到底层字符串，这是我想要的。但由于这是我的第一个X3解析器，我想了解为什么编译器会引发此错误，因此如果它出现在另一个上下文中我可以诊断它。

我真正不理解的是编译器关心float_literal类型的原因。我附加了一个生成Constant实例的语义操作，它是常量规则的属性类型，没有任何对float_literal属性的引用，为什么编译器关心{{1}的属性在所有？它在哪里尝试进行不等长度的序列分配，以及用于什么目的？

谢谢！

提升精神X3：“属性没有预期的大小”，但它为什么关心？

0 个答案: