c++ - 使用函数属性构建 qi::rule

Question

我正在尝试创建一个返回 function<char(char const *)> 的规则通过柯里化(Currying) Phoenix 表达式构造。例如，

start = int_[_val = xxx];
rule<Iterator, function<char(char const *)> start;

应该做什么xxx以便解析字符串 "5"应该给我一个函数，给我输入的第五个字符吗？我试过类似 lambda(_a = arg1)[arg1[_a]](_1) 的东西可能有用，但我一直没能找到神奇的公式。

换句话说，我想要 curry 属性 arg2[arg1]关于解析后的int值

非常感谢任何建议。请注意，我使用的是 VC2008，因此 C++11 lambda 不可用。

迈克

Answer 1

修改该规则声明后:

typedef boost::function<char(char const*)> Func;
qi::rule<Iterator, Func()> start;

有效: Live On Coliru (c++03).

更新:

为什么我最终得到了如此复杂的装置？

qi::_val = px::bind(px::lambda[arg1[arg2]], px::lambda[arg1], qi::_1)

嗯。让我告诉您使用惰性求值(在 C++ 模板元编程中具有引用/值语义的这些惊喜)的复杂函数组合的乐趣:不要执行以下操作:

qi::_val = px::lambda(_a = qi::_1) [arg1[_a]] // UB!!! DON'T DO THIS

根据编译器和优化级别，这可能*看起来有效。但它正在调用未定义的行为 ^[1]。问题在于 qi::_1 将作为 reference 对 qi::int_ 解析器表达式公开的属性进行保留。但是，此引用在解析器上下文的生命周期结束后成为悬空引用。

因此通过无效引用间接计算仿函数。为避免这种情况，您应该说 ( Live On Coliru ):

qi::_val = px::lambda(_a = px::val(qi::_1)) [arg1[_a]]

甚至(如果您喜欢晦涩难懂的代码):

qi::_val = px::lambda(_a = +qi::_1) [arg1[_a]]

或者，您知道，您可以坚持使用绑定(bind)嵌套 lambda，因为绑定(bind) 默认 到 qi::_1 的值语义(除非您使用 phx::cref/phx::ref 包装器)。

我希望以上分析能说明我之前在评论中提出的观点:

Note that I wouldn't recommend this code style. Higher-order programming with Phoenix is tricky enough without composing them from within lazy actors in some embedded expression-template DSL: qi::_val = px::bind(px::lambda[arg1[arg2]], px::lambda[arg1], qi::_1). 'Nuff said?

---

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

namespace qi = boost::spirit::qi;
namespace px = boost::phoenix;

typedef boost::function<char(char const*)> Func;

int main()
{
    typedef std::string::const_iterator Iterator;
    using namespace boost::phoenix::arg_names;

    qi::rule<Iterator, Func()> start;

    start = qi::int_ 
            [ qi::_val = px::bind(px::lambda[arg1[arg2]], px::lambda[arg1], qi::_1) ];
    // or:  [ qi::_val = px::lambda(_a = px::val(qi::_1))[arg1[_a]] ];

    static char const* inputs[] = { "0", "1", "2", "3", "4", 0 };

    for (char const* const* it = inputs; *it; ++it)
    {
        std::string const input(*it);
        Iterator f(input.begin()), l(input.end());

        Func function;
        bool ok = qi::parse(f, l, start, function);

        if (ok)
            std::cout << "Parse resulted in function() -> character " 
               << function("Hello") << "; " 
               << function("World") << "\n";
        else
            std::cout << "Parse failed\n";

        if (f != l)
            std::cout << "Remaining unparsed: '" << std::string(f, l) << "'\n";
    }
}

打印

Parse resulted in function() -> character H; W
Parse resulted in function() -> character e; o
Parse resulted in function() -> character l; r
Parse resulted in function() -> character l; l
Parse resulted in function() -> character o; d

---

^[1](MSVC2013 似乎崩溃了，gcc 似乎可以在 -O3 中工作，但在 -O0 中出现段错误等)