В чем заключается процесс уточнения?

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

Тип возвращаемого функцией значения в уточнении не участвует.

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

– int max(int, int); // возвращает наибольшее из целых чисел

– char* max(char*, char*); // возвращает подстроку наибольшей длины

– int max(int, char*); // возвращает наибольшее из первого параметра и длины второго

– int max(char*, int); // возвращает наибольшее из второго параметра и длины первого

Рассмотрим программу, реализующую переопределение функции max для аргументов различных типов:

#include <iostream.h>

#include <string.h>

#include <conio.h>

int max(int, int);

char* max(char*, char*);

int max(int, char*);

int max(char*, int);

void f(int a, int b, char *c, char *d)

{

cout<<max(a,b)<<" "<<max(b,d)<<" "<<max(a,c)<<" "<<max(c,d);

}

void main(void)

{

int a=10, b=2;

char c[]="Hi", d[]="Low";

f(a, b, c, d);

}

int max(int value1, int value2)

{

return ( (value1 > value2) ? value1 : value2);

}

int max(int value1, char *value2)

{

return ( (value1 > strlen(value2)) ? value1 : strlen(value2));

}

int max(char *value1, int value2)

{

return ( (strlen(value1) > value2) ? strlen(value1) : value2);

}

char* max(char *value1, char *value2)

{

return ( (strlen(value1) > strlen(value2)) ? value1 : value2);

}

void f(int a, int b, char* c, char* d)

{

cout<<max(a,b)<<max(c,d)<<max(a,c)<<max(c,b);

}

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

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

Далее выполняются стандартные преобразования типов.

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

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

Для устранения неопределенности можно воспользоваться явным приведением типа.