Справочное руководство по C++

[2] Сопоставление со стандартными преобразованиями основных типов. Из последовательностей, не относящихся к [1], наиболее предпочтительны те, которые содержат только стандартные целочисленные преобразования (§R.4.1), преобразования float в double и тривиальные преобразования.

[3] Сопоставление с любыми стандартными преобразованиями. Из последовательностей, не относящихся к [2], наиболее предпочтительны те, которые содержат только любые стандартные преобразования (§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 Перегруженные операции

Перегружать можно большинство операций.