C++20中能否用constinit声明结构化绑定？哪种编译器实现合规？

先看示例代码：

struct A { int i, j; };

constinit auto [x, y] = A{ 0, 1 };

针对这段代码，不同编译器表现存在差异：

• MSVC 报错C3694：“structured binding declaration can contain no specifiers other than 'static', 'thread_local', 'auto', and cv-qualifiers”
• Clang 报错：“decomposition declaration cannot be declared 'constinit'”
• GCC 可正常编译接受

结论：MSVC和Clang的实现符合C++20标准，GCC的行为属于非标准扩展或实现错误

根据C++20标准（[dcl.dcl]和[dcl.struct.bind]章节），结构化绑定的声明语法仅允许以下类别的说明符：

• 存储类说明符：static、thread_local
• 类型说明符：auto（包括带cv限定的const auto、volatile auto等）
• cv限定符（const/volatile）

constinit不属于上述允许的说明符范畴，标准明确禁止在结构化绑定声明中使用该关键字。另外，结构化绑定本质是对初始化器对象的成员/元素进行绑定，而非直接声明独立变量，constinit要求的编译期初始化语义也无法适配这种绑定场景。

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