Говорят, что имя перегружено, если для него задано несколько различных описаний функций в одной области видимости. При использовании имени выбор правильной функции производится путем сопоставления типов формальных параметров с типами фактических параметров, например:
double abs(double);
int abs(int);
abs(1); // вызов abs(int)
abs(1.0); // вызов abs(double)
Поскольку при любом типе T и для самого T, для и T& допустимо одно и то же множество инициализирующих значений, функции, типы параметров которых различаются только использованием, или не использованием ссылки, не могут иметь одинаковые имена, например:
int f(int i)
{
//…
}
int f(int& r) // ошибка: типы функций
{ // недостаточно различны
//…
}
Аналогично, поскольку для любом типе T для самого T, const T и volatile T допустимо одно и то же множество инициализирующих значений, функции, типы параметров которых отличаются только указанной спецификацией, не могут иметь одинаковые имена. Однако, различить const T&, volatile T& и просто T& можно, поэтому допустимы определения функций с одним именем, которые различаются только в указанном отношении. Аналогично, допустимы определения функций с одним именем, типы параметров которых различаются только как типы вида const T*, volatile T* и просто T*.
Не могут иметь одинаковые имена функции, которые отличаются только типом возвращаемого значения.
Не могут иметь одинаковые имена функции-члены, одна из которых статическая, а другая нет (§R.9.4).
С помощью конструкции typedef не создаются новые типы, а только определяется синоним типа (§R.7.1.3), поэтому функции, которые отличаются только за счет использования типов, определенных с помощью typedef, не могут иметь одинаковые имена. Приведем пример:
typedef int Int;
void f(int i) {/*… */}
void f(Int i) {/*… */} // ошибка: переопределение f
С другой стороны все перечисления считаются разными типами, и с их помощью можно различить перегруженные функции, например:
enum E { a };
void f(int i) {/*… */}
void f(E i) {/*… */}
Типы параметров, которые различаются только тем, что в одном используется указатель *, а в другом массив [], считаются идентичными. Напомним, что для типа параметра важны только второй и последующие индексы многомерного массива (§R.8.2.4). Подтвердим сказанное примером:
f(char*);
f(char[]); // идентично f(char*);
f(char[7]); // идентично f(char*);
f(char[9]); // идентично f(char*);
g(char(*)[10]);
g(char[5][10]); // идентично g(char(*)[10]);
g(char[7][10]); // идентично g(char(*)[10]);
g(char(*)[20]); // отлично от g(char(*)[10]);
R.13.1 Сопоставление описаний
Два описания функций с одинаковыми именами относятся к одной и той же функции, если они находятся в одной области видимости и имеют идентичные типы параметров (§R.13). Функция-член производного класса относится к иной области видимости, чем функция-член базового класса с тем же именем. Рассмотрим пример:
class B {
public:
int f(int);
};
class D: public B {
public:
int f(char*);
};
Здесь D::f(char*) скорее скрывает B::f(int), чем перегружает эту функцию.
void h(D* pd)
{
pd-›f(1); // ошибка: D::f(char*) скрывает B::f(int)
pd-›B::f(1); // нормально
pd-›f("Ben"); // нормально, вызов D::f
}
Функция, описанная локально, находится в иной области видимости, чем функция с файловой областью видимости.
int f(char*);
void g()
{
extern f(int);
f("asdf"); // ошибка: f(int) скрывает f(char*) поэтому
// в текущей области видимости нет f(char*)
}
Для разных вариантов перегруженной функции-члена можно задать разные правила доступа, например:
class buffer {
private:
char* p;
int size;
protected:
buffer(int s, char* store) { size = s; p = store; }
//…
public:
buffer(int s) { p = new char[size = s]; }
};
R.13.2 Сопоставление параметров
При вызове функции с данным именем происходит выбор из всех функций с этим именем, которые находятся в текущей области видимости, и для которых существуют преобразования типа, делающие вызов возможным. Выбирается та функция, которая наиболее соответствует фактическим параметрам. Она находится в области пересечения множеств функций, каждое из которых наиболее соответствуют вызову по данному фактическому параметру. Операция вызова считается допустимой, если в этом пересечении находится только один член. Функция, выбранная таким образом, должна более любой другой функции с тем же именем соответствовать вызову, хотя бы по одному из параметров (необязательно это будет один и тот же параметр для разных функций). В противном случае, вызов считается недопустимым.
При сопоставлении параметров рассматривают функцию с числом стандартных значений параметров (§R.8.2.6), равным n, как n+1 функций с различным числом параметров.
При сопоставлении параметров нестатическую функцию-член рассматривают как функцию, имеющую дополнительный параметр, указывающий на объект, для которого вызывается функция. Этот дополнительный формальный параметр должен сопоставляться или с объектом, или с указателем на объект, заданными в явной операции вызова функции-члена (§R.5.2.4), или же с первым операндом перегруженной функции operator (§R.13.4). Для этого дополнительного параметра не используется никаких временных объектов, а для достижения сопоставления не производится никаких пользовательских преобразований типа.
Если явно вызывается член класса X, используя указатель и операцию -›, то считается, что дополнительный параметр имеет тип const* X для членов типа const, volatile* X для членов типа volatile и X* для всех остальных членов. Если явно вызывается функция-член, используя объект и операцию., а также, если вызывается функция для первого операнда перегруженной функции operator (§R.9.4), то считается, что дополнительный параметр имеет тип: const X& для членов типа const, volatile X& для членов типа volatile и X& для всех остальных членов. Первый операнд для -›* и .* рассматривается так же, как и первый операнд для -› и . соответственно.
Эллипсис в списке формальных параметров (§R.8.2.5) может сопоставляться с фактическим параметром любого типа.
Для данного фактического параметра допускается только такая последовательность преобразований типа, которая содержит не более одного пользовательского преобразования. Ее нельзя сократить, исключив одно или несколько преобразований, до последовательности, которая также приводит к типу, сопоставимому с типом рассматриваемого формального параметра. Такая последовательность преобразований называется наиболее соответствующей последовательностью.
Например, последовательность int-›float-›double задает преобразование int в double, но ее нельзя назвать наиболее соответствующей последовательностью, поскольку в ней содержится более короткая последовательность int-›double.
Кроме описанных ниже случаев, следующие тривиальные преобразования типа T не влияют на свойство последовательности быть наиболее соответствующей:
| исходный тип | тип результата |
| T | T& |
| T& | T |
| T[] | T* |
| T(параметры) | T(*)(параметры) |
| T | const T |
| T | volatile T |
| T* | const T* |
| T* | volatile T* |
Последовательности тривиальных преобразований, которые отличаются только порядком преобразований, считаются совпадающими. Отметим, что для функций с формальным параметром типа T, const T, volatile T, T&, const T& и volatile T& допустим фактический параметр из одно и того же множества значений. При необходимости для разделения последовательностей преобразований используются спецификации const и volatile, как описано в правиле [1]"The C Programming Language" B. Kernighan, D. Ritchie. Prentice Hall, 1978, 1988. Есть русский перевод: "Язык программирования С. Задачи по языку С" Б. Керниган, Д. Ритчи, А. Фьюер. "Финансы и статистика". 1984
ниже.
Для формального параметра типа T& требуется временная переменная в случаях, если: фактический параметр не является адресом, или имеет тип, отличный от T, в том числе тип volatile. Наличие такой переменной не влияет на сопоставление параметров. Однако, оно может повлиять на допустимость результата сопоставления, т.к. временную переменную нельзя использовать для инициализации ссылок, не являющихся const (§R.8.4.3).
Последовательности преобразований рассматриваются согласно следующим правилам:
[1]"The C Programming Language" B. Kernighan, D. Ritchie. Prentice Hall, 1978, 1988. Есть русский перевод: "Язык программирования С. Задачи по языку С" Б. Керниган, Д. Ритчи, А. Фьюер. "Финансы и статистика". 1984
Точное сопоставление. Последовательности из нуля или более тривиальных преобразований предпочтительнее любых других последовательностей. Из более сложных последовательностей наиболее предпочтительны те, в которых нет преобразований T* в const T*, T* в volatile T*, T& в const T& или T& в volatile T&.
[2]American National Standard X3.159-1989. Американский национальный стандарт.
Сопоставление со стандартными преобразованиями основных типов. Из последовательностей, не относящихся к [1]"The C Programming Language" B. Kernighan, D. Ritchie. Prentice Hall, 1978, 1988. Есть русский перевод: "Язык программирования С. Задачи по языку С" Б. Керниган, Д. Ритчи, А. Фьюер. "Финансы и статистика". 1984
, наиболее предпочтительны те, которые содержат только стандартные целочисленные преобразования (§R.4.1), преобразования float в double и тривиальные преобразования.
[3] Сопоставление с любыми стандартными преобразованиями. Из последовательностей, не относящихся к [2]American National Standard X3.159-1989. Американский национальный стандарт.
, наиболее предпочтительны те, которые содержат только любые стандартные преобразования (§R.4.1, §R.4.2, §R.4.3, §R.4.4, §R.4.5, §R.4.6, §R.4.7, §R.4.8) и тривиальные преобразования. Для этих последовательностей если A является прямым или косвенным общим базовым для класса B, то преобразование B* в A* предпочтительнее преобразования B* в void* или const void*. Далее, если B является прямым или косвенным базовым классом для C, то предпочтительнее преобразование C* в B*, чем C* в A*, и предпочтительнее преобразование C& в B&, чем C& в A&. Иерархия классов выступает здесь критерий отбора преобразований указателя в член (§R.4.8).
[4] Сопоставление с пользовательскими преобразованиями. Из последовательностей, не относящихся к [3], наиболее предпочтительны те, которые содержат только пользовательские (§R.12.3), стандартные (§R.4) и тривиальные преобразования.
[5] Сопоставление с эллипсисом. Последовательности, которые требуют сопоставления с эллипсисом, считаются наименее предпочтительными.
Пользовательские преобразования выбирают, исходя из типа переменной, которая инициализируется или которой присваивается значение.
class Y {
//…
public:
operator int();
operator double();
};
void f(Y y)
{
int i = y; // вызов Y::operator int()
double d;
d = y; // вызов Y::operator double()
float f = y; // ошибка: неоднозначность
}
Стандартные преобразования (§R.4) могут применяться к параметру, как до пользовательского преобразования, так и после него.
struct S { S(long); operator int();} ;
void f(long), f(char*);
void g(S), g(char*);
void h(const S&), h(char*);
void k(S& a)
{
f(a); // f(long(a.operator int()))
g(1); // g(S(long(1)))
h(1); // h(S(long(1)))
}
Если для параметра требуется пользовательское преобразование, то не учитываются никакие стандартные преобразования, которые могут затрагивать этот параметр, например:
class x {
public:
x(int);
};
class y {
public:
y(long);
};
void f(x);
void f(y);
void g()
{
f(1); // неоднозначность
}
Здесь вызов f(1) неоднозначен. Несмотря на то, что для вызова f(y(long(1))) требуется на одно стандартное преобразование больше, чем для вызова f(x(1)), второй вызов не является предпочтительным.
Преобразования с помощью конструктора (§R.12.1) и с помощью функции преобразования (§R.12.3.2) равноправны.
struct X {
operator int();
};
struct Y {
Y(X);
};
Y operator+(Y,Y);
void f(X a, X b)
{
a+b; // ошибка, неоднозначность:
// operator+(Y(a), Y(b)) или
// a.operator int() + b.operator int()
}
R.13.3 Адрес перегруженной функции
Когда функция с некоторым именем используется без параметров, среди всех функций с таким именем в текущей области видимости выбирается единственная, которая точно соответствует назначению. Назначением может быть:
• инициализируемый объект (§R.8.4);
• левая часть операции присваивания (§R.5.17);
• формальный параметр функции (§R.5.2.2);
• формальный параметр пользовательской операции (§R.13.4);
• тип значения, возвращаемого функцией (§R.8.2.5).
Отметим, что если f() и g() являются перегруженными функциями, то для правильной интерпретации f(&g) или эквивалентного выражения f(g) нужно рассмотреть пересечение множеств выбора для f() и g(). Приведем пример:
int f(double);
int f(int);
int (*pfd)(double) = &f;
int (*pfi)(int) = &f;
int (*pfe)(…) = &f; // ошибка: несоответствие типов
Последняя инициализация ошибочна, не из-за неоднозначности, а потому, что не определено ни одной функции f() типа int(…).
Отметим, что не существует никакого стандартного преобразования (§R.4) указателя на функцию одного типа в указатель на функцию другого типа (§R.4.6). В частности, даже если B является общим базовым классом D, две следующие инициализации недопустимы:
D* f();
B* (*p1)() =&f; // ошибка
void g(D*);
void (*p2)(B*) =&g; // ошибка
R.13.4 Перегруженные операции
Перегружать можно большинство операций.
имя-функции-оператор:
operator операция
операция: один из
new delete
+ - * / % ^ & | ~
! = ‹ › += -= *= /= %=
^= &= |= ‹‹ ›› ››= ‹‹= == !=
‹= ›= && || ++ -- , -›* -›
() []
Две последние операции - это вызов функции (§R.5.2.2) и индексация (§R.5.2.1).
Можно перегружать следующие (как бинарные, так и унарные) операции:
+ - * &
Нельзя перегружать следующие операции:
. .* :: ?: sizeof
а также и специальные символы препроцессора # и ## (§R.16).
Обычно функции, задающие операции (функция-оператор) не вызываются явно, к ним обращаются для выполнения операций (§R.13.4.1, §R.13.4.2).
Однако, к ним можно обращаться явно, например:
complex z = a.operator+(b); // complex z = a+b
void* p = operator new(sizeof(int)*n);
Операции new и delete описаны в §R.5.3.3 и §R.5.3.4 и к ним не относятся перечисляемые ниже правила.
Функция-оператор может быть функцией-членом или иметь по крайней мере один параметр типа класс или ссылка на класс. Нельзя изменить приоритет, порядок выполнения или число операндов операции, но можно изменить предопределенное назначение таких операций: =, унарная & и ,(запятой), если они применяются к объекту типа класс. За исключением функции operator=(), функция-оператор наследуется. Правила для operator=() даны в §R.12.8.
Эквивалентность некоторых операций над основными типами (например, ++a эквивалентно a+=1) может не сохраняться для таких же операций над классами. Для некоторых операций требуется, чтобы в случае использования основных типов операнд был адресом (например, для +=). Это требование может быть снято, если операция задана над классами.
Перегруженная операция не может иметь стандартные значения параметров (§R.8.2.6).
Операции, которые явно не указаны в §R.13.4.3-§R.13.4.7, действуют как обычные унарные или бинарные операции, подчиняющиеся правилам, приведенным в §R.13.4.1 или §R.13.4.2.
R.13.4.1 Унарные операции
Префиксную унарную операцию можно задать с помощью нестатической функции-члена (§R.9.3), без параметров или с помощью функции, не являющейся членом, с одним параметром. Таким образом, для всякой префиксной унарной операции @, выражение @x может интерпретироваться как x.operator@() или как operator@(x). Если описаны функции-операторы обоих видов, то какая из них будет использоваться при вызове, определяется правилами сопоставления параметров (§R.13.2). Постфиксные унарные операции, такие как ++ и --, объясняются в §R.13.4.7.
R.13.4.2 Бинарные операции
Бинарную операцию можно задать с помощью нестатической функции-члена (§R.9.3), имеющей один параметр, или с помощью функции, не являющейся членом, с двумя параметрами. Таким образом, для всякой бинарной операции @ выражение x@y может интерпретироваться как x.operator@(y) или как operator@(x,y). Если описаны функции-операторы обоих видов, то какая из них будет использоваться при вызове, определяется правилами сопоставления параметров (§R.13.2).
R.13.4.3 Присваивания
Функция присваивания operator=() должна быть нестатической функцией-членом. Она не наследуется (§R.12.8). Более того, если пользователь не определил для класса X функцию operator=, то используется стандартная функция operator=, которая определяется как присваивание по членам для класса X.
X& X::operator=(const X& from)
{
// копирование по членам X
}
R.13.4.4 Вызов функции
Вызов функции есть конструкция вида:
первичное-выражение ( список-выражений opt )
Она считается бинарной операцией, в которой первичное-выражение представляет первый операнд, а список-выражений (возможно пустой), - второй операнд. Именем, задающим функцию, служит operator(), и вызов x(arg1,arg2,arg3) для объекта класса x интерпретируется как x.operator()(arg1,arg2,arg3). Функция operator() должна быть нестатической функцией-членом класса x.
R.13.4.5 Индексация
Индексация, определяемая как:
первичное-выражение [ выражение ]
считается бинарной операцией. Выражение с индексацией x[y] для объекта класса x интерпретируется как x.operator[](y). Функция operator[] должна быть нестатической функцией-членом класса x.
R.13.4.6 Доступ к члену класса
Доступ к члену класса определяется с помощью операции -›:
первичное-выражение -› первичное-выражение
Он считается унарной операцией. Для объекта класса x выражение x-›m интерпретируется как (x.operator-›())-›m. Отсюда следует, что функция operator-›() должна возвращать или указатель на класс, или ссылку на класс, или объект класса, для которого определена функция operator-›(). Она должна быть нестатической функцией-членом класса.
R.13.4.7 Инкремент и декремент
Функция с именем operator++ и с одним параметром задает для объектов некоторого класса операцию префиксного инкремента ++. Функция с именем operator++ и с двумя параметрами задает для объектов некоторого класса операцию постфиксного инкремента ++. Для постфиксной операции ++ второй параметр должен быть типа int, и, когда в выражении встречается операция постфиксного инкремента, функция operator++ вызывается со вторым параметром, равным нулю. Приведем пример:
class X {
public:
X operator++(); // префиксная ++a
X operator++(int) // постфиксная a++
};
void f(X a)
{
++a; // a.operator++();
a++; // a.operator++(0);
a.operator++(); // явный вызов: действует как ++a;
a.operator++(0); // явный вызов: действует как a++;
}
Префиксные и постфиксные операции декремента - определяются аналогичным образом.