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

f(42, 2.56);

Набор подходящих функций выявляется, как прежде. Компилятор выбирает те версии функции, которые имеют необходимое количество параметров, типы которых соответствуют типам аргументов. В данном случае в набор подходящих вошли функции f(int, int)и f(double, double). Затем компилятор перебирает аргументы один за одним и определяет, какая из версий функций имеет наилучшее соответствие. Наилучше соответствующая функция та, для которой единственной выполняются следующие условия.

• Соответствие по каждому аргументу не хуже, чем у остальных подходящих функций.

• По крайней мере у одного аргумента соответствие лучше, чем у остальных подходящих функций.

Если после просмотра всех аргументов не было найдено ни одной функции, которая считалась бы наилучше соответствующей, компилятор сообщает об ошибке неоднозначности вызова.

В рассматриваемом примере вызова анализ лишь первого аргумента для версии f(int, int)функции f()обнаруживает точное соответствие. При анализе второй версии функции f()оказывается, что аргумент 42типа intследует преобразовать в значение типа double. Соответствие в результате встроенного преобразования хуже, чем точное. Таким образом, рассматривая только этот параметр, лучше соответствует та версия функции f(), которая обладает двумя параметрами типа int, а не двумя параметрами типа double.

Но при переходе ко второму аргументу оказывается, что версия функции f()с двумя параметрами типа doubleточно соответствует аргументу 2.56. Вызов версии функции f()с двумя параметрами типа intпотребует преобразования аргумента 2.56из типа doubleв тип int. Таким образом, при рассмотрении только второго параметра версия f(double, double)функции f()имеет лучшее соответствие.

Компилятор отклонит этот вызов, поскольку он неоднозначен: каждая подходящая функция является лучшим соответствием по одному из аргументов. Было бы заманчиво обеспечить соответствие за счет явного приведения типов (см. раздел 4.11.3) одного из аргументов. Но в хорошо спроектированных системах в приведении аргументов не должно быть необходимости.

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

Упражнение 6.49. Что такое функция-кандидат? Что такое подходящая функция?

Упражнение 6.50. С учетом приведенных в начале раздела объявлений функции f()перечислите подходящие функции для каждого из следующих вызовов. Укажите наилучше соответствие, или если его нет, то из-за отсутствия соответствия или неоднозначности вызова?

(a) f(2.56, 42) (b) f(42) (с) f(42, 0) (d) f(2.56, 3.14)

Упражнение 6.51. Напишите все четыре версии функции f(). Каждая из них должна выводить собственное сообщение. Проверьте свои ответы на предыдущее упражнение. Если ответы были неправильными, перечитайте этот раздел и выясните, почему вы ошиблись.

Чтобы определить наилучшее соответствие, компилятор ранжирует преобразования, применяемые для приведения типа аргумента к типу соответствующего ему параметра. Преобразования ранжируются в порядке убывания следующим образом.

1. Точное соответствие. Типы аргумента и параметра совпадают в случае, если:

• типы аргумента и параметра идентичны;

• аргумент преобразуется из типа массива или функции в соответствующий тип указателя. (Указатели на функции рассматриваются в разделе 6.7);

• аргумент отличается наличием или отсутствием спецификатора constверхнего уровня.

2. Соответствие в результате преобразования констант (см. раздел 4.11.2).

3. Соответствие в результате преобразования (см. раздел 4.11.1).

4. Соответствие в результате арифметического преобразования (см. раздел 4.11.1) или преобразования указателя (см. раздел 4.11.2).

5. Соответствие в результате преобразования класса (раздел 14.9).

Соответствие, требующее приведения и (или) целочисленного преобразования

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

При анализе вызова следует помнить, что малые целочисленные типы всегда преобразуются в тип intили больший целочисленный тип. Рассмотрим две функции, одна из которых получает тип int, а вторая тип short, версия shortбудет вызвана только со значениями типа short. Даже при том, что меньшие целочисленные значения могли бы быть ближе к соответствию, эти значения преобразуются в тип int, тогда как вызов версии shortпотребовал бы преобразования:

void ff(int);

void ff(short);

ff('a'); // тип char приводится к int, поэтому применяется f(int)

Все целочисленные преобразования считаются эквивалентными друг другу. Преобразование из типа intв unsigned int, например, не имеет преимущества перед преобразованием типа intв double. Рассмотрим конкретный пример.

void manip(long);

void manip(float);

manip(3.14); // ошибка: неоднозначный вызов

Литерал 3.14 имеет тип double. Этот тип может быть преобразован или в тип long, или в тип float. Поскольку возможны два целочисленных преобразования, вызов неоднозначен.

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

Record lookup(Account&); // функция, получающая ссылку на Account

Record lookup(const Account&); // новая функция, получающая ссылку на

// константу

const Account а;

Account b;

lookup(а); // вызов lookup(const Account&)

lookup(b); // вызов lookup(Account&)

В первом вызове передается константный объект а. Нельзя связать простую ссылку с константным объектом. В данном случае единственная подходящая функция — версия, получающая ссылку на константу. Кроме того, этот вызов точно соответствует аргументу а.