C++ lambda表达式的编译器实现..
2017-02-14 14:45
204 查看
现在,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转换后的符号,是编译器自动生成的,看起来稍有点别扭。
现在,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++基本概念的实现
- Eboot 编译编译器决定中断向量及其实现单一性的原因
- 眼见为实(1):C++基本概念在编译器中的实现
- 全局变量和局部变量有什么区别?实怎么实现的?操作系统和编译器是怎么知道的?
- C++实现机制(二)——编译器实现对象模型的方法
- RoughJs 1.0-实现的JavaScript 2.0的编译器
- 编译原理 编译器的实现(C语言实现)
- 修改编译器选项实现DLL项目与WINDOWS项目的转换
- 注意有指针参数的函数定义与函数实现 必须一致,编译器只检查是否是指针,而不管你的实参是几维指针
- 开始看lcc编译器的实现。---跟.net暂时扯不上关系。
- 调用编译器接口ICodeCompiler实现数学表达式计算
- C++基本概念在编译器中的实现
- 眼见为实(1):C++基本概念在编译器中的实现
- C++基本概念在编译器中的实现
- (原创)深入剖析:C++“多态性”在编译器中的实现
- 在没有实现explicit的编译器模拟explicit
- 虚函数的真相(VC编译器如何实现“virtual ”规则)
- Vim编译器配合ctags实现函数原型快速定位方法介绍
- [转]: 初探编译器static、const之实现原理
- 文本编译器(汇编语言实现的)