为什么'mutable' lambda 函数属性，而不是捕获类型？

Why is 'mutable' a lambda function attribute, instead of being a capture type?

本文关键字：类型 属性 lambda mutable 函数 为什么      更新时间：2023-10-16

为什么 c++11 要求我们编写：

[a,b]() mutable { a=7; } // b is needlessly mutable, potential source of bugs

而不是：

[mutable a,b]() { a=7; } // no problems here

这是一个疏忽，被认为不够重要，还是有特定的技术原因？

在 n2651 中提到了您的建议：

可以扩展 lambda 表达式的语法以允许声明 是否应将闭包成员声明为可变成员。

这种方法可能会让程序员感到困惑，因为可变性不是一个 闭包对象的属性，而是存储在 关闭。

我不知道这是否是唯一的原因，但似乎确实考虑过。 然而，在赫伯·萨特的提议中，他建议摆脱mutable，不要隐式地const捕获副本，这样我们可能会再次看到变化。

可能是各种疏忽(与不能使用 rvalue refs 的方式相同)和 lambda 概念实现方式的工件。

int   a;
int*  b;
float c;
auto lambda1 = [&a, b, c](int d) mutable -> void {};
class lambda1 {
public:
void operator()(int d) {}
private:
int&  a_;
int*  b_;
float c_;
};
auto lambda2 = [&a, b, c](int d) -> void {};
class lambda2 {
public:
void operator()(int d) const {}
private:
int&  a_;
int*  b_;
float c_;
};

mutable关键字适用于 lambda 表达式生成的对象，而不是单个捕获的项目，以便编译器可以使用operator()方法上的const修饰符实现它，如标准第 5.1.2 节第 5 段中所述。

此函数调用运算符声明为 const (9.3.1) 当且仅当 lambda表达式的参数声明子句后面不跟 可变。

在您的示例中，lambda 表达式生成的类可能如下所示：

class lambda
{
int a, b;
public:
lambda( int a, int b ) : a( a ), b( b ) {}
void operator()() // non-const due to mutable keyword
{
a = 7;
}
};

mutable关键字不像通常使用的mutable关键字那样使用：在这种情况下，它的意思是与const相反，适用于函数调用运算符隐式函数对象的恒定性。但是，有意将隐式函数对象的函数调用运算符默认const，而通常成员函数是非const("可变")而是默认的。lambda函数的引入早于上下文关键字(override和final)的使用，mutable关键字似乎是比not const更好的选择。

相关文章：