Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14 - [25]

; // Ошибка! Требуется сужающее преобразование

Здесь компилятор игнорирует первые два конструктора (второй из которых в точности соответствует обоим типам аргументов) и пытается вызвать конструктор, получающий аргумент типа std::initializer_list. Вызов этого конструктора требует преобразования значений int(10) и double(5.0) в bool. Оба эти преобразования являются сужающими (bool не может в точности представить ни первое, ни второе значения), а так как сужающие преобразования запрещены в фигурных инициализаторах, вызов является некорректным, и код отвергается.

И только если нет никакой возможности преобразовать типы аргументов в фигурном инициализаторе в типы в std::initializer_list, компилятор возвращается к нормальному разрешению перегрузки. Например, если мы заменим конструктор с std::initializer_list конструктором, принимающим std::initializer_list, то кандидатами на вызов вновь станут конструкторы, не принимающие std::initializer_list (поскольку нет никакого способа преобразовать int и bool в std::string:

class Widget {
public:
 Widget(int i, bool b);   // Как ранее
 Widget(int i, double d); // Как ранее

 // Теперь тип элементов std::initializer_list – std::string:
 Widget(std::initializer_list il);

 // Нет функций неявного преобразования
};

Widget w1(10, true); // Круглые скобки, первый конструктор
Widget w2{10, true}; // Фигурные скобки, первый конструктор
Widget w3(10, 5.0);  // Круглые скобки, второй конструктор
Widget w4{10, 5.0};  // Фигурные скобки, второй конструктор

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

Правило заключается в том, что будет вызван конструктор по умолчанию. Пустые фигурные скобки означают отсутствие аргументов, а не пустой std::initializer_list:

class Widget {
public:
 // Конструктор по умолчанию:
 Widget();
 // Конструктор с std::initializer_list
 Widget(std::initializer_list il);

 // Нет функций неявного преобразования
};

Widget w1;   // Вызов конструктора по умолчанию
Widget w2{}; // Вызов конструктора по умолчанию
Widget w3(); // Трактуется как объявление функции!

Если вы хотите вызвать конструктор с пустым std::initializer_list, то это можно сделать, передавая пустые фигурные скобки в качестве аргумента конструктора в круглых или фигурных скобках, окружающих передаваемые вами:

Widget w4({}); // Вызов конструктора с пустым
               // std::initializer_list
Widget w5{{}}; // То же самое

Сейчас, когда кажущиеся магическими правила фигурной инициализации, std::initializer_list и перегрузки конструкторов переполняют ваш мозг, вы можете удивиться, какое большое количество информации влияет на повседневное программирование. На самом деле даже больше, чем вы думаете, потому что одним из классов, на которые все это оказывает непосредственное влияние, является std::vector. Класс std::vector имеет конструктор без std::initializer_list, который позволяет вам указать начальный размер контейнера и значение, присваиваемое каждому из его элементов; но при этом имеется также конструктор, принимающий std::initializer_list и позволяющий указать начальные значения контейнера. Если вы создаете std::vector числового типа (например, std::vector) и передаете ему два аргумента, то при использовании круглых и фигурных скобок вы получите совершенно разные результаты:

std::vector v1(10, 20); // Используется конструктор без
                             // std::initializer_list: создает
                             // std::vector с 10 элементами;
                             // значение каждого равно 20
std::vector v2{10, 20}; // Используется конструктор с
                             // std::initializer_list: создает
                             // std::vector с 2 элементами со
                             // значениями 10 и 20

Но давайте сделаем шаг назад от std::vector, а также от деталей применения круглых скобок, фигурных скобок и правил перегрузки конструкторов. Имеется два основных вывода из этого обсуждения. Во-первых, как автор класса вы должны быть осведомлены о том, что если ваш набор перегружаемых конструкторов включает один или несколько конструкторов, использующих std::initializer_list, то клиентский код с фигурной инициализацией может рассматривать только перегрузки с std::initializer_list. В результате лучше проектировать конструкторы так, чтобы перегрузка не зависела от того, используете вы круглые или фигурные скобки. Другими словами, вынесите уроки из того, что сейчас рассматривается как ошибка дизайна интерфейса класса std::vector