您还未登录! 登录 | 注册 | 帮助  

您的位置: 首页 > 软件开发专栏 > 开发技术 > 正文

C++的lambda表达式是如何工作的?

发表于:2017-08-08 作者:网络转载 来源:

现在,Android已经全面转向C++11/14标准了,看代码的话,很多地方变化很大,新标准真的是有点颠覆性的,感觉已经不会C++了。今天有看到lambda表达式,突然想看一下,这货是怎么实现的,如下,写了个例子,分别调用3个lambda表达式:
[cpp] view plain copy 在CODE上查看代码片派生到我的代码片
#include  
#include  
 
//1. 无参数 
auto hello = [] () {printf( "Hello world!");}; 
     
// 2. 一个参数 
auto hello_int = [] (int val){ printf("the value is %d", val); };  
     
int main(int argc, char **argv) { 
 
    hello(); 
    hello_int(argc); 
 
    // 3. 带捕获列表的lambda表达式 
    auto lambda = [argc, argv]() {printf("param: %d, path is:%s", argc, argv[0]);}; 
    lambda(); 
    return 0;    

很简单定义三个lambda表达式,lambda表达式就不细说是什么了,基本上是介绍新标准的书,都会说的很明白。这里想看一下,具体编译器是怎么实现表达式的呢?第一印象,应该是表达式按照内联函数的方式实现的吧,调用的地方自动展开,这样参数、捕获列表啥的都很好实现。
简单看一下,编译时不优化,反汇编看一下,如下,调用的main函数:


上面按顺序调用的,就是代码中对应的三个lambda表达式。从这个反汇编看,貌似和猜想的不一样是调了函数不是内联展开。
红色框住的调用函数[蓝色是实际的符号,灰色是demangle后的,分析看这个],分别是:

[html] view plain copy 在CODE上查看代码片派生到我的代码片
$_0::operator()(void)        
$_1::operator()(int)      
main::$_2::operator() const(void) 
这是三个重载的()操作符.. 调用前看到有压入this参数,这是对象的方法调用,从反汇编看,是栈上创建对象,然后直接使用,使用是通过operator()..

这货不就是函数对象么????

OK,那就明白了,lambda表达式,编译器自动转换成函数对象执行。。。。
上面的例子,编译器转换的如下:
[cpp] view plain copy 在CODE上查看代码片派生到我的代码片
#include  
#include  
 
class $_0 { 
public: 
    void operator() { 
        printf( "Hello world!");       
    }    
}; 
 
class $_1 { 
public: 
    void operator(int va) { 
         printf("the value is %d", val); 
    }    
}; 
 
 
class main::$_2 { 
public: 
    main::$_2(int i, char **v): argc(i), argv(v) {} 
    //带捕获列表的,不能修改捕获列表... 
    void operator() const { 
        printf("param: %d, path is:%s", argc, argv[0]); 
    } 
     
private: 
    int argc; 
    char **argv; 

     
int main(int argc, char **argv) { 
 
    $_0 hello; 
    hello(); 
     
    $_1 hello_int; 
    hello_int(argc); 
 
    main::$_2 lambda(argc, argv); 
    lambda(); 
     
    return 0; 

这里,lambda转换后的符号,是编译器自动生成的,看起来稍有点别扭。