C++的lambda是函数还是对象?

开发 后端
C++在lambda的设计上也贯彻着零开销 (Zero Overhead)原则,也就是C++不在性能上干多余的事,显然函数比对象开销更小。所以即使同为lambda,在有无捕获的时候,其底层实现其实是截然不同的!

关于C++的lambda是函数还是对象,这其实不是一个一概而论的问题。

先说结论:

  • 对于有捕获的lambda,其等价于对象。
  • 对于没有任何捕获的lambda,其等价于函数!

首先,很多C++程序员从lambda 用法上反推容易发现是对象,因为lambda可以捕获!这是函数做不到的。的确,比如:

int n = 100;
auto foo = [n](int a) {
return a > n;
};
cout<< foo(99);

如果编译器要实现foo,大致类比这种写法(可能真实的实现细节不是这样,但思路类似)∶

struct Foo {
Foo(int i) {n=i;}
bool operator()(int a) {
return a > n;
}
private:
int n;
};
...
int n = 100;
Foo foo(n);
cout<< foo(99);

如果是引用捕获了变量,那么struct内有一个指针成员持有被引用捕获的变量的地址。

比如:

set<int> ns = {100, 200, 300};
auto foo = [&ns](int a) {
return ns.find(a);
};
cout<< foo(99);

大致等价于:

struct Foo {
Foo(set<int>* p) {p_ns = p;}
bool operator()(int a) {
auto &ns = *p-ns;
return ns.find(a);
}
private:
set<int>* p_ns;
};
...
set<int> ns = {100, 200, 300};
Foo foo(&ns);
cout<< foo(99);

然而……这并不是全部!

在没有捕获任何东西的时候,lambda其实是等价于普通的函数的!可以用Linux C中函数pthread_create()来验证!它只能接收一个参数是void*,返回值也是void*的回调函数。

神奇的是,无参的lambda也可以被pthread_create()使用!

#include <iostream>
#include <pthread.h>
using namespace std;
struct A {
void* operator()(void*) {
cout<<"xxxx"<<endl;
return nullptr;
}
};
int main() {
A a;
a(NULL);
pthread_t t;
//pthread_create(&t, NULL, a, NULL); // 编译失败
auto cb = [](void*)->void* {
cout<<"xxxx"<<endl;
return nullptr;
};
pthread_create(&t, NULL, cb, NULL); // 编译通过
pthread_join(t, NULL);
return 0;
}

上面代码还可以再改一下,让cb去捕获一个变量, 比如:

auto cb = [&](void*)->void* {
cout<<"xxxx"<<endl;
return nullptr;
};
pthread_create(&t, NULL, cb, NULL);

这时,给pthread_create()传入cb同样会编译失败!错误信息:

cb.cpp: In function ‘int main():
cb.cpp:23:30: error: cannot convert ‘main()::<lambda(void*)>’ to ‘void* (*)(void*)
23 | pthread_create(&t, NULL, cb, NULL);
| ^~
| |
| main()::<lambda(void*)>
In file included from /usr/include/x86_64-linux-gnu/c++/9/bits/gthr-default.h:35,
from /usr/include/x86_64-linux-gnu/c++/9/bits/gthr.h:148,
from /usr/include/c++/9/ext/atomicity.h:35,
from /usr/include/c++/9/bits/ios_base.h:39,
from /usr/include/c++/9/ios:42,
from /usr/include/c++/9/ostream:38,
from /usr/include/c++/9/iostream:39,
from cb.cpp:1:
/usr/include/pthread.h:200:15: note: initializing argument 3 of ‘int pthread_create(pthread_t*, const pthread_attr_t*, void* (*)(void*), void*)
200 | void *(*__start_routine) (void *),
| ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~

这其实也不难理解,C++在lambda的设计上也贯彻着零开销 (Zero Overhead)原则,也就是C++不在性能上干多余的事,显然函数比对象开销更小。所以即使同为lambda,在有无捕获的时候,其底层实现其实是截然不同的!

责任编辑:庞桂玉 来源: C语言与C++编程
相关推荐

2020-10-16 06:40:25

C++匿名函数

2012-07-03 10:48:43

C++Lambda

2010-01-25 09:50:58

C++函数对象

2010-02-02 13:15:00

C++ lambda函

2009-04-14 14:53:06

C++Lambda函数多线程

2010-01-27 10:13:22

C++类对象

2010-02-06 09:31:42

C++函数对象

2011-07-20 13:40:09

拷贝构造函数

2010-01-27 17:16:52

C++构造函数

2010-01-26 10:42:26

C++函数

2023-12-04 10:57:52

函数C++

2022-09-19 14:12:27

C++Lambda表达式

2023-11-29 09:47:11

C++对象

2010-01-19 13:43:59

C++函数

2011-06-17 16:09:04

freadfwrite

2023-11-02 08:25:58

C++Lambda

2023-03-23 18:40:18

Lambda编程C++

2010-01-18 16:56:30

C++函数

2010-01-18 17:48:46

C++类对象

2010-01-25 11:13:18

C++栈对象
点赞
收藏

51CTO技术栈公众号