推断Lambda捕获类型

Question

我最近发现，通过lambda中的值捕获常量对象，意味着labmda主体（即lambda的数据成员）中的变量也是常量
例如：

const int x = 0;
auto foo = [x]{
  // x is const int
};

§8.1中提到了这种行为。5.2在C 17草案中：

对于通过复制捕获的每个实体，在闭包类型中声明一个未命名的非静态数据成员。未指定这些成员的声明顺序。如果实体是对对象的引用，则此类数据成员的类型为引用类型；如果实体是对函数的引用，则为对引用函数类型的左值引用；或者以其他方式为相应捕获实体的类型。匿名工会的成员不得被复制。

我希望推断捕获变量的类型与推断自动变量的类型相同
对捕获的类型使用不同的类型推断规则是否有充分的理由？

Answer 1

原因是lambda中的operator（）默认为const。

int main()
{
    const int x = 0;
    auto foo = [x](){}; // main::$_0::operator()() const
    foo();
}

因此，您必须使用mutablelambda:

int main()
{
    const int x = 0;
    auto foo = [x=x](){}; // main::$_0::operator()()
    foo();
}

Answer 2

不是对推理的回答；这里已经有了一个全面的答案。

对于那些想知道如何捕获常量变量的非常量副本的人，您可以使用带有初始化器的捕获：

const int x = 0;
auto foo = [x = x]() mutable {
    // x is non-const
};

但这需要C 14。与C 11兼容的解决方案是在lambda之外制作副本：

const int x = 0;
int copy = x;
auto foo = [copy]() mutable {
    // copy is non-const
};

Answer 3

在您的示例中，不可能修改x，因为lambda不是可变的，这使得函数调用操作符常量。但是，即使lambda是可变的，引用的段落确实在lambdaconst int中创建了x类型。

如果我没记错的话，这是C 11中的一个深思熟虑的设计决策，目的是使lambda中的x的使用行为类似于封闭作用域中的x的使用。那就是，

void foo(int&);
void foo(const int&);
const int x = 0;
foo(x);  // calls foo(const int&)
auto foo = [x]() mutable {
    foo(x);  // also calls foo(const int&)
};

这有助于避免错误，例如，某些代码从显式循环重写为使用lambda调用标准库算法。

如果我记错了，希望有正确答案的人会介入并写下他们自己的答案。