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

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

И только если нет никакой возможности преобразовать типы аргументов в фигурном инициализаторе в типы в std::initializer_list, компилятор возвращается к нормальному разрешению перегрузки. Например, если мы заменим конструктор с std::initializer_listконструктором, принимающим std::initializer_list, то кандидатами на вызов вновь станут конструкторы, не принимающие std::initializer_list(поскольку нет никакого способа преобразовать intи boolв std:: string: