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

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

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

class Widget {

public:

Widget(int i, bool b); // Конструкторы не имеют параметров

Widget(int i, double d); // std::initializer_list

};

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, он использует именно это толкование. Если класс Widgetвыше дополнить конструктором, принимающим, например, std::initializer_list

class Widget {

public:

Widget(int i, bool b); // Как и ранее

Widget(int i, double d); // Как и ранее

Widget(std::initializer_list il);// Добавлен

…

};

то w2и w4будут созданы с помощью нового конструктора, несмотря на то что тип элементов std::initializer_list(в данном случае — long double) хуже соответствует обоим аргументам по сравнению с конструкторами, не принимающими std::initializer_list! Смотрите сами:

Widget w1 (10, true ); // Использует круглые скобки и, как и

// ранее, вызывает первый конструктор

Widget w2 {10, true }; // Использует фигурные скобки, но теперь

// вызывает третий конструктор

// (10 и true преобразуются в long double)

Widget w3 (10, 5.0 ); // Использует круглые скобки и, как и

// ранее, вызывает второй конструктор

Widget w4 {10, 5.0 }; // Использует фигурные скобки, но теперь

// вызывает третий конструктор

// (10 и 5.0 преобразуются в long double)

Даже то, что в обычной ситуации представляет собой копирующий или перемещающий конструктор, может быть перехвачено конструктором с std::initializer_list:

class Widget {

public:

Widget(int i, bool b); // Как ранее

Widget(int i, double d); // Как ранее

Widget(std::initializer_list il); // Как ранее

operator float() const;// Преобразование во float

};

Widget w5 (w4 ); // Использует круглые скобки, вызывает

// копирующий конструктор

Widget w6 {w4 }; // Использует фигурные скобки, вызов

// конструктора с std::initializer_list

// (w4 преобразуется во float, а float

// преобразуется в long double)

Widget w7 (std::move(w4) ); // Использует круглые скобки, вызывает

// перемещающий конструктор

Widget w8 {std::move(w4) }; // Использует фигурные скобки, вызов

// конструктора с std::initializer_list

// (все, как для w6)

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

class Widget {

public:

Widget(int i, bool b); // Как ранее

Widget(int i, double d); // Как ранее

Widget(std::initializer_list il); // Теперь тип

// элемента – bool

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

Widget w {10, 5.0}; // Ошибка! Требуется сужающее преобразование

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