Lambda 按值捕获和“mutable”关键字

关键词的必要性mutable在 lambda 中，是造成极大混乱的根源。

考虑代码：

int x = 10;

function<void()> lambda = [=]() mutable {x++; cout << "Inside lambda: x = " << x << "\n";};

cout << "Before lambda: x = " << x << "\n";
lambda();
cout << "After  lambda: x = " << x << "\n\n";

Output:

Before lambda: x = 10
Inside lambda: x = 11
After  lambda: x = 10

我们可以看到，变量xlambda 后保持不变，因此没有副作用。

但是，如果我们“忘记”关键字mutable，我们得到一个错误。

作为 C++ 中默认按值传递的参数，对我来说需要mutable关键词。

有人可以编写（即使是伪代码）编译器生成的类来代替 lambda 吗？

谢谢

如上所述here http://en.cppreference.com/w/cpp/language/lambda the mutable说明符允许 lambda 修改通过复制捕获的参数并调用其非常量成员函数。它不会影响通过引用捕获的变量。

有人可以编写（即使是伪代码）编译器生成的类来代替 lambda 吗？

给出一般情况并不容易，但我们可以定义一些在您的具体情况下有效的内容。
生成的类可能如下所示：

struct Lambda {
    void operator()() { x++; }
    int x{10};
};

如果您删除mutable说明符，函数运算符定义为const:

struct Lambda {
    void operator()() const { x++; }
    int x{10};
};

为了简单起见，我已经初始化了x具有给定值（10）并将其公开，但它显然是通过使用从周围上下文捕获的变量进行复制来初始化的，并且无法从函数运算符外部访问。
它的类型也是从用于初始化它的变量推断出来的，就像您所做的那样：

auto lambda_x = x;

See here http://eel.is/c++draft/expr.prim.lambda了解更多详情。