С. Мейерс - Эффективный и современный C++ (1114942), страница 14
Текст из файла (страница 14)
0 } ; // Ошибка ! Требуется сужающее преобразование3 . 1 . Разл ичие между 11 и О при создании объектов65Здесь компилятор игнорирует первые два конструктора (второй из которых в точностисоответствует обоим типам аргументов) и пытается вызвать конструктор, получающийаргумент типа std : : init i a l i z er_ l i s t <bool>. Вызов этого конструктора требует преобразования значений int (10) и douЬl e ( 5 . О ) в bool.
Оба эти преобразования являются сужающими (bool не может в точности представить ни первое, ни второе значения),а так как сужающие преобразования запрещены в фигурных инициализаторах, вызовявляется некорректным, и код отвергается.И только если нет н икакой возможности преобразовать типы аргументов в фигурном инициализаторе в типы в s t d : : i n i t i a l i z e r_l i s t, компилятор возвращается к нормальному разрешению перегрузки. Например, если мы заменим конструкторс st d : : i n i t i a l i z e r_ l i s t <b o o l > конструктором, принимающим st d : : i n i t i a l i z e r_l i st<s t d : : s t r i ng>, то кандидатами на вызов вновь станут конструкторы, не принимающие std : : i n it i a l i z e r_ l ist (поскольку нет никакого способа преобразовать int и boolв std : : st r i ng:class WidgetpuЫic :Widget ( int i , bool Ь ) ;1 1 Как ранееWidget ( int i , douЫe d ) ; 1 1 Как ранее1 1 Теперь тип элементов std : : initializer list - std : : string :Widget ( s td : : initializer_list<std: : string> i l ) ;11Нет функций неявного преобразования};WidgetWidgetWidgetWidgetwl ( 1 0 ,w2 { 1 0 ,wЗ ( 1 0 ,w4 { 1 0 ,t rue ) ;true } ;5 .
0) ;5.0};11Круглые скобки, первый конструкторФигурные скобки, первый конструктор1 1 Круглые скобки, второй конструктор1 1 Фигурные скобки, второй конструктор11Это приводит нас к завершению изучения фигурных инициализаторов и перегрузки конструкторов, но есть еще один интересный предельный случай, который хотелось бы рассмотреть. Предположим, что вы используете пустые фигурные скобкидля создания объекта, который поддерживает конструктор по умолчанию и конструктор с s t d : : i n i t i a l i z e r_l i s t . Что при этом будут означать пустые фигурные скобки? Если они означают "без аргументов", будет вызван конструктор по умолчанию, ноесли они означают "пустой s t d : : i n i t i a l i z e r_l i s t ", то будет вызван конструкторс std : : i n i t i a l i ze r l i st без элементов.Правило заключается в том, что будет вызван конструктор по умолчанию.
Пустыефигурные скобки означают отсутствие аргументов, а не пустой std : : i n i t i a l i ze r_ l i st:class Widget {puЬl i c :1 1 Конструктор по умолчанию :Widget ( ) ;66Глава 3. Переход к современному С++/ / Конструктор с s t d : : initiali zer_li s tWidget ( std : : initiali zer_li st<int> i l ) ;11Нет функций неявного преобразованияf;Widget wl ;// Вызов конструктора по умолчаниюWidget w 2 { } ; // Вызов конструктора по умолчаниюWidget wЗ ( ) ; // Трактуется как объявление функции 'Если вы хотите вызвать конструктор с пустым std : : init i a l i ze r_ l i st, то это можно сделать, передавая пустые фигурные скобки в качестве аргумента конструктора в круглых или фигурных скобках, окружающих передаваемые вами:Widget w4 ( { } ) ; // Вызов конструктора с пустым// std : : initiali zer l i s tWidget w5 ( { } } ; / / То же самоеСейчас, когда кажущиеся магическими правила фигурной инициализации, s t d : :ini t i a l i z e r_ l i s t и перегрузки конструкторов переполняют ваш мозг, вы можете удивиться, какое большое количество информации влияет на повседневное программирование.
На самом деле даже больше, чем вы думаете, потому что одним из классов,на которые все это оказывает непосредственное влияние, является s t d : : vecto r. Классstd : : vector имеет конструктор без s t d : : i n i t i a l i ze r_l i s t , который позволяет вамуказать начальный размер контейнера и значение, присваиваемое каждому из его элементов; но при этом имеется также конструктор, принимающий std : : i n i t i a l i zer_ l i s tи позволяющий указать начальные значения контейнера. Если вы создаете s td : : vectorчислового типа (например, std : : vect o r < i nt > ) и передаете ему два аргумента, то при использовании круглых и фигурных скобок вы получите совершенно разные результаты:std : : vector<int> vl ( l O , 2 0 ) ; / / Используется конструктор без// std : : initiali zer l i s t : создает11 std: : vector с 10 элементами ;1 1 значение каждого равно 20std : : vector<int> v2 { 1 0 , 2 0 } ; / / Используется конструктор с11 s td : : initiali zer l i s t : создает1 1 std: : vector с 2 элементами со11 значениями 10 и 2 0Но давайте сделаем шаг назад от std : : vector, а также от деталей применения круглыхскобок, фигурных скобок и правил перегрузки конструкторов.
Имеется два основныхвывода из этого обсуждения. Во-первых, как автор класса вы должны быть осведомленыо том, что если ваш набор перегружаемых конструкторов включает один или несколькоконструкторов, использующих std : : i n i t i a l i zer_l i s t , то клиентский код с фигурнойинициализацией может рассматривать только перегрузки с s t d : : i n i t i a l i z e r_l i st .В результате лучше проектировать конструкторы так, чтобы перегрузка не зависелаот того, используете вы круглые или фигурные скобки. Другими словами, вынесите уроки3.1 . Различие между 11 и () при создании объектов67из того, что сейчас рассматривается как ошибка дизайна интерфейса класса std : : vector,и проектируйте свои классы так, чтобы избегать подобных ошибок.Следствием этого является то, что если у вас есть класс без конструктора s t d : :i n i t i a l i ze r l i st и вы добавляете таковой, то клиентский код, использующий фигурную инициализацию, может обнаружить, что вызовы, разрешавшиеся с использованиемконструкторов без s t d : : in i t i a l i ze r_l i st , теперь разрешаются в новые функции.
Конечно, такое может случиться в любой момент при добавлении новой функции ко множеству перегруженных функций: вызов, который разрешался в одну из старых функций,теперь может приводить к вызову новой. Разница в данном случае в том, что перегрузкис std : : i n i t i a l i ze r_ l i s t не только конкурируют с другими перегрузками, но практически полностью перекрывают для них возможность быть рассмотренными в качестве потенциальных кандидатов. Поэтому такое добавление должно выполняться только послетщательного обдумывания.Второй урок заключается в том, что в качестве клиента класса вы должны тщательно выбирать между круглыми и фигурными скобками при создании объектов.
Большинство разработчиков в конечном итоге выбирают один вид скобок как применяемый по умолчанию,а другой - только при необходимости. Применение по умолчанию фигурных скобок привлекает их непревзойденным диапазоном применимости, запретом применения сужающих преобразований и их иммунитетом к особенностям синтаксического анализа. Такие люди понимают, что в некоторых случаях (например, при создании вектора std : : vector с заданнымиразмером и начальным значением элемента) необходимо использовать круглые скобки.
Сдругой стороны, немало программистов используют в качестве выбора по умолчанию круглые скобки. Они привлекательны своей согласованностью с синтаксическими традициямиС++98, тем, что позволяют избегать проблем с выводом aut o как std : : i n i t i a l i zer_ l i st,и уверенностью, что вызовы при создании объектов не приведут к случайным вызовам конструкторов с std : : init i a l i zer_l i s t . Эти программисты признают, что иногда следует использовать именно фигурные скобки (например, при создании контейнера с определеннымизначениями). Нет определенного превалирующего мнения о том, какой подход лучше, поэтому могу посоветовать только выбрать один из них и постоянно ему следовать.Если вы автор шаблона, противостояние в применении круглых и фигурных скобокможет быть особенно неприятным, потому что в общем случае невозможно сказать,какие скобки должны использоваться.
Предположим, например, что вы хотите создатьобъект произвольного типа с произвольным количеством аргументов. Использованиешаблонов с переменным количеством параметров позволяет сделать это концептуальнодостаточно просто:// Тип создаваемого объектаtemplate<typename Т ,typename . . . Ts> / / Типы используемых аргументовvoid doSomeWork ( Ts&& .
. . params )Создание локального объекта Т из params . . .68Глава 3. Переход к современному С++Есть два способа превратить строку псевдокода в реальный код (см. в разделе 5.З информацию о std : : forward):Т localObject (std : : forward<Ts> (params ) . . . ) ; / / Круглые скобкиТ localObj ect { std: : forward<Ts> (params ) . . } ; / / Фигурные скобки.Рассмотрим следующий вызывающий код:std: : vector<int> v;doSomeWork<std : : vector<int>> ( l O ,20) ;Если doSomeWo rk использует при создании объекта l o ca lObj ect круглые скобки,в результате будет получен s t d : : vector с 10 элементами.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
