C++23递归Lambda中this auto&&捕获的跨编译器差异咨询

问题背景 #

在X86平台GCC 14.2.0与Cortex-M平台ARM 6.22下编译C++23代码时，两款编译器对带有this auto&&参数的递归Lambda捕获规则处理存在差异：显式捕获成员变量的Lambda可正常编译，使用隐式捕获默认&的Lambda在GCC中触发错误，ARM编译器则允许通过并生成二进制文件。

代码示例 #

/* Compiled with --std=c++23 option */

struct Foo
{
  int s = 1 ;

  void zook (void)
    {
      auto f_ok = [ & s = s ] (this auto && f , int x) -> void // 符合标准，可正常编译
        {
          if (x < 10) f (x + s) ;
        } ;

      auto f_bad = [ & ] (this auto && f , int x) -> void // 违反标准，GCC报错：invalid use of non-static data member 'Foo::s'
        {
          if (x < 10) f (x + s) ;
        } ;

      f_ok  (1) ;
      f_bad (1) ;
    }
} ;

标准条款依据 #

根据C++23标准（N4950）的**[expr.prim.lambda.general] p25**条款：

若Lambda表达式包含this参数，则不得拥有捕获默认（即&或=），也不得显式捕获this。

这条规则的核心逻辑是：带有this参数的Lambda，其内部的this关键字会被绑定到Lambda的this参数，而非外部作用域的类成员函数this指针。同时，捕获默认会尝试捕获外部的this，这会导致语义冲突——既通过参数传递this，又通过捕获获取外部this，两者的作用域解析会产生歧义。

而显式捕获单个成员变量（如[&s=s]）不属于捕获默认，因此符合标准要求：这种方式直接捕获了成员变量的引用，Lambda体内的s直接指向捕获的引用，无需依赖this解析，避免了语义冲突。

编译器行为分析 #

• GCC 14.2.0：严格遵循C++23标准条款，对带有this参数且使用捕获默认的Lambda报错，行为合规。
• ARM 6.22：未严格执行该标准约束，允许不符合规则的代码编译，属于非标准扩展行为。

结论 #

你代码中的f_badLambda违反了C++23的明确规则，GCC的报错是正确的。若要编写符合标准的递归Lambda，推荐两种方式：

1. 显式捕获目标成员变量（如f_ok的写法）
2. 显式捕获外部this并命名，通过命名变量访问成员：

   auto f_fix = [self = this] (this auto && f, int x) -> void
   {
     if (x < 10) f(x + self->s);
   };
   

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