编译器的 lambda 表达式的类型是什么？答案

【问题标题】：What is the type of a lambda expression for the compiler?编译器的 lambda 表达式的类型是什么？
【发布时间】：2021-11-30 20:57:08
【问题描述】：

所以，如果我们在以下源代码上运行gdb：

//...
auto myLambda1 = [&](int x){ printf("Hi, I got x=%d here\n",x);};
auto myLambda2 = [&](double y){ printf("Hi, I got y=%f here\n",y);};
//...

我会得到：

(gdb) ptype myLambda1
type = struct <lambda(int)> {
}
(gdb) ptype myLambda2
type = struct <lambda(double)> {
}

那么什么是编译器的 lambda 表达式？为什么是struct

【问题讨论】：

【解决方案1】：

lambda 表达式的类型是类类型，但它没有名称。该类最重要的特点是它有一个公共的operator()，因此可以在函数调用表达式语法中使用。

大量技术细节在标准部分[expr.prim.lambda.closure]，以

开头

lambda-expression 的类型（也是闭包对象的类型）是唯一的、未命名的非联合类类型，称为 闭包类型 ，其属性如下所述。

【讨论】：