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

windoze

回复 19# OwnWaterloo

额……lambda的定义不就是“匿名函数”么？有名字就不是lambda了…………

话说回来，莫非你不能这么写么？

1. 
   
2. std::function<void()> f=[&f](){ f(); };
   

复制代码

OwnWaterloo

回复 20# windoze

正式因为这个。。。 所以JS换了一个术语，叫函数表达式(function expression)，而不叫匿名函数。因为可以可选地为它命个名。
而Clojure里的匿名函数字面量值的是这个： Macro characters

Anonymous function literal (#())
#(...) => (fn [args] (...))

fn本身是可以命名的。

与

1. 
   
2. std::function<void()> f=[&f](){ f(); };
   

复制代码

的区别是作用域不同。 f的作用域在body之外， 而JS和Clojure可以在body内部。

lost_templar

OwnWaterloo 发表于 2014-03-23 22:29
回复 20# windoze

正式因为这个。。。 所以JS换了一个术语，叫函数表达式(function expression)，而不叫匿名函数。因为可以可选地为它命个名。
而Clojure里的匿名函数字面量值的是这个： Macro characters

    Anonymous function literal (#())
    #(...) => (fn [args] (...))


fn本身是可以命名的。

与

    std::function<void()> f=[&f](){ f(); };

复制代码
的区别是作用域不同。 f的作用域在body之外， 而JS和Clojure可以在body内部。

std::function<void()> f = [&f](){f();};
这是是将一个　lambda 转换到了　std::function<void()>，调用了　
function<void()> 的　constructor;

在　libstdc++ 之前的　std::function 的实现中，这个 std::function<void()> 的效率有损失；当前的代码有优化，但是也引入了另外的　bug，可能会产生内存泄露，目前还木有人报告过。

lost_templar

OwnWaterloo 发表于 2014-03-23 18:45
回复 14# lost_templar

用...塞进去不正是因为C++11的lambda是匿名的么？

对比前面Javascript和Clojure的例子，函数表达式可以有一个可选的名字，然后在函数的body里可以引用自己。没有将递归用的函数作为参数传入。

我理解的匿名是这个　lambda 函数的类型是不可知的；你的意思难道是指这个函数名称是不可知的？

OwnWaterloo

回复 23# lost_templar

我感觉LZ指的就是lambda本身匿名 —— 所以才会提到如何递归 —— 而不是lambda的类型。。。

lost_templar

回复 24# OwnWaterloo


    我理解为类型不可知是因为这个例子：

1. cat ld.cc && g++-4.9 -o ld ld.cc -std=c++11 && ./ld
   
2. #include <iostream>
   
3. 
   
4. struct enen
   
5. {
   
6.     template< typename T>
   
7.     void operator()(T, T) const
   
8.     {
   
9.         std::cout << "same type.\n";
   
10.     }
    
11.     template< typename T, typename U >
    
12.     void operator()(T, U) const
    
13.     {
    
14.         std::cout << "different types.\n";
    
15.     }
    
16. };
    
17. 
    
18. 
    
19. int main()
    
20. {
    
21.     enen()( [](){ return 0; }, [](){ return 0; } );
    
22. 
    
23.     return 0;
    
24. }
    
25. 
    
26. different types.

复制代码

即使是同样的　lambda 函数，也会被判断微不同的类型，很囧的

windoze

回复 25# lost_templar

1. 
   
2. int a;
   
3. auto l=[&a](){ ... };
   

复制代码

语法上相当于：

1. 
   
2. int a;
   
3. struct {
   
4.    int &a;
   
5.    void operator()(){ ... }
   
6. } l({a});
   

复制代码

每次的匿名struct都是临时定义的，所以每个lambda都有唯一的类型，和其它所有lambda都不同。