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

, и проектируйте свои классы так, чтобы избегать подобных ошибок.

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

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

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

template
         typename... Ts> // Типы используемых аргументов
void doSomeWork(Ts&&... params) {
 Создание локального объекта T из params...

}

Есть два способа превратить строку псевдокода в реальный код (см. в разделе 5.3 информацию о std::forward):

T localObject(std::forward(params)...); // Круглые скобки
T localObject{std::forward(params)...}; // Фигурные скобки

Рассмотрим следующий вызывающий код:

std::vector v;
…
doSomeWork>(10, 20);

Если doSomeWork использует при создании объекта localObject круглые скобки, в результате будет получен std::vector с 10 элементами. Если же doSomeWork использует фигурные скобки, то результатом будет std::vector с двумя элементами. Какой из этих вариантов корректен! Автор doSomeWork не может этого знать. Это может знать только вызывающий код.

Это именно та проблема, которая встает перед функциями стандартной библиотеки std::make_unique и std::make_shared (см. раздел 4.4). Эти функции решают проблему, используя круглые скобки и документируя это решение как части своих интерфейсов[2].

Следует запомнить

• Фигурная инициализация является наиболее широко используемым синтаксисом инициализации, предотвращающим сужающие преобразования и нечувствительным к особенностям синтаксического анализа С++.

• В процессе разрешения перегрузки конструкторов фигурные инициализаторы соответствуют параметрам std::initializer_list, если это возможно, даже если другие конструкторы обеспечивают лучшее соответствие.

• Примером, в котором выбор между круглыми и фигурными скобками приводит к значительно отличающимся результатам, является создание std::vector<числовой_тип> с двумя аргументами.

• Выбор между круглыми и фигурными скобками для создания объектов внутри шаблонов может быть очень сложным.

3.2. Предпочитайте >nullptr значениям >0 и >NULL

Дело вот в чем: литерал 0 представляет собой int, а не указатель. Если С++ встретит 0 в контексте, где может использоваться только указатель, он интерпретирует 0 как нулевой указатель, но это — запасной выход. Фундаментальная стратегия С++ состоит в том, что 0 — это значение типа int, а не указатель.
С практической точки зрения то же самое относится и к NULL. В случае NULL имеется некоторая неопределенность в деталях, поскольку реализациям позволено придавать NULL целочисленный тип, отличный от int (например, long). Это не является распространенной практикой, но в действительности не имеет значения, поскольку вопрос не в точном типе