带捕获Lambda的显式对象参数限制原因及实现疑问

C++23的显式对象参数（又称"Deducing this"）让Lambda可以像成员函数一样使用this参数，但标准对带捕获的Lambda有特殊限制：其函数调用运算符的显式对象参数类型必须是闭包类型、闭包类型的派生类，或是上述类型的cv限定引用；而无捕获Lambda则没有这个限制。核心原因可以从语义、兼容性和实现三个角度解释：

• 捕获状态的访问依赖闭包类型
  带捕获的Lambda的闭包类型是编译器生成的类，捕获的变量会作为该类的非静态成员存储。Lambda的函数调用运算符逻辑必须通过this访问这些捕获的成员。如果显式对象参数是其他类型（比如示例中的C），该类型的对象根本不包含捕获的成员（比如i），编译器无法解析对捕获变量的访问，直接导致语义错误。而无捕获Lambda没有任何状态，函数调用运算符不需要访问闭包对象的成员，因此即使this是其他类型，也能正常执行逻辑。

• 无捕获Lambda的特殊语义兼容性
  无捕获Lambda可以隐式转换为函数指针，本质上和普通自由函数的语义更接近。允许它使用非闭包类型的显式对象参数，是为了保留这种灵活性——比如可以把它当作适配其他类的"伪成员函数"来使用，不会产生语义冲突。带捕获Lambda因为绑定了自身状态，无法脱离闭包对象独立工作，自然不能放开这个限制。

• 实现复杂度与语义合理性
  从实现角度看，带捕获Lambda的闭包类型是编译器私有结构，成员布局是固定的。如果允许显式对象参数是其他类型，编译器需要处理"如何将非闭包对象映射到闭包的捕获成员"，这既没有合理的语义逻辑，还会大幅增加实现复杂度，甚至可能引入未定义行为。而无捕获Lambda没有这些成员，实现上不需要处理这类映射，因此可以允许任意类型的显式对象参数。

结合你的代码示例来看：

struct C {
  template <typename T>
  C(T);
};

void func(int i) {
  int x = [=](this auto&&) { return i; }();  // OK：推导为闭包类型引用，可访问捕获的i
  int y = [=](this C) { return i; }();       // error：C类型无捕获的i成员，无法访问
  int z = [](this C) { return 42; }();       // OK：无捕获，无需访问闭包成员
}

内容的提问来源于stack exchange，提问作者yohjp