4

我想更改语义操作中的局部变量值，如下所示：

#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <string>

namespace qi = boost::spirit::qi;
namespace spirit = boost::spirit;
namespace ascii = boost::spirit::ascii;
using boost::phoenix::ref;
using boost::phoenix::bind;

void dummy(const std::vector<char>& v, int& var)
{
    var = 7;
}

template <typename Iterator>
struct x_grammar : public qi::grammar<Iterator, std::string(), ascii::space_type>
{
public:
    x_grammar() : x_grammar::base_type(start_rule, "x_grammar")
    {
        using namespace qi;
        int local_var = 0;
        start_rule = (+(char_ - ";"))[bind(dummy, _1, ref(local_var))];
        //repeat(ref(local_var))[some_rule];
    }
private:
    qi::rule<Iterator, std::string(), ascii::space_type> start_rule;
};

int main()
{
    typedef std::string::const_iterator iter;
    std::string storage("string;aaa");
    iter it_begin(storage.begin());
    iter it_end(storage.end());
    std::string read_data;
    using boost::spirit::ascii::space;
    x_grammar<iter> g;
    try {
        bool r = qi::phrase_parse(it_begin, it_end, g, space, read_data);
        std::cout << "Pass!\n";
    } catch (const qi::expectation_failure<iter>& x) {
        std::cout << "Error!\n";
    }
}

我在使用 GCC 4.6.1 和 boost 1.55 时遇到了一些烦人的编译错误。

4

2 回答 2

7

我不禁要注意，如果编译器错误让您烦恼，那么也许您应该编写有效代码：/

指导性帽子...

虽然这当然是一个轻率的言论，但它也有点启发性。

我已经告诉过你两次了，在你的语法中使用构造函数局部变量的整个想法从根本上被打破了：

你想要的是

  • 继承属性
  • qi::locals
  • maayyyyybe, maaaayyybe 语法成员变量；需要注意的是，它们使您的规则不可重入。

真正进入你脑海的重要事情是

Boost Spirit 从表达式模板生成解析器。表达式模板是 90% 的静态信息（仅限类型），并被“编译”（.compile()）成“可调用”（.parse()）形式。

最重要的是，虽然您可以在语义操作中编写控制流，但这些都不会在定义站点上实际执行。它被“编译”成一个稍后可以调用的惰性actor 。

当对应的解析表达式匹配时，生成的解析将有条件地调用惰性actor

建设性的帽子...

看起来您只想使用函数转换属性。

以下是您可以执行的操作：

  1. 转换作为语义动作的一部分，将结果放入常规属性（为解析器组合维护“功能”语义）：

    qi::rule<Iterator, exposed(), Skipper> myrule;
myrule = int_ [ _val = phx::bind(custom_xform, _1) ];

    custom_xform任何老式可调用对象（包括多态对象）在哪里：

    exposed custom_xform(int i) { return make_new_exposed(i); } 
// or
struct custom_xfrom_t {

  template <typename> struct result { typedef exposed type; };

  template <typename Int>
    exposed operator()(Int i) const {
        return make_new_exposed(i);
    }
};
static const custom_xform_t custom_xform;

  2. 您可以添加一些语法糖[1]

    qi::rule<Iterator, exposed(), Skipper> myrule;
myrule = int_ [ _val = custom_xform(_1) ];

    这需要custom_xform被定义为一个惰性actor：

    phx::function<custom_xform_t> custom_xform; // `custom_xform_t` again the (polymorphic) functor

    您可能会注意到这不适用于常规功能。您可以将其包装在可调用对象中，或使用BOOST_PHOENIX_ADAPT_FUNCTION宏为您执行此操作

  3. 如果您想要更频繁地应用一些更复杂的转换，请考虑使用 Spirit Customization Points：

    如果您为属性选择特定类型（例如Ast::Multiplicityor Ast::VelocityRanking，而不是intordouble

[1]使用 BOOST_SPIRIT_USE_PHOENIX_V3

于 2014-05-21T18:49:43.167 回答
2

代码用 C++03编译。但是，当使用 GCC 4.6 的 C++11 支持时，代码无法编译。以下是错误的相关摘录：

/usr/local/include/boost/spirit/home/support/action_dispatch.hpp：在静态
    成员函数'static void boost::spirit::traits::action_dispatch<
    组件>::caller(F&&, A&& ...) [with F =
    const std::_Bind<与 Boost.Phoenix 演员> ]'

...

main.cpp:25:9: 从 'x_grammar<Iterator>::x_grammar() [...] 实例化

/usr/local/include/boost/spirit/home/support/action_dispatch.hpp:142:13：错误：
    没有匹配函数调用'boost::spirit::traits::
    action_dispatch<...>::do_call(const std::_Bind<with Boost.Phoenix actor> )'

尽管有using boost::phoenix::bind指令，但不合格的调用bind()解析为std::bind()而不是boost::phoenix::bind()，但参数解析为 Boost.Phoenix 演员。Boost.Spirit文档特别警告不要混合来自不同库的占位符：

您必须确保不要将占位符与它们不属于的库混合使用，并且在编写语义操作时不要使用不同的库。

因此，编译问题可以通过在定义语义动作时明确来解决。使用任一：

std::bind(dummy, std::placeholders::_1, std::ref(local_var))

或者：

boost::phoenix::bind(dummy, _1, ref(local_var))

虽然这解决了编译器错误，但值得注意的是该ref(local_var)对象将维护一个悬空引用，因为它的生命周期超出了local_var. 这是一个工作示例，其中local_var通过将其设为静态，将其生命周期扩展到构造函数的范围之外。

于 2014-05-21T18:44:11.317 回答