Б. Страуструп - Язык программирования С++. Специальное издание, 3-изд. Бином. 2004 (1160791), страница 44
Текст из файла (страница 44)
((ри отсутствии перегрузки к аргументам функций применяются все стандартные преобразования. Это также может привести к дополнительным ошибкам. В предыдущем примере только в одном из четырех примеров с «неправильными» аргументами ошибка обнаружена компилятором. Механизм перегрузки может увеличть шансы, что неправильный аргумент будет обнаружен компилятором. 194 Глава т. Функции ооЫ/(доиЫе с?а,/? оаг(?а) ( Если бы при разрешении использовался возвращаемый тпп, было бы невозможно только по вызову зс?г( () определить, которую функцию в действительности вызывать. 7.4.2. Перегрузка и область видимости Функции, объявленные в различных областях видимости (не пространствах имен), не являются перегруженными. Например: ооЫГ(?лс); оо?да() оо!с(Д(асоаЫе); У(1), //выэьсваетгсз/(доссЫе) Ясно, что/'(?п() была бы идеальным соответствием дляД1), но в данной области видимости находится только/'(асоиЫе).
В подобных случаях можно вводить и удалять локальные объявления для получения желаемого поведения. Как н всегда, намеренное сокрытие может быть полезным, но случайное сокрытие является исто сннком неожиданностей. Гели нужно, чтобы область действия перегрузки пересекала области видимости классов (9 15.2.2) нли пространств имен (9 8.2.9.2), можно воспользоваться дпрективоп ив(пхг (9 8.2.2). См, также 9 8.2.6. 7.4.3.
Явное разрешение неоднозначности Объявление неболыпого (нлп слишком большого) количества перегруженных вари- антов функция может привест и к неоднозначности. Например: ооЫ/1 (с)саг); оо(д/1 ((олд), ооЫ/2 (с?саг")1 воЫ?2 (и('); // неоднознанносты)1 (с?тг) вли/1 (?овя) //неоднозна сносгнь.'/2(с(са ) нлв/2(сн() Там где зто возможно, в подобных случаях следует рассматривать набор перегружен- ных функций как единое целое и проверять, имеет ли аргумент смысл с точки зрения семантики функции.
Часто проблему можно решить добавзсением функции, которая разрешает неоднозначность. Например, добавление /?оа(?? =зс?г1 Ыа), с(оиЫе с? = зс?гг Ыа); /? = зс?г( (??а); с( = загс ()?а); ооЫ (с (Ы1 ч', ( /1 (1), /2 (О), // вызов зан(доиЫе) // вьсзов зс?г( (доссЫе) // вьсзое звг1 ()1оас) // вьс зов зг?г( ()?он г) 195 7.4. Перегруженные имена функций !л!те оо!П(! (!п1 и! (Х1 (!опа )и); ) разрешило бы все двусмысленности, подобные!! (с), в пользу большего типа !олозл1. Также можно воспользоваться явным преобразованием типа в конкретном вызове.
Например: )2 (з)а1!с саз1<1л1> (О)) Однако, часто это не более, чем не слишком красивая временная мера. Как только встретится следующий подобный вызов, снова нужно будет решать ту же самую проблему. Некоторых новичков в С+- раздражают сообщения о неоднозначности, выдаваемые компилятором. Более опытные программисты ценят эти сооощення, рассматривая их как полезные указання на ошибки проектирования. 7.4.4. Разрешение в случае нескольких аргументов Нрп имеющихся правилах разрешения перегрузки можно быть уверенным, что будут использованы самые простые алгоритмы (функции), когда эффективность или точ- ность в значительной степени зависят от типов аргументов.
Например: М1 ров ()л 1, ~л1), ПоиЫе ров (ПоиЫе, г1оиЫе); оои( й (сотр1ех е) ( В процессе выбора среди перегруженных функций, имеющих несколько аргументов, наилучшее соответствие находится для каждого аргумента в соответствии с правилами из 9 7.4. Вызывается функция, у которой наилучшим образом соответствует один аргумент и лучшим либо таким же образом соответствуют остальные аргументы.
Если такой функции не найдено, вызов считается неоднозначным. Например: ион!я () доиЫе с1 = ров (2,0, 2); 71оисиока. ров(!и!(2.0), 2) )1 ьви ров(2.0, Поиые(2)) з Вызов неоднозначен, потому что 2.0 наилучшим образом подходит для первого аргу- мента ров (с(оиЫе, с(оиЫе), а 2 наилучпзим образом подходит для второго аргумента ров (сл1, !л1). сотр1ех ров (ЙоиЫе, сотр1ех), сотр1ехров(сотр!ех, !лг); сотр!ех ров (сотр!ех, ПоиЫеГ сотр1ех ров )сотр!ех, сотр)ех); т1! =ров(2,2); Пои Ые П = ров (2.0, 2 О); сотр!ех х2 = ров )2, г); сотр1еххЗ = ров (е,2); сотр1 ех е4 = ров (е, х); О вьгззв ров(т1, тн !/ вызоо ров(аоиые, ПоиИе) О вызов ров(ПоиЫе, совр)ех) 11 вызов роты(сотр)ех, т1) ,11 вызов ров(сотр1ек, готр!ех) Глава 7.
Функции 196 7.5. Аргументы по умолчанию У функций общего назначения часто больше аргументов, чем требуется в простых случаях. В частности, функции, создающие объекты Я (0.2.3), для увеличения гибкости часто предоставляют несколько возможностей. Рассмотрим функцию, которая печатает целое. Кажется разумным предоставить пользователю возможность выбора основания, по которому его печатать, но в большинстве программ целые будут печататься в виде десятичных чисел. Например: иоЫ рпп1 (сл1иа1ие, т1Ьизе = !О); // основание по улголчанию равно !О иоиЩ ( рпп1 (3!); рпп1(81, 1О), рг!п1 (01, 16), рпл1(81,2); В результате на выходе получится: 31 З1 1/ 111!1 Того же самого результата можно было добиться при помощи перегруженных функций: иоЫ рпп1 (тгиа1ие, т1Ьазе); т1те иоЫ рип1 (т1 иа!ие) ( рпп1 (иа!ие, 10), ) Однако, перегрузка делает для программиста менее очевидным тот факт, что цель была — получить одну функцию плюс некоторую короткую форму ее записи, Тип аргумента по умолчанию проверяется в месте объявления функции и вычисляется в момент вызова.
Аргументы по умолчанию можно задавать толька в конце списка аргументов. Например: // правильно // ошибка //ошибка !п1/(!и1, т1=0, сбаг' =О); т1 а (!л1=0, !л1=0, сдаГ~! т1 Ь (т 1=0, т 1, сб аг" =О); Обратите внимание, что пробел между * и = имеет значение (*= — оператор присваи- вания; 9 6.2); //синтаксическая ошибка т1 лаз!0 (сдаг'=0~! Аргумент по умолчанию не может быль повторен или изменен в последующих объяв- лениях втой же области видимости. Например: Объявление имени во вложенной области видимости, скрывающее объявление того же имени во внешней области, скорее всего приведет к ошибке.
ио10Я!л1х = 7), ио!д/(1п1 = 7), по!0/(!п1 = 8); по1ди () ( ио!д/(1л1х = У); //" ) // ошибка: нельзя повторять аргумент по улсолчанию //огиибкаг другое значение аргуяенти по умолчанию // правильно: зпю объявление, скри воет предыдугиее 197 7 6. Неуказанное количество аргументов ?.6. Неуказанное количество аргументов !л1ртсп11 )сопя! слит' Это означает, что вызов функции стандартной библиотеки С рг)п17 )) 19 21.о) должен содержать по крайней мере один аргумент типа сйаг" и может либо содержать, либо не содержать еше несколько аргументов. Например: рнпЯ"Здравствуй мир!~п"), рнл11 )'Меля зовут «г я 7«я~,п, у) тя1 после, яесопг! пате); ртш!З )" Йс!» %с! = 'жгГ1п', 2, 3, 5), Во время интерпретации списка аргументов такая функция пользуется информацией, недоступной компилятору. В случае с рг1пу )), первым аргументом является строка, содержащая специальную последовательность символов, которая позволяет рг1п17' )) правильно обрабатывать последующие аргументы: Гя означает «ожидаю аргумент типа с7гиг*», а Хс) означает «ожидаю аргумент типа 1и!».
Олнако, в общем слу гае, компилятор не может все зто проверить, поатому он не в состоянии гарантировать, что ожидаемые аргументы действительно присутствуют нлц что они имеют правильные типы. Например, программа игпс1ш1е <яй!!о.й> !п1ти!л () ( рт!л17" ) "Меля алеут %я Ъя)п', 2); будет успешно откомпилирована и, в лучшем случае, распечатает нечто странное (посмотрите, что получится!), Ясно, что если аргумент не был обьявлен, компилятор не имеет информации, необходимой для выполнения стандартной проверки и преобразований типа. В таких случаях с)гиг и яйог! передаются как 1п1, ау)ои! — как с)оиЫе. Совсем необязательно, что программист ожидает именно этого.
В качественно разработанной программе требуется максимум всего ли!ив несколько функций, у которых указаны типы не всех аргументов . В большинстве случаев вместо функции с неуказанным количеством ар!уыентов можно воспользоваться перегруженными функциями или функциями с аргументами по умолчанию для того, чтобы обеспечить проверку соответствия типов. Только в тех случаях, когда и количество и типы аргументов неизвестны, следует пользоваться многоточием. Типичным приме- пением многоточий является создание интерфейса для библиотечных функций С, которые были определены до того, как в С»+ появились их альтернативы: П из <сяМ!о> // из эаголозочпогограааа Иу!Х !псург!пу" !ГЛЕ", сопя! спит* ...); !л1ехес!)сопя1с)таг* В <ся1с1игст> можно найти стандартный набор макросов для доступа к неспецнфнрованным аргументам в таких функциях. Рассмотрим пример функции, у которой один целый аргумент, означающий серьезность ошибки, за которым следует произвольное Для некоторых функций невозможно указать количество н типы всех аргументов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
