为何C++ Lambda生命周期绑定至最小块作用域？代码实例疑问

示例代码 #

#include <iostream>
#include <functional>

void run_lambda(std::function<void()> fun){ fun(); fun(); }
int main(){
    for(int i = 0; i < 3 ; ++i){
        run_lambda([i](){
            static int testVal = 0;
            std::cout << "value[" << i << "]:" << testVal << std::endl;
            ++testVal;
        });
    }
    return 0;
}

实际运行输出 #

value[0]:0
value[0]:1
value[1]:2
value[1]:3
value[2]:4
value[2]:5

问题解析 #

你原本以为每次循环开始时testVal会重置，但实际它一直在累加，核心原因和Lambda闭包类型的作用域规则有关：

闭包类型的声明所在的作用域，是包含对应lambda表达式的最小块作用域、类作用域或命名空间作用域。

Lambda的闭包类型是在**循环所在的块作用域（即main函数的循环代码块）**中声明的，而非每次循环迭代的临时作用域。这意味着整个循环里的所有Lambda对象，都属于同一个闭包类型——不管循环跑多少次，这个类型都是唯一的。

而Lambda内部的static变量，本质是闭包类型的静态成员，它和闭包类型绑定，而非单个Lambda对象。所以这个static变量只会在第一次调用时初始化一次，后续所有调用（包括不同Lambda对象的调用）都会共享同一个实例，自然不会随循环迭代重置。

你可能觉得Lambda是临时对象，销毁后static变量应该跟着重置，但static变量的生命周期是整个程序运行期，和Lambda对象的生命周期完全无关——哪怕所有Lambda临时对象都被销毁，static变量依然存在，下次调用该闭包的函数时，会继续沿用之前的值。

内容的提问来源于stack exchange，提问作者Dávid Tóth