std::vector
имеет конструктор, который принимает на вход std::initializer_list
, поэтому поведение как gcc так и clang никого не удивляет.
Но, давайте рассмотрим такой пример:
template <class T>
struct S {
S(){}
S(T, int, long){}
};
S<int> s1; //#1
S s2(s1); //#2
Обратите внимание на инициализацию #2. В данном случае выведение типа используется для конструктора копирования, сгенерированного компилятором по умолчанию. С этим кодом спокойно работает как gcc так и clang, так как, на сколько я вижу, все тут соответствует стандарту, и конструктор по умолчанию и CTAD.
Теперь применительно к std::initializer_list
. Он также имеет конструктор копирования сгенерированный компилятором и соответственно может принимать в качестве параметра std::initializer_list
. Поэтому инициализация std::initializer_list
ничем не отличается от инициализации любого класса, который имеет конструктор с таким параметром. И тут также нет ничего противоречащего стандарту, по крайней мере я не увидел. С этим согласны большинство компиляторов кроме clang.
Данный код в clang не работает:
#include <initializer_list>
int main() {
std::initializer_list x{1,2,3};
}
Но, если указать тип вручную
std::initializer_list<int> x{1,2,3};
то clang тут же обнаружит нужный конструктор. Также работоспособности можно добиться указав гайд (только для демонстрации поведения компилятора, использование где либо еще не рекомендуется):
namespace std {
template<class T> initializer_list(const std::initializer_list<T>&) -> initializer_list<T>;
}
после этого CTAD начнет работать и в clang. Взято из комментариев к этому ответу
Посмотреть как это работает можно здесь
Вывод такой, что clang необоснованно не выводит тип в конструкторе копирования std::initializer_list
. Т.е. в clang ошибка.
initializer_list
.