Is std::initializer_list{x, y, z} (CTAD) valid?

Question

When constructing an std::initializer_list explicitly, can the template argument (U) be deduced (using class template argument deduction (CTAD

Answer 1

Clang is the only compiler that is correct. Yes, really.

When the compiler sees a template name without template parameters, it has to look at the deduction guides of the template and apply them to the arguments in the braced-init-list. initializer_list doesn't have any explicit deduction guides, so it uses the available constructors.

The only publicly accessible constructors that an initializer_list has are its copy/move constructors and its default constructor. Creating a std::initializer_list from a braced-init-list isn't done through publicly accessible constructors. It's done through list-initialization, which is a compiler-only process. Only the compiler can perform the sequence of steps needed to build one.

Given all of this, it should not be possible to use CTAD on initializer_lists, unless you're copying from an existing list. And that last part is probably how the other compilers make it work in some cases. In terms of deduction, they may deduce the braced-init-list as an initializer_list<T> itself rather than as a sequence of parameters to apply [over.match.list] to, so the deduction guide sees a copy operation.

Answer 2

This is a Clang bug, as concluded in the comment of the never fixed answer of Nicol Bolas. To summarize, as any class type, std::initializer_list has a compiler provided deduction guide [over.match.class.deduct]§1.3

An additional function template derived as above from a hypothetical constructor C(C), called the copy deduction candidate.

Which means std::initializer_list has this deduction guide implicitly declared by the compiler:

template <class T>
initializer_list (initializer_list <T>) -> initializer_list <T>;

When deducing T for this deduction guide with a non empty initalizer list argument, the following rule of the standard is applied [temp.deduct.call]§1:

If removing references and cv-qualifiers from P gives std::initializer_list<P′> or P′[N] for some P′ and N and the argument is a non-empty initializer list ([dcl.init.list]), then deduction is performed instead for each element of the initializer list independently, taking P′ as separate function template parameter types P′i and the ith initializer element as the corresponding argument.

So T should be deduced to int and so class template argument deduction shall succeed.

Disclaimer: I am not a Clang advocate...