List-инициализатор и VARIADIC конструктор

Question

С CPP reference по-списка инициализации:

В противном случае, конструкторы Т рассматриваются в два этапа:

• Все конструкторы, которые принимают зЬй :: initializer_list в качестве единственного аргумента или в качестве первого аргумента, если остальные аргументы имеют значения по умолчанию, проверяются и сопоставляются разрешением перегрузки по одному аргументу типа std :: initializer_list

• Если предыдущий этап не дает соответствия, все конструкторы T участвуют в разрешении перегрузки против множества аргументов, которые состоят из элементов списка с привязкой-инициализацией, с ограничением, допускающим только не суживающиеся преобразования. Если эта стадия создает явный конструктор, как лучший матч для копирования списка инициализации, компиляция завершится неудачно (обратите внимание, в простой копии инициализации, явные конструкторы вообще не рассматривается)

Так конструктор с использованием initializer_list считается первым. В противном случае каждый элемент списка рассматривается как аргументы для конструкторов. Однако

#include <iostream> 

using namespace std; 

struct A{ 
    template <typename... Args> A(Args... li) { cout << sizeof...(Args) << endl;} 
}; 

int main(){ 

    A a = {2,3,4}; 

} 

Выход 3, который указывает на то, что Args... распаковывается как int, int, int. Почему Args ... не просто сделал единственное число initializer_list<int>, которое указано в указателе на инициализацию списка, это будет первый тип типа конструктора?

Answer 1

[temp.deduct.call]/1 Шаблон вывод аргумента делается путем сравнения каждой функции тип параметра шаблона (назовем его P) с типом соответствующего аргумента вызова (назовем его A), как описано ниже. Если удаление ссылок и cv-квалификаторов от P дает std::initializer_list<P'> для некоторого P', и аргумент представляет собой список инициализаторов (8.5.4), то вместо каждого элемента списка инициализатора выполняется дедукция, принимающая P' как тип параметра шаблона функции и инициализатор в качестве аргумента. В противном случае аргумент списка инициализатора приводит к тому, что параметр считается невыводимым контекстом (14.8.2.5).

Emphasis mine. По этой причине вывод аргумента шаблона для конструктора из аргумента типа initializer_list<int> терпит неудачу.

Answer 2

Если вы предоставляете явно конструктор с std::initializer_list, он будет выбирать: Demo.

template <typename... Args> A(Args...) не является конструктором с первым аргументом std::initializer_list (даже если первый аргумент может быть std::initializer_list).

И в A a = {2, 3, 4}, {2, 3, 4} не имеет типа. Это не std::initializer_list.