1

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

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代码创建了 3 个模板实例化operator()，所有这些实例化都在二进制文件中显示为符号。拉姆达呢？编译器创建一个类似于s. 但是如果它是一个未命名的类类型，它会在二进制文件中创建符号吗？

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

4

1 回答 1

1

我认为，不幸的是，lambda 无法帮助您解决代码膨胀的问题。对于您的示例，例如 struct S，编译器还将为 lambda 创建三个不同的运算符 ()。

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

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

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

nm 命令的输出

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

于 2018-09-13T14:55:20.460 回答