Recursive Lambda in C++
C++ 标准委员会真是太死板了，既然给 C++ 增加了 lambda，就真的按部就班地套用 lambda 的标准定义，也不加个 lambda的自引用机制。找了半天，除了那些学院派的足以把99%的人搞晕的 Fix Point + Y combinator，一个最实用的解决方案就是把 lambda bind 到 std::function<…>.
我那段需要 recursive lambda 的代码：
|
1 2 3 4 5 6 7 8 9 10 11 12 |
void print_output() const { // use recursive lambda std::string str; std::function<void(state_id_t,char_t)> lambda = [&](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 自身的那个符号）：
|
1 2 3 4 5 6 7 8 9 10 |
void print_output() const { // use recursive lambda std::string str; for_each_move(initial_state, [&](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!
加一个自引用的符号多容易呀！
