Lambda闭包类型构造函数

Question

该cppreference表明，对于拉姆达闭合类型构造不同的规则。

默认构造-直到C ++ 14

ClosureType（）=删除；（直到C ++ 14）

闭包类型不是默认可构造的。闭包类型的默认构造函数已删除（直到C ++ 14）否（自C ++ 14起）。

默认构造-自C ++ 14起

闭包类型没有（自C ++ 14起）默认构造函数。

默认构造-自C ++ 20起

如果未指定捕获，则闭包类型具有默认的默认构造函数。否则，它没有默认构造函数（包括捕获默认值，即使它实际上没有捕获任何内容也是如此）。

复制分配运算符-直到C ++ 20

副本分配运算符定义为已删除（并且未声明移动分配运算符）。闭包类型不是CopyAssignable。

复制分配运算符-自C ++ 20起

如果未指定捕获，则关闭类型具有默认的副本分配运算符和默认的移动分配运算符。否则，它具有已删除的副本分配运算符（包括存在捕获默认值的情况，即使它实际上没有捕获任何内容也是如此）。

规则变更的原因是什么？标准委员会是否确定了lambda封闭式构造标准的不足之处？如果是这样，那些短处是什么？

Answer 1

有一个缺点。我们不能像人们想要的那样“随时随地”使用lambda。C ++ 20（加上允许在未评估的上下文中使用lambda）使此代码有效：

struct foo {
    int x, y;
};

std::map<foo, decltype([](foo const& a, foo const& b) { return a.x < a.y; })> m;

注意我们如何内联定义比较函数？无需创建命名函子（否则可能是个好主意，但我们也不必强求）。无需将声明分为两部分：

// C++17
auto cmp = [](foo const& a, foo const& b) { return a.x < a.y; };
std::map<foo, decltype(cmp)> m(cmp); // And also need to pass and hold it!

如此（以及更多）的用法是进行此更改的推动因素。在上面的示例中，匿名仿函数类型将带来命名仿函数类型可以带来的所有好处。其中包括默认初始化和EBO。