结构化绑定Lambda捕获争议：Clang编译失败，GCC/MSVC正常，谁合规？

以下代码在Clang 15.0.2下编译失败，但GCC和MSVC可正常编译：

#include <tuple>
#include <iostream>

int main(){
    const auto [x, y] = [&]{
        const int x = 42;
        const int y = 815;
        return std::tuple{x, y};
    }();

    [&x]{
        int y = x;
        std::cout << y << '\n';
    }();

    return 0;
}

Clang输出的错误信息：

:11:7: error: 'x' in capture list does not name a variable [&x]{ ^ :12:17: error: reference to local binding 'x' declared in enclosing function 'main' int y = x; ^ :5:17: note: 'x' declared here const auto [x, y] = [&]{

结论 #

Clang 15.0.2的行为不符合C++标准，GCC和MSVC的处理是正确的。

原因分析 #

根据C++标准，结构化绑定引入的名字（如示例中的x和y）属于所在作用域的局部变量，具备普通局部变量的所有属性，包括被lambda捕获的能力。Clang此处错误地将结构化绑定的名字判定为无法被捕获的实体，而GCC和MSVC正确识别了这类变量的可捕获性，符合标准要求。

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