Преобразования типов аргументов *

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

точное соответствие. Тип фактического аргумента точно соответствует типу формального параметра. Например, если в множестве перегруженных функций print() есть такие:

void print( unsigned int );

void print( const char* );

void print( char );

то каждый из следующих трех вызовов дает точное соответствие:

unsigned int a;

print( 'a' ); // соответствует print( char );

print( "a" ); // соответствует print( const char* );

print( a ); // соответствует print( unsigned int );

соответствие с

преобразованием типа. Тип фактического аргумента не соответствует типу формального параметра, но может быть преобразован в него:

void ff( char );

ff( 0 ); // аргумент типа int приводится к типу char

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

// функции print() объявлены так же, как и выше

int *ip;

class SmallInt { /* ... */ };

SmallInt si;

print( ip ); // ошибка: нет соответствия

print( si ); // ошибка: нет соответствия

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

преобразование l-значения в r-значение;

преобразование массива в указатель;

преобразование функции в указатель;

преобразования спецификаторов.

(Подробнее они рассмотрены ниже.)

Категория соответствия с преобразованием типа является наиболее сложной. Необходимо рассмотреть несколько видов такого приведения: расширение типов