为什么C++中的lambda捕获无法按预期工作?
C++ Lambda 捕获规则问题解答
1. 为什么 [=] 没有按值捕获全局变量 g
lambda 的捕获规则有明确的作用域限制:
- 捕获列表仅会捕获当前上下文中的局部自动变量,全局变量、静态变量、命名空间级别的变量本身就处于 lambda 可直接访问的作用域,不需要被捕获,也不会被捕获规则覆盖。
- 你代码中的
[=]是隐式值捕获语法,只会自动捕获用到的局部自动变量,全局变量g不在捕获范围内,因此kitten中用到的g直接指向全局变量本身。全局g被修改为 20 后调用kitten()返回 21,是完全符合 C++ 标准的行为。 - 高版本编译器会对这种写法报错,是因为 C++ 标准后续明确禁止隐式捕获非自动变量,低版本编译器的兼容处理属于历史遗留问题,这种冗余捕获写法本身不符合规范。
- 而
[g=g]是 C++14 引入的初始化捕获语法,等价于在 lambda 定义时生成一个内部成员变量auto g = 外部g,会在 lambda 定义的时刻就拷贝当时全局g的值 10,后续全局g的修改不会影响该内部成员,因此cat()返回 11 符合预期。
2. 为什么 int g = g; 输出异常
这是 C++ 变量作用域遮蔽规则导致的未定义行为:
- C++ 标准规定,变量名从声明符完成的位置开始,就会进入当前作用域,遮蔽外层的同名变量。
- 在你的代码
int g = g;中,int g声明完成后,初始化器= g里的g已经指向刚刚声明的局部变量g,而非外层的全局变量g。 - 此时局部
g还未完成初始化,属于未初始化的栈存储变量,读取它的值属于未定义行为,你得到输出 1 只是未定义行为的随机表现,更换编译环境、编译选项都可能得到不同的结果,没有确定性。
内容的提问来源于stack exchange,提问作者asevindik
相关产品推荐
相关产品推荐

