Стенли Липпман - Язык программирования C++. Пятое издание

• Компилятор находит несколько функций, которые в принципе подходят, но ни одна из них не соответствует полностью. В этом случае компилятор также сообщает об ошибке, об ошибке неоднозначности вызова (ambiguous call).

Упражнение 6.39. Объясните результат второго объявления в каждом из следующих наборов. Укажите, какое из них (если есть) недопустимо.

(a) int calc(int, int);

int calc(const int, const int);

(b) int get();

double get();

(c) int *reset(int *);

double *reset(double *);

Обычно объявлять функцию локально нежелательно. Но чтобы объяснить, как область видимости взаимодействует с перегрузкой, мы будем нарушать это правило и используем локальные объявление функции.

Новички в программировании на языке С++ зачастую не понимают взаимодействия между областью видимости и перегрузкой. Однако у перегрузки нет никаких специальных свойств относительно области видимости. Как обычно, если имя объявлено во внутренней области видимости, оно скрывает (hidden name) такое же имя, объявленное во внешней области видимости. Имена не перегружают в областях видимости:

string read();

void print(const string &);

void print(double); // перегружает функцию print

void fooBar(int ival) {

bool read = false; // новая область видимости: скрывает

// предыдущее объявление имени read

string s = read(); // ошибка: read - переменная типа bool, а не

// функция

// плохой подход: обычно не следует объявлять функции в локальной

// области видимости

void print(int); // новая область видимости: скрывает предыдущие

// экземпляры функции print

print("Value: "); // ошибка: print(const string &) скрыта

print(ival); // ok: print (int) видима

print(3.14); // ok: вызов print(int); print(double) скрыта

}

Большинство читателей не удивит ошибка при вызове функции read(). Когда компилятор обрабатывает вызов функции read(), он находит локальное определение имени read. Это имя принадлежит переменной типа bool, а не функции. Следовательно, вызов некорректен.

Точно тот же процесс используется при распознавании вызова функции print(). Объявление print(int)в функции fooBarскрывает прежнее ее объявление. В результате будет доступна только одна функция print(), та, которая получает один параметр типа int.

Когда происходит вызов функции print(), компилятор ищет сначала объявление этого имени. Он находит локальное объявление функции print(), получающей один параметр типа int. Как только имя найдено, компилятор игнорирует такое же имя в любой внешней области видимости. Он полагает данное объявление единственно доступным для использования. Остается лишь удостовериться в допустимости использования этого имени.

В языке С++ поиск имени осуществляется до проверки соответствия типов.

Первый вызов передает функции print()строковый литерал, но единственное ее объявление, находящееся в области видимости, имеет параметр типа int. Строковый литерал не может быть преобразован в тип int, поэтому вызов ошибочен. Функция print(const string&), которая соответствовала бы этому вызову, скрыта и не рассматривается.

Когда происходит вызов функции print()с передачей аргумента типа double(), процесс повторяется. Компилятор находит локальное определение функции print(int). Но аргумент типа doubleможет быть преобразован в значение типа int, поэтому вызов корректен.

Если бы объявление print(int)находилось в той же области видимости, что и объявления других версий функции print(), это была бы еще одна ее перегруженная версия. В этом случае вызовы распознавались бы по-другому, поскольку компилятор видел бы все три функции:

void print(const string &);

void print(double); // перегружает функцию print

void print(int); // еще один экземпляр перегрузки

void fooBar2(int ival) {

print("Value: "); // вызов print(const string &)

print(ival); // вызов print(int)

print(3.14); // вызов print(double)

}

В этом разделе рассматриваются три связанных с функциями средства, которые полезны во многих, но не во всех программах: аргументы по умолчанию, встраиваемые функции и функции constexpr, а также некоторые другие средства, обычно используемые во время отладки.

Параметры некоторых функций могут обладать конкретными значениями, используемыми в большинстве, но не во всех вызовах. Такие обычно используемые значения называют аргументом по умолчанию (default argument). Функции с аргументами по умолчанию могут быть вызваны с ними или без них.

Например, для представления содержимого окна можно было бы использовать тип string. Мы могли бы хотеть, чтобы по умолчанию у окна была определенная высота, ширина и фоновый символ. Но мы могли бы также захотеть позволить пользователям использовать собственные значения, кроме значений по умолчанию. Чтобы приспособить и значение по умолчанию, и определяемое пользователем, мы объявили бы функцию, представляющую окно, следующим образом:

typedef string::size_type sz; // typedef см. p. 2.5.1

string screen(sz ht = 24, sz wid = 80, char backgrnd = ' ');

Здесь мы предоставили для каждого параметра значение по умолчанию. Аргумент по умолчанию определяется как инициализатор параметра в списке параметров. Значения по умолчанию можно определить как для одного, так и для нескольких параметров. Но если у параметра есть аргумент по умолчанию, то все параметры, следующие за ним, также должны иметь аргументы по умолчанию.

Если необходимо использовать аргумент по умолчанию, его значение при вызове функции пропускают. Поскольку функция screen()предоставляет значения по умолчанию для всех параметров, мы можем вызвать ее без аргументов, с одним, двумя или тремя аргументами:

string window;

window = screen(); // эквивалент screen(24, 80, ' ')

window = screen(66); // эквивалент screen(66, 80, ' ')

window = screen(66, 256); // screen(66, 256, ' ')

window = screen(66, 256, '#'); // screen(66, 256, '#')

Аргументы в вызове распознаются по позиции. Значения по умолчанию используются для аргументов, крайних справа. Например, чтобы переопределить значение по умолчанию параметра background, следует поставить также аргументы для параметров heightи width: