Мне сложно увидеть полезность указателей на функции. Я предполагаю, что в некоторых случаях это может быть полезно (в конце концов, они существуют), но я не могу придумать случая, когда лучше или неизбежно использовать указатель на функцию.
Не могли бы вы привести пример правильного использования указателей на функции (на C или C ++)?
Ответы:
Большинство примеров сводятся к обратным вызовам : вы вызываете функцию, f()передавая адрес другой функции g(), и f()вызываете g()какую-то конкретную задачу. Если вместо этого вы передадите f()адрес h(), то вместо этого f()перезвонит h().
По сути, это способ параметризации функции: некоторая часть ее поведения жестко не закодирована f(), а встроена в функцию обратного вызова. Вызывающие абоненты могут f()вести себя по-разному, передавая разные функции обратного вызова. Классический вариант взят qsort()из стандартной библиотеки C, в которой критерий сортировки используется как указатель на функцию сравнения.
В C ++ это часто делается с помощью объектов функций (также называемых функторами). Это объекты, которые перегружают оператор вызова функции, поэтому вы можете вызывать их, как если бы они были функцией. Пример:
class functor {
public:
void operator()(int i) {std::cout << "the answer is: " << i << '\n';}
};
functor f;
f(42);Идея заключается в том, что, в отличие от указателя на функцию, объект функции может нести не только алгоритм, но и данные:
class functor {
public:
functor(const std::string& prompt) : prompt_(prompt) {}
void operator()(int i) {std::cout << prompt_ << i << '\n';}
private:
std::string prompt_;
};
functor f("the answer is: ");
f(42);Еще одно преимущество состоит в том, что иногда проще встроить вызовы объектов функций, чем вызовы через указатели функций. По этой причине сортировка в C ++ иногда выполняется быстрее, чем в C.
Ну, я обычно использую их (профессионально) в таблицах переходов (см. Также этот вопрос на StackOverflow ).
Таблицы переходов обычно (но не исключительно) используются в конечных автоматах для управления данными. Вместо вложенного переключателя / корпуса
switch (state)
case A:
switch (event):
case e1: ....
case e2: ....
case B:
switch (event):
case e3: ....
case e1: ....вы можете создать двумерный массив указателей на функции и просто вызвать handleEvent[state][event]
Примеры:
std::sort«s compпараметр как стратегия
«Классическим» примером полезности указателей на функции является qsort()функция библиотеки C , которая реализует быструю сортировку. Чтобы быть универсальным для любых структур данных, которые может придумать пользователь, требуется пара пустых указателей на сортируемые данные и указатель на функцию, которая знает, как сравнивать два элемента этих структур данных. Это позволяет нам создать нашу функцию выбора для задания и фактически даже позволяет выбирать функцию сравнения во время выполнения, например, для сортировки по возрастанию или убыванию.
Согласитесь со всем вышеперечисленным, плюс .... Когда вы загружаете dll динамически во время выполнения, вам потребуются указатели на функции для вызова функций.
Я собираюсь пойти против течения здесь.
В C указатели на функции - единственный способ реализовать настройку, потому что нет объектно-ориентированного программирования.
В C ++ для достижения одного и того же результата можно использовать указатели на функции или функторы (объекты функций).
Функторы имеют ряд преимуществ перед необработанными указателями на функции в связи с их объектной природой, а именно:
operator()lambdaи bind)Я лично предпочитаю функторы указателям на функции (несмотря на шаблонный код), в основном потому, что синтаксис для указателей на функции может легко запутаться (из Учебника по указателям на функции ):
typedef float(*pt2Func)(float, float);
// defines a symbol pt2Func, pointer to a (float, float) -> float function
typedef int (TMyClass::*pt2Member)(float, char, char);
// defines a symbol pt2Member, pointer to a (float, char, char) -> int function
// belonging to the class TMyClassЕдинственный раз, когда я видел, как указатели на функции используются там, где функторы не могут, был в Boost.Spirit. Они полностью злоупотребили синтаксисом, чтобы передать произвольное количество параметров как один параметр шаблона.
typedef SpecialClass<float(float,float)> class_type;Но поскольку вариативные шаблоны и лямбды не за горами, я не уверен, что мы будем долго использовать указатели на функции в чистом коде C ++.
bindили functionуказатели на функции. Это как сказать, что мы не используем указатели в C ++, потому что мы используем интеллектуальные указатели. Во всяком случае, я придираюсь.
В C классическим использованием является функция qsort , где четвертым параметром является указатель на функцию, используемую для выполнения упорядочивания в сортировке. В C ++ для такого рода вещей обычно используются функторы (объекты, похожие на функции).
Недавно я использовал указатели на функции, чтобы создать уровень абстракции.
У меня есть программа, написанная на чистом C, которая работает во встроенных системах. Он поддерживает несколько вариантов оборудования. В зависимости от оборудования, на котором я работаю, ему необходимо вызывать разные версии некоторых функций.
Во время инициализации программа определяет, на каком оборудовании она работает, и заполняет указатели функций. Все подпрограммы более высокого уровня в программе просто вызывают функции, на которые ссылаются указатели. Я могу добавить поддержку новых вариантов оборудования, не затрагивая процедуры более высокого уровня.
Раньше я использовал операторы switch / case для выбора правильных версий функций, но это стало непрактичным, поскольку программа росла для поддержки все большего количества вариантов оборудования. Мне приходилось добавлять операторы case повсюду.
Я также пробовал использовать промежуточные функциональные уровни, чтобы выяснить, какую функцию использовать, но они не очень помогли. Мне все еще приходилось обновлять операторы case в нескольких местах, когда мы добавляли новый вариант. С указателями функций мне нужно изменить только функцию инициализации.
Как сказал Ричард выше, указатели функций в Windows обычно ссылаются на какой-либо адрес, в котором хранится функция.
При программировании C languageна платформе Windows вы в основном загружаете какой-то файл DLL в основную память (используя LoadLibrary), а для использования функций, хранящихся в DLL, вам необходимо создать указатели функций и указать на этот адрес (используя GetProcAddress).
Ссылки:
Я использовал их в основном для ОТВЕТОВ: когда вам нужно сохранить информацию о функции для последующего вызова .
Допустим, вы пишете Bomberman. Через 5 секунд после того, как человек сбросит бомбу, она должна взорваться (вызовите explode()функцию).
Теперь есть 2 способа сделать это. Один из способов - «исследовать» все бомбы на экране, чтобы увидеть, готовы ли они взорваться в основном цикле.
foreach bomb in game
if bomb.boomtime()
bomb.explode()Другой способ - прикрепить обратный вызов к вашей системе часов. Когда бомба закладывается, вы добавляете обратный вызов, чтобы он вызвал bomb.explode (), когда придет время .
// user placed a bomb
Bomb* bomb = new Bomb()
make callback( function=bomb.explode, time=5 seconds ) ;
// IN the main loop:
foreach callback in callbacks
if callback.timeToRun
callback.function()Здесь callback.function()может быть любая функция , потому что это указатель на функцию.
Использование указателя функции
Для динамического вызова функции на основе пользовательского ввода. В этом случае создав карту строки и указателя на функцию.
#include<iostream>
#include<map>
using namespace std;
//typedef map<string, int (*)(int x, int y) > funMap;
#define funMap map<string, int (*)(int, int)>
funMap objFunMap;
int Add(int x, int y)
{
return x+y;
}
int Sub(int x, int y)
{
return x-y;
}
int Multi(int x, int y)
{
return x*y;
}
void initializeFunc()
{
objFunMap["Add"]=Add;
objFunMap["Sub"]=Sub;
objFunMap["Multi"]=Multi;
}
int main()
{
initializeFunc();
while(1)
{
string func;
cout<<"Enter your choice( 1. Add 2. Sub 3. Multi) : ";
int no, a, b;
cin>>no;
if(no==1)
func = "Add";
else if(no==2)
func = "Sub";
else if(no==3)
func = "Multi";
else
break;
cout<<"\nEnter 2 no :";
cin>>a>>b;
//function is called using function pointer based on user input
//If user input is 2, and a=10, b=3 then below line will expand as "objFuncMap["Sub"](10, 3)"
int ret = objFunMap[func](a, b);
cout<<ret<<endl;
}
return 0;
}Таким образом, мы использовали указатель на функцию в нашей фактической балансовой единице. Вы можете написать n номеров функций и вызывать их с помощью этого метода.
ВЫВОД:
Введите свой выбор (1. Добавить 2. Дополнительный 3. Мульти): 1
Введите 2 №: 2 4
6
Введите свой выбор (1. Добавить 2. Дополнительный 3. Мульти): 2
Введите 2 №: 10 3
7
Введите свой выбор (1. Добавить 2. Дополнительный 3. Мульти): 3
Введите 2 №: 3 6
18
Другая точка зрения, помимо других хороших ответов здесь:
Я имею в виду, что вы пишете функции, но не можете манипулировать функциями. Не существует представления функции как таковой, которую вы могли бы использовать во время выполнения. Вы даже не можете назвать «функцию». Когда вы пишете:
my_function(my_arg);на самом деле вы говорите «выполнить вызов my_functionуказателя с указанным аргументом». Вы делаете вызов через указатель функции. Этот переход на указатель функции означает, что следующие команды эквивалентны предыдущему вызову функции:
(&my_function)(my_arg);
(*my_function)(my_arg);
(**my_function)(my_arg);
(&**my_function)(my_arg);
(***my_function)(my_arg);и так далее (спасибо @LuuVinhPhuc).
Итак, вы уже используете указатели на функции в качестве значений . Очевидно, вы захотите иметь переменные для этих значений - и здесь могут быть задействованы все другие виды использования: полиморфизм / настройка (как в qsort), обратные вызовы, таблицы переходов и т. Д.
В C ++ все немного сложнее, так как у нас есть лямбды, объекты с operator()и даже std::functionкласс, но принцип все тот же.
(&my_function)(my_arg), (*my_function)(my_arg), (**my_function)(my_arg), (&**my_function)(my_arg), (***my_function)(my_arg)... , потому что функции распадаются на указатели на функции
Для языков OO - для выполнения полиморфных вызовов за кулисами (я полагаю, что до некоторой степени это также верно для C).
Более того, они очень полезны для внедрения другого поведения в другую функцию (foo) во время выполнения. Это делает функцию foo функцией высшего порядка. Помимо гибкости, это делает код foo более читабельным, так как позволяет вытащить из него дополнительную логику «if-else».
Он позволяет использовать множество других полезных вещей в Python, таких как генераторы, замыкания и т. Д.
Одно из применений указателя на функцию может заключаться в том, что мы, возможно, не захотим изменять код, в котором вызывается функция (что означает, что вызов может быть условным, и при разных условиях нам нужно выполнять другой вид обработки). Здесь указатели на функции очень удобны, поскольку нам не нужно изменять код в том месте, где функция вызывается. Мы просто вызываем функцию, используя указатель функции с соответствующими аргументами. Указатель функции может указывать на разные функции условно. (Это можно сделать где-нибудь на этапе инициализации). Более того, описанная выше модель очень полезна, если мы не в состоянии изменить код, в котором она вызывается (предположим, что это API библиотеки, который мы не можем изменить). API использует указатель функции для вызова соответствующей пользовательской функции.
Я постараюсь дать здесь несколько исчерпывающий список:
Обратные вызовы : настройте некоторые (библиотечные) функции с помощью кода, предоставленного пользователем. Ярким примером является qsort(), но он также полезен для обработки событий (например, кнопки, вызывающей обратный вызов при нажатии) или необходимости для запуска потока ( pthread_create()).
Полиморфизм : vtable в классе C ++ - это не что иное, как таблица указателей на функции. И программа на C также может предоставить vtable для некоторых своих объектов:
struct Base;
struct Base_vtable {
void (*destruct)(struct Base* me);
};
struct Base {
struct Base_vtable* vtable;
};
struct Derived;
struct Derived_vtable {
struct Base_vtable;
void (*frobnicate)(struct Derived* me);
};
struct Derived {
struct Base;
int bar, baz;
}Конструктор Derivedзатем установит свою vtableпеременную-член в глобальный объект с реализациями производного класса destructи frobnicate, а код, необходимый для разрушения a struct Base*, просто вызовет base->vtable->destruct(base), который вызовет правильную версию деструктора, независимо от того, какой производный классbase фактически указывает на .
Без указателей на функции полиморфизм нужно было бы закодировать с помощью целой армии конструкций переключателей, таких как
switch(me->type) {
case TYPE_BASE: base_implementation(); break;
case TYPE_DERIVED1: derived1_implementation(); break;
case TYPE_DERIVED2: derived2_implementation(); break;
case TYPE_DERIVED3: derived3_implementation(); break;
}Это довольно быстро становится довольно громоздким.
Динамически загружаемый код : когда программа загружает модуль в память и пытается вызвать его код, она должна пройти через указатель функции.
Все виды использования указателей на функции, которые я видел, попадают в один из этих трех широких классов.