4.6.9 Указатель на функцию

Возможны только две операции с функциями: вызов и взятие адреса.

Указатель, полученный с помощью последней операции, можно

впоследствии использовать для вызова функции. Например:

void error(char* p) { /* ... */ }

void (*efct)(char*); // указатель на функцию

void f()

{

efct = &error; // efct настроен на функцию error

(*efct)("error"); // вызов error через указатель efct

}

Для вызова функции с помощью указателя (efct в нашем примере)

надо вначале применить операцию косвенности к указателю - *efct.

Поскольку приоритет операции вызова () выше, чем приоритет

косвенности *, нельзя писать просто *efct("error"). Это будет

означать *(efct("error")), что является ошибкой. По той же

причине скобки нужны и при описании указателя на функцию. Однако,

писать просто efct("error") можно, т.к. транслятор понимает, что

efct является указателем на функцию, и создает команды, делающие

вызов нужной функции.

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

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

требуется точное соответствие типа функции и типа присваиваемого

значения. Например:

void (*pf)(char*); // указатель на void(char*)

void f1(char*); // void(char*);

int f2(char*); // int(char*);

void f3(int*); // void(int*);

void f()

{

pf = &f1; // нормально

pf = &f2; // ошибка: не тот тип возвращаемого

// значения

pf = &f3; // ошибка: не тот тип параметра

(*pf)("asdf"); // нормально

(*pf)(1); // ошибка: не тот тип параметра

int i = (*pf)("qwer"); // ошибка: void присваивается int

}

Правила передачи параметров одинаковы и для обычного вызова,

и для вызова с помощью указателя.

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

чем все время использовать достаточно сложную запись. Например:

typedef int (*SIG_TYP)(int); // из <signal.h>

typedef void (SIG_ARG_TYP)(int);

SIG_TYP signal(int, SIG_ARG_TYP);

Также часто бывает полезен массив указателей на функции. Например,

можно реализовать систему меню для редактора с вводом, управляемым

мышью, используя массив указателей на функции, реализующие команды.

Здесь нет возможности подробно описать такой редактор, но дадим самый

общий его набросок:

typedef void (*PF)();

PF edit_ops[] = { // команды редактора

&cut, &paste, &snarf, &search

};

PF file_ops[] = { // управление файлом

&open, &reshape, &close, &write

};

Далее надо определить и инициализировать указатели, с помощью которых

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

Выбор происходит нажатием клавиши мыши:

PF* button2 = edit_ops;

PF* button3 = file_ops;

Для настоящей программы редактора надо определить большее число

объектов, чтобы описать каждую позицию в меню. Например, необходимо

где-то хранить строку, задающую текст, который будет выдаваться для

каждой позиции. При работе с системой меню назначение клавиш мыши

будет постоянно меняться. Частично эти изменения можно представить

как изменения значений указателя, связанного с данной клавишей. Если

пользователь выбрал позицию меню, которая определяется, например,

как позиция 3 для клавиши 2, то соответствующая команда реализуется

вызовом:

(*button2[3])();

Чтобы полностью оценить мощность конструкции указатель на функцию,

стоит попытаться написать программу без нее. Меню можно изменять

в динамике, если добавлять новые функции в таблицу команд.

Довольно просто создавать в динамике и новые меню.

Указатели на функции помогают реализовать полиморфические

подпрограммы, т.е. такие подпрограммы, которые можно применять

к объектам различных типов:

typedef int (*CFT)(void*,void*);

void sort(void* base, unsigned n, unsigned int sz, CFT cmp)

/*

Сортировка вектора "base" из n элементов

в возрастающем порядке;

используется функция сравнения, на которую указывает cmp.

Размер элементов равен "sz".

Алгоритм очень неэффективный: сортировка пузырьковым методом

*/

{

for (int i=0; i<n-1; i++)

for (int j=n-1; i<j; j--) {

char* pj = (char*)base+j*sz; // b[j]

char* pj1 = pj - sz; // b[j-1]

if ((*cmp)(pj,pj1) < 0) {

// поменять местами b[j] и b[j-1]

for (int k = 0; k<sz; k++) {

char temp = pj[k];

pj[k] = pj1[k];

pj1[k] = temp;

}

}

}

}

В подпрограмме sort неизвестен тип сортируемых объектов; известно

только их число (размер массива), размер каждого элемента и функция,

которая может сравнивать объекты. Мы выбрали для функции sort()

такой же заголовок, как у qsort() - стандартной функции сортировки

из библиотеки С. Эту функцию используют настоящие программы.

Покажем, как с помощью sort() можно отсортировать таблицу с такой

структурой:

struct user {

char* name; // имя

char* id; // пароль

int dept; // отдел

};

typedef user* Puser;

user heads[] = {

"Ritchie D.M.", "dmr", 11271,

"Sethi R.", "ravi", 11272,

"SZYmanski T.G.", "tgs", 11273,

"Schryer N.L.", "nls", 11274,

"Schryer N.L.", "nls", 11275

"Kernighan B.W.", "bwk", 11276

};

void print_id(Puser v, int n)

{

for (int i=0; i<n; i++)

cout << v[i].name << '\t'

<< v[i].id << '\t'

<< v[i].dept << '\n';

}

Чтобы иметь возможность сортировать, нужно вначале определить

подходящие функции сравнения. Функция сравнения должна возвращать

отрицательное число, если ее первый параметр меньше второго,

нуль, если они равны, и положительное число в противном случае:

int cmp1(const void* p, const void* q)

// сравнение строк, содержащих имена

{

return strcmp(Puser(p)->name, Puser(q)->name);

}

int cmp2(const void* p, const void* q)

// сравнение номеров разделов

{

return Puser(p)->dept - Puser(q)->dept;

}

Следующая программа сортирует и печатает результат:

int main()

{

sort(heads,6,sizeof(user), cmp1);

print_id(heads,6); // в алфавитном порядке

cout << "\n";

sort(heads,6,sizeof(user),cmp2);

print_id(heads,6); // по номерам отделов

}

Допустима операция взятия адреса и для функции-подстановки, и для

перегруженной функции ($$R.13.3).

Отметим, что неявное преобразование указателя на что-то в

указатель типа void* не выполняется для параметра функции, вызываемой

через указатель на нее. Поэтому функцию

int cmp3(const mytype*, const mytype*);

нельзя использовать в качестве параметра для sort().

Поступив иначе, мы нарушаем заданное в описании условие, что

cmp3() должна вызываться с параметрами типа mytype*. Если вы

специально хотите нарушить это условие, то должны использовать

явное преобразование типа.