Указатель на функцию
Эта статья об указателе на функцию. Для понимания необходимо знать:
Если говорить об указателях вкратце, то:
- Указатель — это объект, который умеет хранить адреса.
- На любой объект можно создать указатель.
- В указатель можно присвоить адрес
Имя функции умеет неявно приводиться к указательной переменной. Поскольку имя функции может стать указателем, то в подходящий для функции указатель можно присвоить адрес функции.
Мне определённо кажется, что вместо кучи разных и непонятных слов к этой статье подойдёт небольшая подборка примеров кода.
Общий принцип построения указателя на функцию:
Тип_Функции (*Имя_Функции) (СПИСОК_ФОРМАЛЬНЫХ_ПАРАМЕТРОВ_ФУНКЦИИ)
Тип_Функции (*Имя_Функции) (СПИСОК_ФОРМАЛЬНЫХ_ПАРАМЕТРОВ_ФУНКЦИИ)
Обязательно к имени функции приклеивать слева указательное обозначение и заворачивать это дело скобками.
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 |
#include <iostream> void foo1() { std::cout << "foo1\n"; } void foo2() { std::cout << "foo2\n"; } void foo3(const int) { std::cout << "foo3\n"; } int foo4(const int) { std::cout << "foo4\n"; return 10; } int main() { void (*ptr_foo1)(); //указатель на функцию foo1 ptr_foo1 = &foo1; void (*ptr_foo2)(); //указатель на функцию foo2 ptr_foo2 = &foo2; void (*ptr_foo3)(int); //указатель на функцию foo3 ptr_foo3 = &foo3; int (*ptr_foo4)(int); //указатель на функцию foo4 ptr_foo4 = &foo4; /*ВЫЗОВ ПРОИСХОДИТ ОБЫЧНЫМ ОБРАЗОМ*/ ptr_foo1(); //вызвали указателем ptr_foo2(); //ptr_foo3(); //так нельзя, потому что указатель указывает //на функцию с параметром ptr_foo3(7); //поэтому так правильно std::cout << ptr_foo4(77); //вывод 10, без аргумента будет ошибка компиляции } |
Пример достаточно мал, поэтому его должно быть можно быстро понять. Важно только не забывать, что имя функции обозначается как указательная сущность и оборачивается скобками и что должно быть соответствие в параметрах.
Отдельного упоминания заслуживает указательная переменная, указывающая на экземпляр шаблонной функции.
Для понимания ниженаписанного требуется знать:
- Указатель на шаблон функции создать нельзя, но указатель на экземпляр функции создать можно.
Функции, которые объявлены как шаблонные, вроде и есть, а указатель на них создать нельзя. Нельзя создать указатель на шаблон функции по той простой причине, что шаблон функции являет собой целое семейство функций. Другими словами — шаблон функций обозначает множество разных функций сразу. Так как указатель в один момент времени может указывать только на один тип, да и вообще в С++ динамически типы изменять нельзя, то указать на шаблон функции нельзя. Но на представителя семейства указатель создавать можно.
Пример создания указателя на экземпляр шаблонной функции:
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 |
#include <iostream> using std::cout; template <class T1, class T2, class T3> T3 f(T1 x, T2 y) { T3 temp; cout << x << ' ' << y << '\n'; return temp; } int main() { bool (*ft)(double, int); //Указатель на функцию c параметрами double,int ft = f<double,int,bool>; //НЕ ЗАБЫВАЕМ, УКАЗАТЬ УКАЗАТЕЛЮ НА ЧТО-НИБУДЬ ft(50,70); //вызов функции /*Можно создавать указатели на экземпляры семейства функций*/ int (*ptr1)(double, const char*); const char* (*ptr2)(const char*,const char*); float (*ptr3)(int,int); /*Ссылаться на совместимые для указателя экземпляры*/ ptr1 = f<double, const char*, int>; ptr2 = f<const char*,const char*, const char*>; ptr3 = f<int,int,float>; /*И использовать при необходимости*/ ptr1(100,"HELLO"); ptr2("ptr2", "text"); ptr3(100,200); } |
В показанном примере третий шаблонный параметр T3 в ходе работы программы принимает типы, не умеющие преобразовываться друг к другу. Поэтому его трудно будет задействовать. Конечно это решаемо, но эта статья об указателях на экземпляры шаблонных функций, поэтому не буду затрагивать другую тему. Позже вы к ней ещё придёте.
Задавая аргументы или явно (где необходимо задать всё явно), или неявно (если все параметры шаблона могут сами подставить в себя типы из приходящих в шаблон типов значений) в момент использования указательной переменной как функции — мы получаем возможность возложить обязанности работы функции на плечи указательной переменной. Единственное, нужно смотреть совместимость параметров, приписанных к указательной переменной, и параметров, живущих в экземпляре функции, с которой указатель связывается.
Тут важно понять сам принцип, остальное всё проще, чем может показаться на первый взгляд. И важно запомнить, что указательную переменную можно связать только с одним экземпляров шаблонной функции, а не со всем семейством, зарождаемым шаблонной функцией.
Случайная книга в электронном формате
Добавить комментарий