区分黑白捕获的“this”成员与 C++ lambda 中捕获的变量

Question

我想知道 C++ 中 lambda 的捕获。 我知道 lambda 表达式只是某些仿函数类的“生成器”。 我想知道编译器如何区分捕获的“this”成员和生成的仿函数类的成员？

还有，第二个问题：

在下面的示例中a_ 来自捕获列表阴影A::a_。这种行为是否在标准中描述？我在任何地方都找不到答案。

class A {
    int a_ = 0;
public:
    void sth() {
        auto l = [this, a_=1](int a) { a_ = a; };
        l(1);
    }
};

Answer 1

分解（并修复错误）：

class A {
    int a_ = 0;  // this is A::a_
public:
    void sth() {
        auto l = 
          [
              this,  // A::sth::lambda::l::_this 
              a_=a_   // A::sth::lambda::l::a_ = A::a_  // because the lambda's a_ does not exist until it's defined.
          ](int a) mutable 
          { 
              a_ = a;  // A::sth::lambda::l::a_ = argument a 
          };
        l(1);
    }
};