Краткий ответ

braced-init-list не является выражением с самостоятельным типом, из которого механизм вывода шаблонных параметров мог бы получить T. Поэтому вызов функции с параметром типа T обычно не позволяет выполнить вывод. Исключение составляют параметры, форма которых специально предусматривает вывод из списка, например std::initializer_list<T> или ссылка на массив известного размера.

Исторический контекст

Списки инициализации появились в C++11 как единый синтаксис для инициализации объектов, контейнеров и агрегатов. Они должны были поддержать uniform initialization и безопасную работу с несколькими элементами, но не стали обычным объектом или выражением конкретного типа.

Из-за этого правила вывода шаблонов для списков инициализации были определены отдельно. Язык не пытается угадать, должен ли список обозначать контейнер, агрегат, массив или аргументы конструктора.

Постановка проблемы

Рассмотрим универсальную функцию с параметром, тип которого полностью зависит от T. При передаче списка вида {1, 2, 3} компилятор не может вывести T, потому что сам список не сообщает, какой объект из него нужно построить.

Неверное ожидание особенно опасно в обобщённых библиотеках: вызов выглядит естественно, но шаблон может не участвовать в перегрузке или завершиться ошибкой вывода. При этом обычный объект, уже созданный из списка, передаётся без такой проблемы, поскольку его тип известен до вызова.

Подробное решение

Вывод шаблонного параметра анализирует тип и категорию выражения-аргумента. braced-init-list не имеет типа выражения, поэтому для параметра T отсутствует исходная информация, связывающая аргумент с конкретным типом.

#include <initializer_list>
#include <vector>

template<class T> void take(T) {}
template<class T> void take_list(std::initializer_list<T>) {}

int main() {
    // take({1, 2, 3});              // ошибка вывода T
    take_list({1, 2, 3});             // T выводится как int
    take<std::vector<int>>({1, 2, 3}); // T задан явно
}

В take_list форма параметра сообщает механизму вывода: элементы списка нужно рассматривать как элементы std::initializer_list<T>. По значениям 1, 2 и 3 выводится T как int.

В последнем вызове T уже не выводится: он задан явно как std::vector<int>. После этого список используется для неявного создания объекта std::vector<int>.

Важно отличать это от случая, когда тип параметра уже известен, например у функции, принимающей std::vector<int>. Там список может быть преобразован в вектор, потому что компилятору не требуется сначала вывести неизвестный шаблонный параметр.

У std::initializer_list<T> элементы должны быть совместимы с одним типом T; неоднородный список не превращается произвольно в общий тип. Пустой список также не даёт значения, по которому можно вывести T, поэтому одного std::initializer_list<T> недостаточно для вывода типа из {}.

Ситуация из практики

В библиотеке была универсальная функция take, которую хотели вызывать как с одиночным объектом, так и с несколькими значениями. Вариант с параметром T удобен для одиночных аргументов и не навязывает контейнер, но вызов со списком не компилируется.

Вариант с std::initializer_list<T> решает задачу для однородных списков и обычно хорошо читается, однако ограничивает интерфейс элементами одного типа и может участвовать в выборе перегрузки предпочтительнее других вариантов.

Ещё один вариант — явно указать тип шаблона или заранее создать объект контейнера. Он универсальнее с точки зрения целевого типа, но делает вызов менее кратким и переносит ответственность за выбор типа на вызывающий код.

Практично предоставить отдельную перегрузку для std::initializer_list<T>, если библиотека действительно поддерживает пакет однородных значений. Для неоднородных данных лучше требовать явно созданный объект или использовать другой интерфейс, не маскирующий выбор типа.

Что кандидаты часто упускают

Почему список может успешно передаваться в нетипизированный параметр, но не выводиться для T?

Если тип параметра уже известен, например это std::vector<int>, компилятор применяет преобразование списка к этому типу. При параметре T сначала требуется вывести сам тип, а преобразование нельзя надёжно выбрать до завершения вывода. Это различие между проверкой преобразования к известному типу и выводом неизвестного типа.

Что произойдёт при передаче пустого списка в параметр std::initializer_list<T>?

Вывод завершится ошибкой, поскольку в списке нет элементов, из которых можно получить T. Если тип задан явно или параметр имеет контекст, фиксирующий тип элементов, пустой список может быть принят; сам по себе он тип элемента не определяет.

Почему перегрузка с std::initializer_list<T> может изменить выбор функции?

При списочной инициализации правила разрешения перегрузок специально учитывают параметры std::initializer_list. Такая перегрузка может получить преимущество перед альтернативой, принимающей другой объект или набор отдельных аргументов. Поэтому добавление перегрузки для списков способно изменить поведение уже существующих вызовов и требует проверки неоднозначностей и совместимости API.