C++ 中聚合的带括号初始化的模板参数推导

在下面的代码中有一个初始化A<T>使用两种形式进行模板参数推导的对象，其区别在于大括号的类型：

template<typename T>
struct A{ T x; };

int main() {
    static_assert( A{1}.x == 1 ); //#1: ok in GCC and MSVC
    static_assert( A(1).x == 1 ); //#2: ok in GCC only
}

第一种方式被 GCC 和 MSVC 接受，而第二种方式仅适用于 GCC，而 MSVC 打印错误：

error C2641: cannot deduce template arguments for 'A'
error C2780: 'A<T> A(void)': expects 0 arguments - 1 provided
error C2784: 'A<T> A(A<T>)': could not deduce template argument for 'A<T>' from 'int'

Demo: https://gcc.godbolt.org/z/97G1acqPr https://gcc.godbolt.org/z/97G1acqPr

这是 MSVC 中的错误吗？

这是 MSVC 中的一个错误。

以下论文均是C++20中介绍的：

• P0960R3：允许从带括号的值列表初始化聚合 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0960r3.html
• P1975R0：修复括号聚合初始化的措辞 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1975r0.html
• P2131R0：修复聚合的 CTAD http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2131r0.html

虽然 MSVC 将它们全部列出来Visual Studio 版本的 Microsoft C/C++ 语言一致性 https://learn.microsoft.com/en-us/cpp/overview/visual-cpp-language-conformance?view=msvc-170页面，看起来虽然他们已经正确地单独实现了它们

// OK (P0960R3, P1975R0)
struct A { int x; };
A a(1);

// OK (P2131R0)
template<typename T>
struct B { T x; };
B b{1};

// rejects-invalid (allowed by the union of the papers)
template<typename T>
struct C { T x; };
C c(1);

MSVC 似乎错过了实现论文联合的机会。但是，我还没有找到开放的错误报告。