“这段代码要传到后台异步执行你确定它捕获的变量还活着吗”——这是我做代码评审时最常抛给写代码的人的一个问题。C的lambda捕获机制表面上就是中括号里写几个名字的事儿但几乎每个经历过大型C项目的开发者都被它坑过至少一次悬空引用、this指针失效、std::function里存了一坨隐式拷贝、或者想移动一个unique_ptr进lambda结果编译不过。这玩意儿看着简单实际上是把C的三大底层命题——生命周期、复制语义、类型擦除——全都压缩在一个中括号里。这篇文章会把lambda捕获机制从头到尾拆一遍捕获列表的每种写法和它背后的语义、编译器把lambda翻译成闭包类型的底层原理、值捕获和引用捕获在生命周期上的天壤之别、this和*this捕获的坑、以及异步和多线程场景下的典型翻车现场。适合正在写C11到C20代码、被lambda捕获问题搞过或者即将被搞的开发者看完之后你至少能回答自己三个问题这个lambda会活多久它捕获的东西在那一刻还活着吗它到底是复制了一份还是要了一个引用1. 捕获机制的核心逻辑捕获列表到底在选什么1.1 捕获列表的语法全景十种写法的语义总览lambda的捕获列表放在函数体之前、参数列表之前也就是中括号那一小块地方。它规定了lambda表达式内部能访问哪些外部变量以及以什么样的方式访问。写法一共就那么几种但每一种的语义差异很大先完整列一遍捕获写法语义典型场景[]不捕获任何外部变量纯函数式工具、回调里只用参数[x]按值捕获xlambda内部持有x的副本需要把变量当前值隔离保存[x]按引用捕获xlambda内部持有x的引用需要修改外部x或者避免拷贝开销[]按值捕获所有用到的外部变量ODR使用的自动变量图省事但风险高的写法[]按引用捕获所有用到的外部变量同步回调、生命周期有保证的场合[, x]默认按值捕获x例外按引用捕获默认值捕获某几个变量需要引用[, x]默认按引用捕获x例外按值捕获默认引用捕获避免某个变量的悬空风险[this]捕获this指针lambda内部可访问成员在成员函数里创建lambda访问当前对象[*this]捕获this指针指向对象的副本C17想要独立快照避免对象析构影响lambda[x 表达式]初始化捕获C14用表达式初始化新变量移动捕获、在lambda内声明局部成员注意一个容易忽略的点捕获列表里的“变量”通常指具有自动存储期的局部变量。静态局部变量、全局变量、枚举常量这类本身就有全局生命周期或编译期性质的东西不需要也不可能被捕获lambda内部直接使用即可。之前有同事问我“为什么我的static局部变量在lambda里没写进捕获列表也能访问”因为静态局部变量的生命周期是整个程序运行期它不存在“捕获后会不会失效”的问题lambda访问它就像访问全局变量一样直接编译器根本不需要为它生成成员变量。这一点在3.3节还会用代码验证。1.2 捕获的本质闭包类型成员变量的映射规则理解捕获机制最有效的方式是搞清楚lambda表达式在编译器的视角下到底是什么。标准规定一个lambda表达式会生成一个未命名的闭包类型closure type这个类型可以理解成一个普通的类它重载了operator()捕获列表决定这个类里有哪些成员变量。举个例子。这个lambdaint base 10; auto f [base](int x) { return base x; };编译器会为它生成一个等价于下面形态的类简化示意实际名称不可见class __lambda_x0 { public: int base; // 捕获列表里的base变成了成员变量 int operator()(int x) const { // 默认是const成员函数 return base x; } };理解这个等价关系之后很多东西就不需要死记硬背了。值捕获[base]就是让闭包类型持有base的一个拷贝副本引用捕获[base]就是让闭包类型持有一个引用类型成员。所以值捕获的那个成员不会随着外部变量变化引用捕获的成员则会一直指向原变量除非原变量先死了。这里引出一个非常关键的设计lambda的operator()默认是const的。也就是说默认情况下你在lambda内部不能修改通过值捕获得来的成员变量。想让lambda内部能修改自己的副本就得在参数列表后面加mutable关键字——这个细节很多人第一次听说时都很意外因为看起来完全违反直觉。2. 值捕获与引用捕获两难选型与生命周期红线2.1 值捕获副本隔离与mutable的边界值捕获的语义是“在lambda被创建的那一刻把变量的当前值复制一份存进闭包对象里”。从这个语义出发两个结论是直接成立的第一之后外部再怎么修改原变量lambda内部的副本不会跟着变第二lambda内部如果修改了副本在mutable后缀下外部原变量也不受影响。值捕获做的是一次彻底的隔离。但这个“彻底隔离”有个著名的例外——捕获指针。如果你写的是[ptr]ptr这个指针本身被复制了但它指向的那个堆对象并没有被复制。lambda内部如果通过ptr修改了堆上的内容外面的代码照样能感受到。这就是常说的“值捕获了指针但没捕获到指针指向的东西”本质上还是浅拷贝的语义。处理办法有两个要么让lambda捕获一个智能指针的副本要么使用初始化捕获做一个深拷贝副本后面会细说。关于mutable得把它的作用边界讲清楚。它只是去掉了闭包类型operator()的const限定允许lambda内部修改值捕获的成员变量。它不会改变任何关于“外部变量是否受影响”的语义。看这个代码int x 1; auto f [x]() mutable { x 1; return x; };