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

Для устранения путаницы из-за нескольких синтаксисов инициализации и решения проблемы охвата всех сценариев инициализации С++11 вводит унифицированную инициализацию (uniform initialization): единый синтаксис инициализации, который может, как минимум концептуально, использоваться везде и выражать все. Он основан на фигурных скобках, и по этой причине я лично предпочитаю термин “фигурная инициализация” (braced initialization). Унифицированная инициализация — это идея. Фигурная инициализация — это синтаксическая конструкция.

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

std::vector v {1, 3, 5 }; // v изначально содержит 1, 3, 5

Фигурные скобки могут также использоваться для указания значений инициализации по умолчанию для нестатических членов-данных. Эта возможность — новая в С++11 — может использоваться с синтаксисом “ =” но не с круглыми скобками:

class Widget {

…

private:

int x{0 }; // OK, значение x по умолчанию равно 0

int y =0; // Тоже OK

int z (0 ); // Ошибка!

};

С другой стороны, некопируемые объекты (например, std::atomic— см. раздел 7.6) могут быть инициализированы с помощью фигурных или круглых скобок, но не с помощью знака равенства:

std::atomic ai1 {0 }; // OK

std::atomic ai2 (0 ); // OK

std::atomic ai3 =0; // Ошибка!

Легко понять, почему фигурная инициализация названа “унифицированной'”. Из трех способов обозначения выражений инициализации только фигурные скобки могут использоваться везде.

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

double x, y, z;

…

int sum1 {x + y + z }; // Ошибка! Сумма double может

// не выражаться с помощью int

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

int su.2(x+y+z) ; // OK (значение выражения усекается до int)

int sum3 = x+y+z; //

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

Widget w1 (10); // Вызов конструктора Widget с аргументом 10

Но если вы пытаетесь вызвать конструктор Widgetбез аргументов с помощью аналогичного синтаксиса, то фактически объявляете функцию вместо объекта:

Widget w2 (); // Синтаксический анализ рассматривает это как

// объявление функции w2, возвращающей Widget!

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

Widget w3{}; // Вызов конструктора Widget без аргументов

Таким образом, в пользу фигурной инициализации имеется много “за”. Это синтаксис, который может использоваться в самых разнообразных контекстах, предотвращающий неявные сужающие преобразования и не подверженный неприятностям с синтаксическим анализом С++. Тройное “за”! Так почему бы не озаглавить раздел просто “Используйте синтаксис фигурной инициализации”?

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