C++中相同lambda表达式是否必然类型不同？编译器能否优化为同类型？

最近在做Lambda的实验时，我发现了一个有意思的现象：哪怕Lambda表达式的代码完全一致，它们的类型也可能不一样。先看这段测试代码：

#include <iostream>

template <typename T>
void once(T t){
    static bool first_call = true;
    if (first_call)
        t();
    first_call = false;
}

int main() {
    int counter = 0;

    auto a = [&counter](){counter++;};
    once(a);
    once(a);
    std::cout << counter; // 输出1

    auto b = a; // b和a类型相同
    once(b);
    std::cout << counter; // 还是输出1

    auto c = [&counter](){counter++;}; // c和a类型不同
    once(c);
    once(c);
    std::cout << counter; // 输出2
}

这段代码最终输出112，说明a和拷贝得到的b类型一致，但和看起来完全一样的c类型不同——因为once模板会为不同的类型生成独立的实例，各自拥有自己的static bool first_call变量。

编译器是否允许让c与a属于同一类型？ #

答案是不允许，这是C++标准的硬性规定。标准明确指出：每个Lambda表达式都会生成一个独一无二的、未命名的非联合类类型，无论它的代码逻辑是否和其他Lambda完全相同。

你可能会觉得这是个可以优化的点，但标准这么设计是有考量的：Lambda的类型不仅绑定代码逻辑，还和它的捕获上下文深度关联。哪怕两个Lambda捕获的变量看起来一样，编译器也很难在编译期百分百确定它们的捕获行为完全等价（比如捕获变量的生命周期、语义是否存在细微差异）。更重要的是，很多代码会依赖Lambda类型的唯一性——比如用Lambda作为模板参数时，不同的Lambda本应对应不同的模板实例，如果强行合并类型，会破坏这类代码的预期行为。

无捕获的Lambda是否可以进行该优化？ #

哪怕是无捕获的Lambda，标准同样要求每个Lambda的类型都是独特的。不过有个特殊点：无捕获Lambda可以隐式转换到对应的函数指针类型，而且签名相同的无捕获Lambda转换后的函数指针是相等的。但这并不代表它们的原始Lambda类型一致——只是转换后的函数指针等价而已。

举个直观的例子：

#include <type_traits>

auto lambda1 = [](){ return 42; };
auto lambda2 = [](){ return 42; };

// lambda1和lambda2的类型不同
static_assert(!std::is_same_v<decltype(lambda1), decltype(lambda2)>);

// 但转换为函数指针后是相等的
using FuncPtr = int(*)();
static_assert(static_cast<FuncPtr>(lambda1) == static_cast<FuncPtr>(lambda2));

所以哪怕是无捕获Lambda，编译器也不能将它们的类型合并，这是标准的强制要求，并非单纯的优化选择。

内容的提问来源于stack exchange，提问作者463035818_is_not_an_ai