重新定义 C++11 中不允许的 lambda，为什么

Redefining lambdas not allowed in C++11, why?

本文关键字：不允许 lambda 为什么 C++11 新定义 定义      更新时间：2023-10-16

示例：

#include <functional>
int main() {
  auto test = []{};
  test = []{};
    
  return 0;
}

这会在 gcc 4.7.2 中发出以下错误消息：

test.cpp: In function ‘int main()’:
test.cpp:5:13: error: no match for ‘operator=’ in ‘test = <lambda closure object>main()::<lambda()>{}’
test.cpp:5:13: note: candidate is:
test.cpp:4:16: note: main()::<lambda()>& main()::<lambda()>::operator=(const main()::<lambda()>&) <deleted>
test.cpp:4:16: note:   no known conversion for argument 1 from ‘main()::<lambda()>’ to ‘const main()::<lambda()>&’

从标准 5.1.2.3（强调我的）：

实现可以定义与下面描述的不同闭包类型，前提是这不会改变程序的可观察行为，除了通过更改：

— 封盖类型的尺寸和/或对齐方式，

— 闭包类型是否易于复制（第 9 条）

— 闭包类型是否为标准布局类（第 9 条），或

— 闭包类型是否为 POD 类（第 9 条）。

据我所知，这就是我遇到的问题。 它正在尝试使用已删除的赋值运算符并失败。我很想知道是否有一个简单的解决方法，更广泛地说，允许通常省略 lambda 的复制可构造性的动机是什么。

您似乎认为这两个 lambda 具有相同的类型，但事实并非如此。每个都创建自己的类型：

#include <functional>
#include <type_traits>
#include <iostream>
int main() {
  auto test = []{};
  auto test2 = []{};
  std::cout << std::is_same< decltype( test ), decltype( test2 ) >::value << std::endl;
  return 0;
}

将打印0 .当然，您从编译器获得的错误消息在这方面可能会更清晰一些......

的类型 λ表达式 （这也是闭包对象的类型）是一个唯一的、未命名的非 联合类类型

所以就像你在做以下事情：

struct {} a;
struct {} b;
a = b; // error, type mismatch

如果要将具有相同签名的不同 lambda 分配给同一变量，请使用 std::function。

std::function<void()> f = []{};
f = []{}; //ok

Lambda 无法重新定义，因为每个 lambda 都是不同的、匿名的、不兼容的类型。仅当您将它们传递给能够推断该类型的模板化函数（如 std::function ctor 时，才能复制它们。

您无法执行此操作的原因是 lambda 表达式的复制赋值运算符被声明为已删除，请参阅标准的第 5.1.2/20 节。 有关更清晰的（对于明文的不寻常定义），请参阅此代码示例

template<class T> void f(T x1)
{
  T x2 = x1; // copy constructor exists, this operation will succeed.
  x2 = x1; // assignment operator, deleted and will cause an error
}
int main()
{
  f([]{});
  return 0;
}

其他答案指出每个lambda都有一个唯一的类型，但这不是您收到该错误的原因。 此示例表明，即使两个 lambda 具有相同的类型，它仍然无法复制它。 但是，您可以将其复制到新变量。 这就是您的错误消息抱怨缺少operator=而不是它们的类型不同的原因。 尽管每个 lambda 都有自己的类型，但对您也没有多大帮助。

如果我们可以将一个 lambda 分配给另一个不同类型的 lambda，我们如何将函数体/定义从该 lambda 复制到另一个？如果我们如此固执，那么我们可以使用一些类似成员std::function类型来复制。但这违背了不支付废话的C++规则......

相关文章：