Lambda中static与mutable变量的区别及作用域规范疑问

问题背景 #

在编写GTest测试代码时遇到这样一段Lambda表达式：

EXPECT_CALL(my_mock, foo(_))
    .WillRepeatedly(InvokeWithoutArgs([](){
        static int counter = 0;
        constexpr static std::array<int, 2> values {13, 26};
        return values[counter++ % values.size()];
    }) );

我担心这段代码里的static变量会在不同Lambda实例间意外共享——比如参数化测试中，第一个测试实例奇数次调用my_mock.foo()后，第二个实例调用时会从26而非13开始返回值。虽然每个Lambda都会生成匿名仿函数类，但我不确定多次生成同一段Lambda的实例时，内部的static变量是每个实例独立拥有，还是所有实例共享同一个。

为了验证这个顾虑，我写了最小测试示例：

#include <cstdio>

auto static_lambda() {
    return []() { static int i = 0; return i++; }
}

auto mutable_lambda() {
    return [i = 0]() mutable { return i++; }
}

int main() {   
    auto s = static_lambda();
    std::printf("%d,", s());
    std::printf("%d,", s());

    auto s2 = static_lambda();
    std::printf("%d,", s2());
    std::printf("%d,", s2());

    auto m = mutable_lambda();
    std::printf("%d,", m());
    std::printf("%d,", m());

    auto m2 = mutable_lambda();
    std::printf("%d,", m2());
    std::printf("%d,", m2());
}

运行输出为0,1,2,3,0,1,0,1,，验证了我的顾虑——不同Lambda实例共享了同一个static变量，但我想从C++语言规范层面理解为什么会这样。

规范层面的解释 #

根据C++标准，Lambda表达式内部的static变量属于该Lambda对应的闭包类型的所有实例共享，而非每个实例独立拥有，核心原因有两点：

1. 每个Lambda会被编译器生成唯一的匿名闭包类，但Lambda内部的static变量作用域是闭包类的operator()函数内部，且static变量属于静态存储期——只会在第一次被调用时初始化一次，生命周期贯穿整个程序运行阶段。
2. 闭包类的所有实例调用operator()时，访问的都是同一个static变量，因为static变量的存储不依赖于任何闭包类实例，不会随实例的创建而生成新的拷贝。

对比之下，用mutable捕获的变量是闭包类的非静态成员变量，每个闭包类实例都会拥有独立的一份拷贝，所以不同实例的变量状态互不干扰，这也是测试中m和m2的输出都从0开始递增的原因。

实践结论 #

如果需要每个Lambda实例拥有独立的状态，必须使用捕获变量（比如带初始化的mutable捕获），绝对不能用Lambda内部的static变量——后者会在同一段Lambda生成的所有实例间共享状态，在参数化测试、多次生成Lambda实例的场景下，很容易引发不符合预期的测试结果。

内容的提问来源于stack exchange，提问作者Dominik Kaszewski