通用 lambda 和二进制大小/代码膨胀

Question

当我们比较这段代码时，生成的二进制文件有什么不同：

struct S {
    template<typename... Args>
    void operator()(Args... args) { /* ... */ }
};

// And then inside some block:
S s;
s(42);
s(3.14, "Hi!");
s("Hi!", 3.14);

...此代码：

const auto l = [](auto... args) { /* ... */ };

// And then inside some block:
l(42);
l(3.14, "Hi!");
l("Hi!", 3.14);

据我了解，struct 代码为 operator() 创建了 3 个模板实例化，所有这些都在二进制文件中显示为符号。拉姆达呢？编译器创建一个类似于 s 的对象。但如果它是未命名的 class 类型，它会在二进制文件中创建符号吗？

动机： 我使用了一个模板密集型库，我必须在其中启用 /bigobj。我想避免这种情况，我想知道 lambda 是否可以帮助防止模板代码膨胀。这是在标准中定义的，还是取决于编译器实现？

Answer 1

我认为，很遗憾，lambda 无法帮助您解决代码膨胀的问题。对于你的例子，像struct S，编译器也会为lambda创建三个不同的operator()。

为了证明我的观点，我在Linux上用g++8.1.0编译了如下程序。

int main()
{
    const auto l = [](auto... args) { /* ... */ };
    l(42);
    l(3.14, "Hi!");
    l("Hi!", 3.14);
}

然后使用nm命令查看二进制文件，结果如下：

不难看出最后三行是三个运算符()的符号。所以，在这种情况下，lambda 和 struct S 并没有根本的不同。

通用 lambda 和二进制大小/代码膨胀

Generic lambdas and binary size / code bloat

c++

c++11

templates

lambda

generic-lambda