一个匿名的lambda函数如何递归的调用自己?

donet8

普通函数是有名字的，递归调用没有问题。

那么lambda函数如何能递归的调用自身呢? 谢谢!

OwnWaterloo

普通的做法：函数表达式而非匿名函数。
既然是表达式，也就可以随处写，而不像函数语句那样必须写在特定位置。
同时既然不是匿名，就可以命名。

js与clojure就是这样的

1. 
   
2. (function f(x) { return x>1? x*f(x-1): 1 })(12) // JS
   
3. ((fn f [x] (if (> x 1) (* x (f (- x 1))) 1)) 12) ; Clojure
   

复制代码

但C++11的lambda是匿名函数，不能这么玩……


文艺的做法：不动点组合子
在C++11里需要处理：
1) 生命周期 —— 如果不使用gc
2) 类型 —— 包括不同类型签名，以及f(f)的类型。

看这个： http://codereview.stackexchange. ... d-under-vistual-stu

walleeee

要用function

1. #include <functional>
   
2. #include <stdio.h>
   
3. 
   
4. int main()
   
5. {
   
6.     std::function<int(int)> fib = [&fib](int n) -> int
   
7.     {
   
8.         return (n<=2) ? (1) : (fib(n-1)+fib(n-2));
   
9.     };
   
10. 
    
11.     printf("%d\n", fib(10));
    
12.     return 0;
    
13. }
    

复制代码

OwnWaterloo

补充一下，JS与Clojure的named function expression的name的作用域是在被调用函数(callee)中当中而非调用者(caller)中。
ecmascript5:

1. 
   
2. // caller scope
   
3. [1,2,3].map(function f(x) { /*callee scope*/return x>1? x*f(x-1): 1 }) // [1,2,6]
   
4. // caller scope
   

复制代码

Clojure同理：

1. 
   
2. // caller scope
   
3. (map (fn f [x] "callee scope" (if (> x 1) (* x (f (- x 1))) 1)) '(1 2 3)) ; (1 2 6)
   
4. // caller scope
   

复制代码

前面提到的：http://codereview.stackexchange. ... d-under-vistual-stu
可以达到这样的效果：

1. 
   
2. // caller scope
   
3. transform(beg, end, dst,
   
4. getFix([](std::function<int (int)> f) -> std::function<int (int)>{
   
5. // callee scope
   
6.         return [f](int n)->int { if(n==0) return 1; else return n * f(n-1); };
   
7. }) );
   
8. // caller scope
   

复制代码

注意getFix的参数， 不是阶乘本身， 而是一个返回函数的函数。 返回的函数中才包含了阶乘计算。通过这样绕过生命周期问题。
再通过loopfunc_t绕过f(f)的类型问题。
最后用变长模板参数解决签名问题。

PS： 实践中最好不要这样玩，这已经超出C++的能力了。
实践中，让函数名在caller scope但又不是top-level的机制在C++98就存在了， 就是inner class。

AD8018

你们在说什么？是希望有这样的语法吗？
我怀疑现有的语法结构下，已经很难和谐的加进去一些东西。

1. 
   
2. int main()
   
3. {
   
4.      print( [&]fib(int n) -> int
   
5.          {
   
6.              return (n<=2) ? (1) : (fib(n-1)+fib(n-2));
   
7.          });
   
8. 
   
9. }
   

复制代码

三月廿七

                  

OwnWaterloo

回复 5# AD8018

这也行？还是只是你想象中的语法？

walleeee

回复 7# OwnWaterloo


你是不是退化到连中文都看不懂了？

AD8018

OwnWaterloo 发表于 2012-05-28 20:20
回复 5# AD8018

这也行？还是只是你想象中的语法？

纯属臆想

fallening_cu

本版折腾 C＋＋11 的来齐了？