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

И только если нет никакой возможности преобразовать типы аргументов в фигурном инициализаторе в типы в 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, и проектируйте свои классы так, чтобы избегать подобных ошибок.

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

Второй урок заключается в том, что в качестве клиента класса вы должны тщательно выбирать между круглыми и фигурными скобками при создании объектов. Большинство разработчиков в конечном итоге выбирают один вид скобок как применяемый по умолчанию, а другой — только при необходимости. Применение по умолчанию фигурных скобок привлекает их непревзойденным диапазоном применимости, запретом применения сужающих преобразований и их иммунитетом к особенностям синтаксического анализа. Такие люди понимают, что в некоторых случаях (например, при создании вектора std::vectorс заданными размером и начальным значением элемента) необходимо использовать круглые скобки. С другой стороны, немало программистов используют в качестве выбора по умолчанию круглые скобки. Они привлекательны своей согласованностью с синтаксическими традициями С++98, тем, что позволяют избегать проблем с выводом autoкак std::initializer_list, и уверенностью, что вызовы при создании объектов не приведут к случайным вызовам конструкторов с std::initializer_list. Эти программисты признают, что иногда следует использовать именно фигурные скобки (например, при создании контейнера с определенными значениями). Нет определенного превалирующего мнения о том, какой подход лучше, поэтому могу посоветовать только выбрать один из них и постоянно ему следовать.