值可变的lambda捕获不适用于常量

Question

考虑以下几点：

void test( const int &value )
{
    auto testConstRefMutableCopy = [value] () mutable {
        value = 2; // compile error: Cannot assign to a variable captured by copy in a non-mutable lambda
    };

    int valueCopy = value;
    auto testCopyMutableCopy = [valueCopy] () mutable {
        valueCopy = 2; // compiles OK
    };
}

为什么第一个版本是编译错误，当我已经声明lambda是可变的，并通过值捕获value（我认为是它的副本）？

使用clang（x86_64-apple-darwin14.3.0）和Visual C（vc120）进行测试，这是错误消息的来源。

Answer 1

mutable允许lambda修改copy捕获的非常量参数的副本，但不允许对const参数进行修改。

所以这段代码工作（并输出内2外1）：

int a = 1;
[a]() mutable {
    a = 2; // compiles OK
    cout << "inside " << a << "\n";
}();
cout << " outside " << a << "\n";

但是如果我们省略了mutable，或者生成了const int，编译器就会给出一个错误。

在我们的例子中，第一个lambda给出了一个错误，因为value是const：

void test( const int &value )

如果我们使复制Valueconst：

const int valueCopy = value;

第二个lambda也会出现同样的错误。

Answer 2

[C11: 5.1.2/14]：如果实体被隐式捕获，并且捕获默认值为=< /code>，或者如果它被显式捕获，并且捕获不包括

lambda中值的类型是常量int，因为它是通过从常量int复制来捕获的

因此，即使lambda的调用操作符函数不是const（您标记了lambdamutable），实际的隐式成员value的类型是const int，并且不能被变异。

坦率地说，这看起来很荒谬；我希望这条规则说引用的类型失去了constness，因为它是一个副本。lambda本身是否存在mutable关键字（以及生成的调用操作符函数是否存在const关键字）应该是这里唯一的权限改造。

在C 14中，您可以通过捕获[value=value]来解决这个问题，它使用与auto相同的规则，从而删除const。C很棒，不是吗？