为什么我无法在 lambda 中捕获此按引用 ('&this')？

我明白了正确的捕捉方式this（修改对象属性）在 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

为什么我无法明确捕获this引用：

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

原因[&this]不起作用是因为它是语法错误。中的每个参数以逗号分隔lambda-introducer is a capture:

capture:
    identifier
    & identifier
    this

你可以看到&this语法上不允许。不允许的原因是因为你永远不想捕捉this通过引用，因为它是一个小的 const 指针。您只想按值传递它 - 所以该语言不支持捕获this引用。

捕捉this明确地你可以使用[this] as the lambda-introducer.

首先capture可以是一个capture-default这是：

capture-default:
    &
    =

这意味着通过引用自动捕获我使用的任何内容（&) 或按值 (=）分别 - 然而治疗this是特殊的 - 在这两种情况下，由于前面给出的原因，它都是通过值捕获的（即使默认捕获&，通常意味着通过引用捕获）。

5.1.2.7/8：

为了名称查找（3.4）的目的，确定this(9.3.2) 和转换 id- 使用以下方法将引用非静态类成员的表达式转换为类成员访问表达式(*this)(9.3.1), 复合语句 [OF THE LAMBDA] 在 lambda 表达式的上下文中考虑。

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

如果 lambda 捕获包含捕获默认值，则为&， lambda 捕获中的标识符不应是 之前是&。如果 lambda 捕获包含捕获默认值，则为=， lambda 捕获不应包含this并且它包含的每个标识符前面应带有&。标识符或this不得出现超过 一旦进入 lambda 捕获。

所以你可以使用[this], [&], [=] or [&,this] as a lambda-introducer捕捉this按值指针。

However [&this] and [=, this]格式不正确。在最后一种情况下，gcc 会宽容地警告[=,this] that explicit by-copy capture of ‘this’ redundant with by-copy capture default而不是错误。