Стенли Липпман - Язык программирования C++. Пятое издание

Во втором вызове передается неконстантный объект b. Для этого вызова подходят обе функции. Аргумент bможно использовать для инициализации ссылки константного или неконстантного типа. Но инициализация ссылки на константу неконстантным объектом требует преобразования. Версия, получающая неконстантный параметр, является точным соответствием для объекта b. Следовательно, неконстантная версия предпочтительней.

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

Упражнение 6.52. Предположим, что существуют следующие объявления:

void manip(int, int);

double dobj;

Каков порядок (см. раздел 6.6.1) преобразований в каждом из следующих обращений?

(a) manip('a', 'z'); (b) manip(55.4, dobj);

Упражнение 6.53. Объясните назначение второго объявления в каждом из следующих наборов. Укажите, какие из них (если они есть) недопустимы.

(a) int calc(int&, int&);

int calc(const int&, const int&);

(b) int calc(char*, char*);

int calc(const char*, const char*);

(c) int calc(char*, char*);

int calc(char* const, char* const);

Указатель на функцию (function pointer) содержит адрес функции, а не объекта. Подобно любому другому указателю, указатель на функцию имеет вполне определенный тип. Тип функции определен типом ее возвращаемого значения и списком параметров. Имя функции не является частью ее типа.

// сравнивает длины двух строк

bool lengthCompare(const string &, const string &);

Эта функция имеет тип bool(const string&, const string&). Чтобы объявить указатель, способный указывать на эту функцию, достаточно расположить указатель вместо имени функции:

// pf указывает на функцию, получающую две константные ссылки

// на строки и возвращающую значение типа bool

bool (*pf)(const string &, const string &); // не инициализирован

Просматривая объявление с начала, можно заметить, что имени pfпредшествует знак *, следовательно, pf— указатель. Справа расположен список параметров, означая, что pf указывает на функцию. Глядя влево, можно заметить, что возвращаемым типом функции является bool. Таким образом, указатель pfуказывает на функцию, которая имеет два параметра типа const string&и возвращает значение типа bool.

Круглые скобки вокруг части *pfнеобходимы. Без них получится объявление функции pf(), возвращающей указатель на тип bool:

// объявление функции pf(), возвращающей указатель на тип bool

bool *pf(const string &, const string &);

При использовании имени функции как значения функция автоматически преобразуется в указатель. Например, адрес функции lengthCompare()можно присвоить указателю pf следующим образом:

pf = lengthCompare; // pf теперь указывает на функцию lengthCompare

pf = &lengthCompare; // эквивалентное присвоение: оператор обращения к

// адресу необязателен

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

bool b1 = pf("hello", "goodbye"); // вызов lengthCompare

bool b2 = (*pf)("hello", "goodbye"); // эквивалентный вызов

bool b3 = lengthCompare("hello", "goodbye"); // эквивалентный вызов

Преобразование указателя на один тип функции в указатель на другой тип функции невозможно. Однако для обозначения того, что указатель не указывает на функцию, ему можно присвоить nullptr(см. раздел 2.3.2) или целочисленное константное выражение, означающее нуль:

string::size_type sumLength(const string&, const string&);

bool cstringCompare(const char*, const char*);

pf = 0; // ok: pf не указывает на функцию

pf = sumLength; // ошибка: разные типы возвращаемого значения

pf = cstringCompare; // ошибка: разные типы параметров

pf = lengthCompare; // ok: типы функции и указателя совпадают точно

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

void ff(int*);

void ff(unsigned int);

void (*pf1)(unsigned int) = ff; // pf1 указывает на ff(unsigned)

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

void (*pf2)(int) = ff; // ошибка: нет версии с точно таким списком

// параметров

double (*pf3) (int*) = ff; // ошибка: тип возвращаемого значения

// функций ff и pf3 не совпадают

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

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

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

void useBigger(const string &s1, const string &s2,

bool pf(const string&, const string&));

// эквивалентное объявление: параметр явно определен как указатель

// на функцию

void useBigger(const string &s1, const string &s2,

bool (*pf)(const string&, const string&));

При передаче функции как аргумента это можно сделать непосредственно. Аргумент будет автоматически преобразован в указатель:

// автоматическое преобразование функции lengthCompare в указатель

// на нее

useBigger(s1, s2, lengthCompare);

Как можно заметить в объявлении функции useBigger(), написание указателей на тип функций быстро становится утомительным. Псевдонимы типа (см. раздел 2.5.1), а также спецификатор decltype(см. раздел 2.5.3) позволяют упростить код, который использует указатели на функции:

// Func и Func2 имеют тип функции

typedef bool Func(const string&, const strings);

typedef decltype(lengthCompare) Func2; // эквивалентный тип

// FuncP и FuncP2 имеют тип указателя на функцию

typedef bool(*FuncP)(const string&, const string&);