模板函数中的无捕获 lambda 是否具有多个二进制实现?

Does captureless lambda inside template function have multiple binary implementations?

本文关键字：二进制 实现 是否 lambda 函数      更新时间：2023-10-16

这是相当理论性的，但是我的问题是否在模板函数内部定义，但不依赖于类型T也不捕获任何东西，(因此技术上可以在模板之外声明(被编译器识别并优化出来？通过优化，我的意思是两个foo<int>和foo<double>将使用相同的二进制代码lam，因此它不会重复。也许，标准要求他们这样做吗？ 我试图分析这一点，但我想出的唯一想法是在内部尝试静态变量，但不同类型的 lambda 不共享相同的静态变量并不是奇迹。

// foo with helper lam which is captureless and not T-dependant
template<typename T>
int foo(T x)
{
auto lam = [](int x) {std::cout << "foo" << std::endl;  return -x; };
return lam(sizeof(x));
}
// foo with helper lam which is captureless and not T-dependant with static inside
template<typename T>
int foo_s(T x)
{
auto lam = [](int x) {static int count = 0; std::cout << "foo_s " << count++ << std::endl; return -x; };
return lam(sizeof(x));
}
int main()
{
foo(12); // foo
foo(12.0); // foo
foo_s(12); // foo_s 0
foo_s(12); // foo_s 1
foo_s(12.0); // foo_s 0
foo_s(12.0); // foo_s 1
return 0;
}

这两个相同的 lambda 的类型是不同的。 它上面的operator()不一样。

如果您从不存储或以其他方式与 lambda 的类型进行交互(这包括将其存储在std::function中(，那么它是不同类型的事实是无关紧要的。 如果你没有static当地人或类似的泄漏operator()的不相同性，它同样无关紧要。

在 MSVC 中，积极的 comdat 折叠将阻止两个相同的函数具有不同的存在。 这包括两个强制具有相同地址的函数。 GOLD链接器做类似的事情，但攻击性较小。

在 gcc 和 clang 中，除非某些操作，否则 as-if 规则将允许它们丢弃冗余的类型和函数。

该标准对低效的程序代码几乎没有限制。 编译器可以自由地注入一个 base-one noop 链来描述源代码的制表符缩进，或者其他任何同样疯狂的事情，比如无缘无故地拥有多个冗余 lambda 函数体。

只要保留可观察的行为，编译器就可以做任何它想做的事情。这就是标准对优化的全部规定。

这个规则故意非常模糊，所以基本上什么都行。

相关文章：