Подтвердить что ты не робот

Является ли 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
}

(Смотрите этот пример в Compiler Explorer.)

Компиляторы проверены:

  • Clang версии 7.0.0 с -std=c++17 -stdlib=libc++ и с -std=c++17 -stdlib=libstdc++
  • Версия 8.3 GCC с -std=c++17
  • MSVC версия 19.16 с /std:c++17
4b9b3361

Ответ 1

Clang - единственный верный компилятор. Да, действительно.

Когда компилятор видит имя шаблона без параметров шаблона, он должен просмотреть руководства по выводу шаблона и применить их к аргументам в braced-init-list. initializer_list не имеет каких-либо явных инструкций по выводу, поэтому он использует доступные конструкторы.

Единственные общедоступные конструкторы, которые есть у initializer_list, это его конструкторы копирования/перемещения и конструктор по умолчанию. Создание std::initializer_list из braced-init-list не выполняется с помощью общедоступных конструкторов. Это делается с помощью инициализации списка, которая выполняется только компилятором. Только компилятор может выполнить последовательность шагов, необходимых для его создания.

Учитывая все это, не должно быть возможности использовать CTAD в initializer_list, если вы не копируете из существующего списка. И эта последняя часть, вероятно, объясняет, как другие компиляторы заставляют ее работать в некоторых случаях. С точки зрения дедукции, они могут выводить braced-init-list как сам initializer_list<T>, а не как последовательность параметров, к которым нужно применить [over.match.list], поэтому руководство по выводу видит операцию копирования.