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

Второй урок заключается в том, что в качестве клиента класса вы должны тщательно выбирать между круглыми и фигурными скобками при создании объектов. Большинство разработчиков в конечном итоге выбирают один вид скобок как применяемый по умолчанию, а другой — только при необходимости. Применение по умолчанию фигурных скобок привлекает их непревзойденным диапазоном применимости, запретом применения сужающих преобразований и их иммунитетом к особенностям синтаксического анализа. Такие люди понимают, что в некоторых случаях (например, при создании вектора 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] Возможен и более гибкий дизайн, который позволяет вызывающим функциям определить, должны ли использоваться круглые или фигурные скобки в функциях, генерируемых из шаблонов. Подробности можно найти в записи от 5 июня 2013 года в Andrzej's С++ blog , “Intuitive interface — Part I”. .

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

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

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

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

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

С практической точки зрения то же самое относится и к NULL. В случае NULLимеется некоторая неопределенность в деталях, поскольку реализациям позволено придавать NULLцелочисленный тип, отличный от int(например, long). Это не является распространенной практикой, но в действительности не имеет значения, поскольку вопрос не в точном типе NULL, а в том, что ни 0, ни NULLне имеют тип указателя.