为什么我不能通过引用（'

Question

我了解在lambda中捕获此（修改对象属性）的正确方法如下：

auto f = [this] () { /* ... */ };

但我对我所看到的以下特点感到好奇：

class C {
    public:
        void foo() {
            // auto f = [] () { // this not captured
            auto f = [&] () { // why does this work?
            // auto f = [&this] () { // Expected ',' before 'this'
            // auto f = [this] () { // works as expected
                x = 5;
            };
            f();
        }

    private:
        int x;
};

我感到困惑（并希望得到回答）的奇怪之处在于，为什么以下方法有效：

auto f = [&] () { /* ... */ }; // capture everything by reference

以及为什么我无法通过引用明确捕获此内容：

auto f = [&this] () { /* ... */ }; // a compiler error as seen above.

Answer 1

匿名用户

因为标准没有

N4713 8.4.5.2捕获：

lambda-capture:
    capture-default
    capture-list
    capture-default, capture-list

capture-default:
    &
    =
capture-list:
    capture...opt
    capture-list, capture...opt
capture:
    simple-capture
    init-capture
simple-capture:
    identifier
    &identifier
    this
    * this
init-capture:
    identifier initializer
    &identifier initializer

出于lambda捕获的目的，表达式可能引用本地实体，如下所示：

7.3这个表达式可能引用*this。

因此，标准保证此和*此有效，且

Answer 2

原因<代码>[

capture:
    identifier
    & identifier
    this

您可以看到

要明确捕获此，可以将此用作lambda导入器。

第一个捕获可以是默认的捕获，即：

capture-default:
    &
    =

这意味着通过引用自动捕获我使用的任何内容（

5.1.2.7/8：

为了查找名称（3.4），确定此（9.3.2）的类型和值，并使用（*此）将引用非静态类成员的id表达式转换为类成员访问表达式（9.3.1），在LAMBDA表达式的上下文中考虑[LAMBDA的]复合语句。

因此，在使用成员名称时，lambda的行为就好像它是封闭成员函数的一部分（例如在您的示例中使用名称x），因此它将生成this的“隐式用法”就像成员函数一样。

如果lambda捕获包含一个捕获默认值，即

因此，您可以使用[

但是<代码>[