C++ для начинающих

int sizeCompare( const string &, const string & );

typedef int (*PFI)( const string &, const string & );

void sort( string *, string *, PFI=lexicoCompare );

string as[10] = { "a", "light", "drizzle", "was", "falling",

"when", "they", "left", "the", "museum" };

int main() {

// вызов sort() с значением по умолчанию параметра compare

sort( as, as + sizeof(as)/sizeof(as[0]) - 1 );

// выводим результат сортировки

for ( int i = 0; i

Результат работы программы:

"a"

"drizzle"

"falling"

"left"

"light"

"museum"

"the"

"they"

"was"

"when"

Параметр функции автоматически приводится к типу указателя на функцию:

// typedef представляет собой тип функции

typedef int functype( const string , const string );

void sort( string *, string *, functype );

sort() рассматривается компилятором как объявленная в виде

void sort( string *, string *,

int (*)( const string , const string ) );

Два этих объявления sort() эквивалентны.

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

int (*ff( int ))( int*, int );

ff() объявляется как функция, имеющая один параметр типа int и возвращающая указатель на функцию типа

int (*)( int*, int );

И здесь использование директивы typedef делает объявление понятнее. Объявив PF с помощью typedef, мы видим, что ff() возвращает указатель на функцию:

// Использование директивы typedef делает

// объявления более понятными

typedef int (*PF)( int*, int );

PF ff( int );

Типом возвращаемого значения функции не может быть тип функции. В этом случае выдается ошибка компиляции. Например, нельзя объявить ff() таким образом:

// typedef представляет собой тип функции

typedef int func( int*, int );

func ff( int ); // ошибка: тип возврата ff() - функция

7.9.6. Указатели на функции, объявленные как extern "C"

Можно объявлять указатели на функции, написанные на других языках программирования. Это делается с помощью директивы связывания. Например, указатель pf ссылается на С-функцию:

extern "C" void (*pf)(int);

Через pf вызывается функция, написанная на языке С.

extern "C" void exit(int);

// pf ссылается на C-функцию exit()

extern "C" void (*pf)(int) = exit;

int main() {

// ...

// вызов С-функции, а именно exit()

(*pf)(99);

}

Вспомним, что присваивание и инициализация указателя на функцию возможны лишь тогда, когда тип в левой части оператора присваивания в точности соответствует типу в правой его части. Следовательно, указатель на С-функцию не может адресовать функцию С++ (и инициализация его таким адресом не допускается), и наоборот. Подобная попытка вызывает ошибку компиляции:

void (*pfl)(int);

extern "C" void (*pf2)(int);

int main() {

pfl = pf2; // ошибка: pfl и pf2 имеют разные типы

// ...

}

Отметим, что в некоторых реализациях С++ характеристики указателей на функции С и С++ одинаковы. Отдельные компиляторы могут допустить подобное присваивание, рассматривая это как расширение языка.

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

В следующем примере параметр pfParm также служит указателем на С-функцию. Директива связывания применяется к объявлению функции, к которой этот параметр относится:

// pfParm - указатель на С-функцию

extern "C" void f1( void(*pfParm)(int) );