std::initializer_list{x, y, z} (CTAD) 有效吗？

当构建一个std::initializer_list<U>明确地，模板参数（U）被推导（例如，使用类模板参数推导（CTAD））？

换句话说，我知道以下陈述是有效的：

std::initializer_list<int> x1{1, 2, 3};
std::initializer_list<int> x2 = {1, 2, 3};
auto x3 = std::initializer_list<int>{1, 2, 3};

但以下陈述也有效吗？

std::initializer_list x1{1, 2, 3};
std::initializer_list x2 = {1, 2, 3};
auto x3 = std::initializer_list{1, 2, 3};

编译器对于模板参数是否std::initializer_list可以推论：

#include <initializer_list>

struct s {
    s(std::initializer_list<int>);
};

void f() {
    std::initializer_list x1{1, 2, 3};         // Clang ERROR; GCC OK;    MSVC OK
    std::initializer_list x2 = {1, 2, 3};      // Clang ERROR; GCC OK;    MSVC OK
    auto x3 = std::initializer_list{1, 2, 3};  // Clang ERROR; GCC OK;    MSVC OK

    s x4(std::initializer_list{1, 2, 3});      // Clang ERROR; GCC ERROR; MSVC OK
    s x5{std::initializer_list{1, 2, 3}};      // Clang ERROR; GCC OK;    MSVC OK
    s x6 = s(std::initializer_list{1, 2, 3});  // Clang ERROR; GCC OK;    MSVC OK
    s x7 = s{std::initializer_list{1, 2, 3}};  // Clang ERROR; GCC OK;    MSVC OK
    s x8 = std::initializer_list{1, 2, 3};     // Clang ERROR; GCC OK;    MSVC OK

    void g(std::initializer_list<int>);
    g(std::initializer_list{1, 2, 3});         // Clang ERROR; GCC OK;    MSVC OK
}

（请参阅此示例编译器资源管理器 https://godbolt.org/z/b9bb6k.)

测试的编译器：

• Clang 版本 7.0.0-std=c++17 -stdlib=libc++与-std=c++17 -stdlib=libstdc++
• GCC 版本 8.3-std=c++17
• MSVC 版本 19.16/std:c++17

Clang 是唯一正确的编译器。对真的。

当编译器看到没有模板参数的模板名称时，它必须查看模板的推导指南并将它们应用于花括号初始化列表中的参数。initializer_list没有任何显式的推导指南，因此它使用可用的构造函数。

唯一可公开访问的构造函数initializer_listhas 是其复制/移动构造函数及其默认构造函数。创建一个std::initializer_list来自花括号初始化列表的操作不是通过可公开访问的构造函数完成的。这是通过完成的列表初始化 https://timsong-cpp.github.io/cppwp/n4659/dcl.init.list，这是一个仅编译器进程。只有编译器才能执行构建一个所需的步骤顺序 https://timsong-cpp.github.io/cppwp/n4659/dcl.init.list#5.

考虑到所有这些，应该不可能在以下设备上使用 CTAD：initializer_lists，除非您从现有列表中复制。最后一部分可能是其他编译器在某些情况下如何使其工作的。在推论方面，他们可以将花括号初始化列表推导为initializer_list<T>本身而不是作为参数序列来应用[超过匹配列表] https://timsong-cpp.github.io/cppwp/n4659/over.match.list到，所以推导指南看到的是复制操作。