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

Указатели на функции в С

Рассмотрим метод qsort, который имеет прототип:

void qsort(void *base, size_t nmemb, size_t size, int (*compare)(const void *, const void *));

где

int (*compare)(const void *a, const void *b)

указатель на функцию, которая имеет 2 параметра, и возращает значение:

• > 0, если a > b
• = 0, если a == b
• < 0, если a < b

Рассмотрим пример:

struct Person {
	int m_age;
}

Создадим объект структуры Person.

Person *m;
qsort(m, count, sizeof(Person), &(byage));

Определим функцию byage:

int byage(void const *p1, void const *p2) {
	return ((Person *)p1)->age - ((Person *)p2)->age;
}

Замечание:

В С нет проверки типов.

Замечание:

• При объявлении можем не писать параметры

int(*)(void const *, void const *);

• Можно присвоить указателю на функцию значение 0

void а(void *, size_t , size_t , int (*)(const void *, const void *)) = 0;

• Присваивание

f = &qsort;

Вызов

f(m, count, sizeof(Person), &byage);

Указатели на функции в С++

Одно из отличие С и С++ - в С++ есть перегрузка. Тогда получается

F f = qsort; // будет вызываться, что подойдет лучше всего

Вопрос:

Как происходит работа с шаблонными функциями?

Ответ:

Рассмотрим пример 1:

template <class It, class F> void A(It p, It q, F f);
A(v.begin(), v.end(), (int(*)(int))sqrt); // необходимо приведение типов

пример 2:

template <class T> T sqrt(T *);

Нам необходимо проинстанциировать функцию, для этого существует несколько способов:

• sqrt(0);
  

• template sqrt<int>; // явно для T = int
  

В результате, метод A мы можем вызывать:

A(v.begin(), v.end(), sqrt<int>);

Вопрос: Как получить указатели на члены класса? Ответ: Рассмотрим пример:

struct Person {
	int m_age;
	int m_salary;
	string m_name;
	string name() {
		return m_name;	
	}
}

Тогда

int Person::(*p) = &Person::m_age;
string (Person::*f)() const = &Person::name;

Далее имеем

Person pers;
(pers.*p) = 10;
(pers.*f)();

Вопрос:

Мы имеем указатель на мембер класса. Можем ли мы его передавать как параметр функции?

Ответ:

Да, можем. К примеру,

struct by_field {
	by_field(int Person::*field)
}

Замечание: Указатели на мемберы не приводяться ник чему. Они могут проверяться на равенство 0.