为什么添加一元'”运算符允许在 C 中重新分配 Lambda？

正 Lambda：“[]{}” - 深入探究意外

试图研究 lambda 表达式的神秘本质，“C 11 中不允许重新定义 lambda，为什么？”的问题出现了。 Johannes Schaub 的一个奇特发现表明，在初始 lambda 之前添加一元运算符可以使其编译。

查询：

为什么以下代码编译时没有错误:

int main() {
    auto test = +[]{}; // Note the unary operator + before the lambda
    test = []{};
}

这种行为是否符合 C标准？

揭晓：

是的，代码符合 C 标准。该运算符显着地触发了 lambda 到普通函数指针的转换。

展开：

编译器解释初始 lambda ([]{}) 并创建一个闭包对象。由于此 lambda 不捕获任何变量，因此存在一个转换函数，用于将闭包对象转换为具有与闭包函数调用运算符相同的参数和返回类型的函数指针。

此转换符合一元的要求操作员。的内置重载包括将任何类型 T 转换为指向 T 的指针。闭包类型通过提供到函数指针的转换来满足这一要求。

因此，表达式 auto test = []{ };推断测试类型为 void(*)()。这使得第二行中的后续赋值成为可能，其中第二个 lambda/closure 对象也经历了到函数指针的转换，从而产生兼容的赋值。

意义：

这种不寻常的行为凸显了 lambda 表达式的多功能性和 C 语言的复杂机制。它可以通过将 lambda 表达式转换为函数指针来重新分配它们，从而提供灵活性和代码优化的可能性。

以上是为什么添加一元'”运算符允许在 C 中重新分配 Lambda？的详细内容。更多信息请关注PHP中文网其他相关文章！