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

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

// 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中),那么它是一个不同类型的事实是无关紧要的.如果没有静态本地或类似的操作符()的非相同性泄漏,它同样无关紧要.

在MSVC中,激进的comdat折叠将阻止两个相同的功能具有不同的存在.这包括两个强制具有相同地址的功能. GOLD链接器做了类似的事情,但不太积极.

在gcc和clang中,除了某些操作之外,as-if规则将允许它们丢弃冗余类型和功能.

该标准对低效的程序代码几乎没有限制.编译器可以自由地注入一个基本的一个noop链,用于描述源的制表符缩进,或者其他任何同样疯狂的行为,就像没有充分理由拥有多个冗余的lambda函数体一样.

转载注明原文:c – 模板函数内的无捕获lambda是否有多个二进制实现? - 代码日志