C++ 中lambda表达式的编译器实现原理
2017-02-15 09:40
579 查看
现在,Android已经全面转向C++11/14标准了,看代码的话,很多地方变化很大,新标准真的是有点颠覆性的,感觉已经不会C++了。今天有看到lambda表达式,突然想看一下,这货是怎么实现的,如下,写了个例子,分别调用3个lambda表达式:
#include <stdlib.h> #include <stdio.h> //1. 无参数 auto hello = [] () {printf( "Hello world!\n");}; // 2. 一个参数 auto hello_int = [] (int val){ printf("the value is %d\n", val); }; int main(int argc, char **argv) { hello(); hello_int(argc); // 3. 带捕获列表的lambda表达式 auto lambda = [argc, argv]() {printf("param: %d, path is:%s\n", argc, argv[0]);}; lambda(); return 0; }
很简单定义三个lambda表达式,lambda表达式就不细说是什么了,基本上是介绍新标准的书,都会说的很明白。这里想看一下,具体编译器是怎么实现表达式的呢?第一印象,应该是表达式按照内联函数的方式实现的吧,调用的地方自动展开,这样参数、捕获列表啥的都很好实现。
简单看一下,编译时不优化,反汇编看一下,如下,调用的main函数:
上面按顺序调用的,就是代码中对应的三个lambda表达式。从这个反汇编看,貌似和猜想的不一样是调了函数不是内联展开。
红色框住的调用函数[蓝色是实际的符号,灰色是demangle后的,分析看这个],分别是:
$_0::operator()(void) $_1::operator()(int) main::$_2::operator() const(void)
这是三个重载的()操作符.. 调用前看到有压入this参数,这是对象的方法调用,从反汇编看,是栈上创建对象,然后直接使用,使用是通过operator()..
这货不就是函数对象么????
OK,那就明白了,lambda表达式,编译器自动转换成函数对象执行。。。。
上面的例子,编译器转换的如下:
#include <stdlib.h> #include <stdio.h> class $_0 { public: void operator() { printf( "Hello world!\n"); } }; class $_1 { public: void operator(int va) { printf("the value is %d\n", val); } }; class main::$_2 { public: main::$_2(int i, char **v): argc(i), argv(v) {} //带捕获列表的,不能修改捕获列表... void operator() const { printf("param: %d, path is:%s\n", 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转换后的符号,是编译器自动生成的,看起来稍有点别扭。
以上所述是小编给大家介绍的C++ 中lambda表达式的编译器实现原理,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对脚本之家网站的支持!
您可能感兴趣的文章:
相关文章推荐
- 编译原理动手实操,用java实现编译器-算术表达式及其语法解析器的实现
- Java 8 动态类型语言Lambda表达式实现原理分析
- Java 8 动态类型语言Lambda表达式实现原理解析
- Java 8 动态类型语言Lambda表达式实现原理分析
- C++通过bind,lambda表达式等实现简单的异步函数调用模型
- C++多态基础以及编译器多态实现原理
- lambda表达式在C++/MATLAB/Python语言中的实现
- C++多态的实现及原理详细解析
- C++新特性lambda表达式的理解与使用
- C++多态的实现原理
- c++ 11 数组 和lambda表达式 语法 / 函数包装器 基本用法
- C++ 智能指针shared_ptr模板实现原理
- C++晋升之std中vector的实现原理(标准模板动态库中矢量的实现原理)
- C++基础:多态的实现原理分析
- 基于C++ Lambda表达式的程序优化
- C++虚表的实现原理(windows & linux上)
- Linq To Sql中实现Left Join与Inner Join使用Linq语法与lambda表达式
- C++实现中缀表达式转后缀表达式并求值
- C++多态的实现原理(转载)
- c++类型兼容规则与虚函数实现多态的实现原理和区别