c++ - 当 C++ lambda 表达式有很多引用捕获时，未命名函数对象的大小变大

Question

以下代码:

int main() {
    int a, b, c, d, e, f, g;
    auto func = [&](){cout << a << b << c << d << e << f << g << endl;};
    cout << sizeof(func) << endl;
    return 0;
}

使用 g++ 4.8.2 编译输出 56

由于所有局部变量都存储在同一个栈帧中，记住一个指针就足以定位所有局部变量的地址。为什么 lambda 表达式构造了这么大的未命名函数对象？

Answer 1

我不明白为什么你看起来很惊讶。

C++标准给出了一套要求，每一个实现都可以自由选择满足要求的策略。

为什么实现会优化 lambda 对象的大小？

具体来说，您是否意识到如何将此 lambda 的生成代码绑定(bind)到周围函数的生成代码？

很容易说嘿!这可以优化!，但实际优化并确保它适用于所有边缘情况要困难得多。因此，就个人而言，我更喜欢有一个简单且有效的实现，而不是尝试优化它的拙劣尝试......

...尤其是当解决方法如此简单时:

struct S { int a, b, c, d, e, f, g; };

int main() {
    S s = {};
    auto func = [&](){
        std::cout << s.a << s.b << s.c << s.d << s.e << s.f << s.g << "\n";
    };
    std::cout << sizeof(func) << "\n";
    return 0;
}

Look Ma: 4 bytes only!