Г. Шилтд - Самоучитель C++ (PDF) (1114887), страница 24
Текст из файла (страница 24)
Эта версия используется дляпрямоугольника. Однако в случае квадрата необходимо задавать только одинаргумент, поэтому вызывается вторая версия функции rect_area().Глава5.Перегрузкафункций_161Если исследовать этот пример, то становится ясно, что на самом деле в такой ситуации нет необходимости в двух функциях. Вместо этого второму параметру можно по умолчанию передать некоторое значение, действующеекак флаг для функции rect_area().
Когда функция встретит это значение, онадважды использует параметр length. Пример такого подхода:/* Расчет площади прямоугольника с передачей аргументов по умолчанию*/^include <iostream>using namespace std;// Возвращает площадь прямоугольникаdouble rect_area (double length, double width = 0)1if {! width) width = length;return length * width;int{raainOcout « "площадь прямоугольника 10 x 5.8 равна: ";cout « rect_area(10.0, 5 .
8 ) « ' \ n ' ;cout « "площадь квадрата 10 x 10 равна: ";cout « rect_area(10.0) « ' \ n ' ;Теперь параметру width по умолчанию присваивается нуль. Такое значениевыбрано потому, что не бывает прямоугольника с нулевой стороной.(Фактически, прямоугольник с нулевой стороной — это линия.) Таким образом, когда в rect_area() встречается такое, переданное по умолчанию значение, для ширины прямоугольника автоматически используется параметрlength.Как показано в этом примере, аргументы по умолчанию часто обеспечиваютпростую альтернативу перегрузке функций. (Конечно, имеется масса ситуаций, в которых перегрузка функций необходима по-прежнему.)3. Передавать конструкторам аргументы по умолчанию не только правильно, нои вполне обычно.
Как отмечалось ранее в этой главе, часто конструктор перегружается просто для того, чтобы могли создаваться как инициализируемые, так и неинициализируемые объекты. Во многих случаях можноизбежать перегрузки конструктора путем передачи ему одного или более аргументов по умолчанию. Например, рассмотрим следующую программу:^include <iostrearri>using namespace std;162Самоучитель C++class myclass {int x;public:/* Использование аргумента по умолчанию вместо перегрузкиконструктора*/myclass(int n = 0) ( x = n; }int getxf) ( return x; }int main(){myclass ol(10); // объявление с начальным значениемmyclass o2; // объявление без начального значенияcout « "ol: " « ol.getxO « '\п';cout « "о2: " « o2.getx() « '\пт;return 0;Как показано в этом примере, путем передачи по умолчанию параметру nнулевого значения, можно создавать не только объекты, имеющие явно заданные начальные значения, но и такие, для которых достаточно значений,задаваемых по умолчанию.4.
Другим хорошим применением аргумента по умолчанию является случай,когда с помощью такого параметра происходит выбор нужного варианта развития событий. Можно передать параметру значение по умолчанию так, чтобы использовать его в качестве флага, сообщающего функции о необходимости продолжить работу в обычном режиме. Например, в следующейпрограмме функция print() выводит строку на экран. Если параметр how равен значению ignore, текст выводится в том виде, в каком он задан. Если параметр how равен значению upper, текст выводится в верхнем регистре.
Еслипараметр how равен значению lower, текст выводится в нижнем регистре. Если параметр how не задан, его значение по умолчанию равно —1, что говоритфункции о необходимости повторно использовать его предыдущее значение.^include <iostream>tinclude <cctype>using namespace std;const int ignore = 0;const int upper = 1;const int lower = 2;void print(char *s, int how = -1) ;int main()fprint ( "Привет \n", ignore) ;5,ГлаваПерегрузкафункций_163print ("Привет \n", upper);print ("Привет \п") ; // продолжение вывода в верхнем регистреprint ("Привет \n", lower) ;print ("Это конец \п") ; // продолжение вывода//в нижнем регистреreturn 0;/* Печать строки в заданном регистре. Использование заданногопоследним регистра, если он не задан.*/void print (char *s, int how){static int oldcase = ignore;// повторять работу с прежним регистром, если новый не заданif (how<0) how = oldcase;while (*g) {switch (how) {case upper: cout « (char) toupper(*s);break;case lower: cout « (char) tolower(*s);break;default:- cout « *s;1oldcase = how;Эта программа выводит следующее:ПриветПРИВЕТПРИВЕТприветэто конец5.
Ранее в этой главе мы рассматривали общую форму конструктора копий.В этой общей форме имелся только один параметр. Однако вполне возможносоздавать конструкторы копий, получающие дополнительные аргументы, если только это аргументы по умолчанию. Например, вполне приемлема следующая форма конструктора копий:myclass(const myclass Sobj, int x=0) (// тело конструктора164Самоучитель C++Поскольку первый аргумент является ссылкой на копируемый объект, а всеостальные — это аргументы по умолчанию, эту функцию можно квалифицировать как конструктор копий. Такая гибкость позволяет создавать самыеразнообразные конструкторы копий.6. Хотя аргументы по умолчанию являются мощным и удобным инструментом,ими нельзя злоупотреблять. Несомненно, что 'При правильном примененииаргументы по умолчанию позволяют функции выполнять свою работу эффективным и простым по реализации образом.
Однако так происходит лишьтогда, когда переданное по умолчанию значение имеет смысл. Например, если аргумент, используемый в девять или десять раз чаще других, передатьфункции по умолчанию, то, очевидно, это неплохо. Однако в случае, еслинет значения, используемого чаще других, или нет выгоды от аргумента поумолчанию в качестве флага, то нет большого смысла передавать что-либо поумолчанию. Фактически, обеспечение передачи аргумента по умолчанию,когда это не вызвано необходимостью, ограничивает возможности вашейпрограммы и вводит в заблуждение всех пользователей такой функции.Как и при перегрузке функций, хороший программист в каждом конкретномслучае всегда сумеет определить, стоит или нет пользоваться аргументом поумолчанию.Упражнениявния)1.
В стандартной библиотеке C++ существует функция strtol(), имеющая следующий прототип:long strtol(const char *start,const **end, int base);Функция преобразует обозначающую число строку, на которую ссылаетсяуказатель start, в длинное целое. Число base задает основание системы счисления этого числа. При возвращении функцией своего значения указательend ссылается на символ в строке, следующий сразу за последней цифройстроки. Возвращаемое длинное целое эквивалентно тому числу, которое записано в строке.
Диапазон значений base от 2 до 38. Однако наиболее частооснование системы счисления равно 10.Создайте функцию mystrtol(), работающую точно так же, как и функцияstrtolQ, но аргумент 10 должен передаваться параметру base по умолчанию.(Свободно пользуйтесь функцией strtolQ для фактического преобразования.Для этого в программу требуется включить заголовок <cstdlib>.) Покажите,что ваша версия работает правильно.2.
Что неправильно в следующем прототипе функции?char *f(char *p, int x = 0, char *q);3. В большинстве компиляторов C++ применяются нестандартные функции,управляющие позиционированием курсора и другими аналогичными деист-Глава 5. Перегрузка функций165виями. Если в вашем компиляторе применяются такие функции, создайтефункцию myclreolQ, которая стирает строку, начиная от текущей позициикурсора до конца строки. Передайте этой функции параметр, задающий число стираемых позиций. Если параметр не задавать, то по умолчанию должнастираться вся строка. В противном случае должно стираться число символьных позиций, заданное параметром.4. Что неправильно в следующем прототипе функции с аргументом по умолчанию?int f(int count, int max = count);5.5.
Перегрузка и неоднозначностьПри перегрузке возможно внесение неоднозначности в программу. Неоднозначность (ambiguity), вызванная перегрузкой функций, может быть введенав программу при преобразовании типа, а также при использовании параметров-ссылок и аргументов по умолчанию. Некоторые виды неоднозначностивызываются самой перегрузкой функций. Другие виды связаны со способомвызова перегруженных функций. Чтобы программа компилировалась безошибок, от неоднозначности необходимо избавиться.Примеры J^^ТР™'Один из наиболее частых видов неоднозначности вызывается правиламипреобразования типа в C++. Как вы знаете, при вызове функции с аргументом, тип которого совместим (но не аналогичен) с типом параметра, которому он передается, тип аргумента по умолчанию преобразуется в типпараметра.
Об этой операции иногда говорят как о приведении типа (typepromotion). Приведение типа — это такой вид преобразования типа, которыйпозволяет некоторым функциям, например putchar(), вызываться с символьным параметром, даже тогда, когда аргумент функции имеет тип int. Однаков некоторых случаях это преобразование типа при перегрузке функций вызовет ситуацию неоднозначности. Чтобы понять, как это происходит, исследуем следующую программу:// Эта программа содержит ошибку неоднозначности^include <iostreani>using namespace std;float f (float i)treturn i / 2.0;__166__Самоучитель C++double f (double i)Ireturn i / 3.0;\int main ( ){float x = 10.09;double у = 10.09;cout « f(x); // нет неоднозначности// используется функция f (float)cout « f (y) ; // нет неоднозначности// используется функция f (double)cout « f(10); // неоднозначность// куда преобразовать 10?// в значение типа double или float?return 0;Как указано в комментариях к функции main(), компилятор в состоянии выбрать правильную версию функции f(), если она вызывается либо с переменными типа double, либо с переменными типа float.