通过lambda中的显式此参数访问捕获的变量

Question

来自声明/功能/9.3.4.6/6.2（我很抱歉如何引用标准中的具体句子）：

显式对象参数声明是带有this说明符的参数声明。显式对象参数声明只能作为参数声明列表的第一个参数声明出现：（6.1）声明成员函数的成员声明符（[class.mem]）或（6.2）lambda声明符（[expr.prim.lambda]）。

如果lambda表达式允许此作为显式对象参数，那么当我们同时捕获变量时会发生什么？

根据我的理解，如果引擎盖下有lambda：

[x = 2](this auto& func) { x = 4; }();

可能大致相当于：

class lambda01 {
  private:
    int x;

  public:
    constexpr lambda01(cons int& x_)
    : x{x_} {}

    constexpr void operator()(this lambda01& func) {
      func.x = 4;
    }
};
lambda04 lambda04_obj {2};
lambda04_obj.operator()();

如果这是对的。

例如，1号：

int x;

// is it:
[&x](this auto& func){ x = 4; }();

assert(x == 4);

// or:
[&x](this auto& func){ func.x = 2; }();

assert(x == 2);

• 两个表达式都有效吗？
• lambda取l-value对象参数有效吗？

例如，将以variadic格式打印参数的2号示例：

[]<typename... Args>(const Args&... args) {
  [&](this auto func){
    /** ... **/
  };
}(1, 2, 3, 4);

从注释的表达式中，哪一个是有效的？

• <代码>（std：：cout

如果第二个选择是有效的，那么这就值得再问一个关于1个对象中可能的参数包的问题。

简而言之，在lambda中使用点运算符访问的捕获变量是否有效，以获取显式对象参数？

Answer 1

标准不允许：

对于copy捕获的每个实体，在闭包类型中声明一个未命名的非静态数据成员。

如果它是“未命名的”，那么你不能命名它。有一种特定的语言可以将捕获实体的名称转换为基于此表达式的表达式，但仅此而已。

因此，您可以使用显式this参数，捕获实体的名称将自动使用它。但是您不能通过显式参数访问这些变量。

在lambda中显式获取this的唯一原因是使用标准提供的接口：调用lambda。AKA：递归调用lambda而不命名lambda。