Recursive Lambda in C++

C++ 标准委员会真是太死板了，既然给 C++ 增加了 lambda，就真的按部就班地套用 lambda 的标准定义，也不加个 lambda的自引用机制。找了半天，除了那些学院派的足以把99%的人搞晕的 Fix Point + Y combinator，一个最实用的解决方案就是把 lambda bind 到 std::function<...>.

我那段需要 recursive lambda 的代码：

  void print_output() const { // use recursive lambda
        std::string str;
        std::function<void(state_id_t,state_id_t,char_t)> lambda =
        [&](state_id_t source,state_id_t target,char_t c) {
            str.push_back(c);
            if (is_term(target))
                cout <<str << '\n';
            for_each_move(target, lambda);
            str.resize(str.size()-1); // pop_back
        };
        for_each_move(initial_state, lambda);
    }

这是以 DFS 顺序打印 Tree Shape Automata 的代码，为了各种原因(内存，速度，简洁)，设计了一个通用的 for_each_move 来遍历指定 state 的每个直接 target。

如果有 recursive lambda，这代码要更简洁高效一点（假定 [[]] 是引用lambda 自身的那个符号）：

    void print_output() const { // use recursive lambda
        std::string str;
        for_each_move(initial_state, [&](state_id_t, state_id_t target, char_t c) {
            str.push_back(c);
            if (is_term(target))
                cout <<str << '\n';
            for_each_move(target, [[]]);
            str.resize(str.size()-1); // pop_back
        });
    }

这是 C++ Committee 故意的！它就是要让大家难受，以昭显他们的 Pure Academic，他们的 Pure Mathematic!
加一个自引用的符号多容易呀！

评论

1 楼 satan_1st 2013-07-24  

据说可以用(*this)取得当前的lambda。