Указатели на перегруженные функции A

Можно объявить указатель на одну из множества перегруженных функций. Например:

extern void ff( vector< double> ); extern void ff( unsigned int );   // на какую функцию указывает pf1?

void ( *pf1 )( unsigned int ) = & ff;

Поскольку функция ff() перегружена, одного инициализатора & ff недостаточно для выбора правильного варианта. Чтобы понять, какая именно функция инициализирует указатель, компилятор ищет в множестве всех перегруженных функций ту, которая имеет тот же тип возвращаемого значения и список параметров, что и функция, на которую ссылается указатель. В нашем случае будет выбрана функция ff(unsigned int).

А что если не найдется функции, в точности соответствующей типу указателя? Тогда компилятор выдаст сообщение об ошибке:

extern void ff( vector< double> ); extern void ff( unsigned int );   // ошибка: соответствие не найдено: неверный список параметров

void ( *pf2 )( int ) = & ff;

// ошибка: соответствие не найдено: неверный тип возвращаемого значения

double ( *pf3 )( vector< double> ) = & ff;

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

matrix calc( const matrix & ); int calc( int, int );   int ( *pc1 )( int, int ) = 0; int ( *pc2 )( int, double ) = 0;   //... // правильно: выбирается функция calc( int, int ) pc1 = & calc;   // ошибка: нет соответствия: неверный тип второго параметра

pc2 = & calc;

Безопасное связывание A

При использовании перегрузки складывается впечатление, что в программе можно иметь несколько одноименных функций с разными списками параметров. Однако это лексическое удобство существует только на уровне исходного текста. В большинстве систем компиляции программы, обрабатывающие этот текст для получения исполняемого кода, требуют, чтобы все имена были различны. Редакторы связей, как правило, разрешают внешние ссылки лексически. Если такой редактор встречает имя print два или более раз, он не может различить их путем анализа типов (к этому моменту информация о типах обычно уже потеряна). Поэтому он просто печатает сообщение о повторно определенном символе print и завершает работу.

Чтобы разрешить эту проблему, имя функции вместе с ее списком параметров декорируется так, чтобы получилось уникальное внутреннее имя. Вызываемые после компилятора программы видят только это внутреннее имя. Как именно производится такое преобразование имен, зависит от реализации. Общая идея заключается в том, чтобы представить число и типы параметров в виде строки символов и дописать ее к имени функции.

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

Декорирование имен не применяется к функциям, объявленным с помощью директивы extern " C", так как лишь одна из множества перегруженных функций может быть написана на чистом С. Две функции с различными списками параметров, объявленные как extern " C", редактор связей воспринимает как один и тот же символ.

Упражнение 9.1

Зачем может понадобиться объявлять перегруженные функции?

Упражнение 9.2

Как нужно объявить перегруженные варианты функции error(), чтобы были корректны следующие вызовы:

int index; int upperBound; char selectVal; //... error( " Array out of bounds: ", index, upperBound ); error( " Division by zero" );

error( " Invalid selection", selectVal );

Упражнение 9.3

Объясните, к какому эффекту приводит второе объявление в каждом из приведенных примеров:

(a) int calc( int, int ); int calc( const int, const int );   (b) int get();  double get();   (c) int *reset( int * ); double *reset( double * ):   (d) extern " C" int compute( int *, int );

extern " C" double compute( double *, double );

Упражнение 9.4

Какая из следующих инициализаций приводит к ошибке? Почему?

(a) void reset( int * ); void (*pf)( void * ) = reset;   (b) int calc( int, int ); int (*pf1)( int, int ) = calc;   (c) extern " C" int compute( int *, int ); int (*pf3)( int*, int ) = compute;

 (d) void (*pf4)( const matrix & ) = 0;

⇐ Предыдущая33343536373839404142Следующая ⇒

Поделиться: