Язык программирования C++ для профессионалов


Перегрузка имени функции


Обычно имеет смысл давать разным функциям разные имена. Если же несколько функций выполняет одно и то же действие над объектами разных типов, то удобнее дать одинаковые имена всем этим функциям. Перегрузкой имени называется его использование для обозначения разных операций над разными типами. Собственно уже для основных операций С++ применяется перегрузка. Действительно: для операций сложения есть только одно имя +, но оно используется для сложения и целых чисел, и чисел с плавающей точкой, и указателей. Такой подход легко можно распространить на операции, определенные пользователем, т.е. на функции. Например:

void print(int);// печать целого void print(const char*) // печать строки символов

Для транслятора в таких перегруженных функциях общее только одно - имя. Очевидно, по смыслу такие функции сходны, но язык не способствует и не препятствует выделению перегруженных функций. Таким образом, определение перегруженных функций служит, прежде всего, для удобства записи. Но для функций с такими традиционными именами, как sqrt, print или open, нельзя этим удобством пренебрегать. Если само имя играет важную семантическую роль, например, в таких операциях, как + , * и <<, или для конструктора класса, то такое удобство становится существенным фактором. При вызове функции с именем f транслятор должен разобраться, какую именно функцию f следует вызывать. Для этого сравниваются типы фактических параметров, указанные в вызове, с типами формальных параметров всех описаний функций с именем f. В результате вызывается та функция, у которой формальные параметры наилучшим образом сопоставились с параметрами вызова, или выдается ошибка если такой функции не нашлось. Например:

void print(double); void print(long);

void f() { print(1L); // print(long) print(1.0); // print(double) print(1); // ошибка, неоднозначность: что вызывать // print(long(1)) или print(double(1)) ? }

Правила сопоставления параметров применяются в следующем порядке по убыванию их приоритета:

  1. Точное сопоставление: сопоставление произошло без всяких преобразований типа или только с неизбежными преобразованиями (например, имени массива в указатель, имени функции в указатель на функцию и типа T в const T).
  2. Сопоставление с использованием стандартных целочисленных преобразований (т.е. char в int, short в int и их беззнаковых двойников в int), а также преобразований float в double.
  3. Сопоставление с использованием стандартных преобразований, (например, int в double, derived* в base*, unsigned в int).
  4. Сопоставление с использованием пользовательских преобразований.
  5. Сопоставление с использованием эллипсиса ... в описании функции.




Начало  Назад  Вперед



Книжный магазин