C++20中Lambda捕获const&&绑定到ref：Clang与GCC谁正确？

问题背景 #

以下代码在Clang中可正常编译，但GCC会抛出编译错误：

int foo() {
  int a = 5;
  auto l = [&r = std::move(std::as_const(a))] { return r; };
  return l();  
}

GCC的错误信息：

error: cannot capture 'std::move<const int&>((* & std::as_const<int>(a)))' by reference

需要明确三个问题：

1. C++20标准下，哪个编译器的行为符合规范？
2. 标准中“无省略号的初始化捕获行为如同声明并显式捕获一个形式为‘auto 初始化捕获’的变量”的描述，是否支持Clang的行为？
3. 为何移除std::as_const后，两个编译器都会报错？

标准分析与结论 #

1. 合规性判定：Clang符合标准，GCC报错不合法 #

根据C++20标准[expr.prim.lambda.capture]条款的规定，初始化捕获的行为等价于：

• 在lambda的闭包类型中声明一个成员变量
• 如果捕获标记为&（引用捕获），则该成员是引用类型，声明形式为auto& 变量名 = 初始化表达式;
• 如果是值捕获（无&），则成员为非引用类型，声明形式为auto 变量名 = 初始化表达式;

回到代码中的捕获&r = std::move(std::as_const(a))：

• std::as_const(a)返回const int&，指向原变量a
• std::move将其转换为const int&&（右值引用，仍指向a）
• 此时闭包中的成员声明等价于const int& r = std::move(std::as_const(a));（auto&推导为const int&）

而C++标准允许const左值引用绑定到右值，这段声明完全合法，因此Clang的编译通过是符合标准的。GCC错误地拒绝了这段合法代码，属于编译器实现问题。

2. 标准条款的解读 #

标准中“如同声明并显式捕获一个形式为‘auto 初始化捕获’的变量”的描述，正是支持Clang行为的核心依据：

• 这里的auto会根据初始化表达式的类型推导成员类型，结合&标记，最终推导为const int&
• 该引用绑定到std::move(std::as_const(a))的结果（指向a的const int&&），完全符合引用绑定规则，因此捕获合法。

3. 移除std::as_const后的报错原因 #

移除std::as_const后，代码变为[&r = std::move(a)]：

• std::move(a)返回int&&（非const的右值引用）
• 此时闭包中的成员声明等价于int& r = std::move(a);
• C++标准禁止非const左值引用绑定到右值，因此这段代码本身就是非法的，两个编译器报错是正确的行为。

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