funcall в C++: объявление функций, которые принимают функции в качестве параметров

Обычно функция шаблон лучше всего подходит для такой потребности в гибкости:

template <typename F, typename T>
auto funcall(T && t, F f) -> decltype(f(std::forward<T>(t))
{
    return f(std::forward<T>(t));
}

Вместо завершающего возвращаемого типа и decltype вы также можете использовать трейт result_of:

template <typename F, typename T>
typename std::result_of<F(T&&)>::type funcall(T && t, F f)
{
    return f(std::forward<T>(t));
}

Или, в C++14, вы можете просто сказать decltype(auto) funcall(T && t, F f) без завершающего типа возвращаемого значения, и оно будет выведено автоматически.

Основная причина сделать F аргументом выведенного шаблона, а не фиксированным типом (например, std::function<R(T)>), состоит в том, чтобы позволить вам вызывать funcall напрямую с лямбда-выражениями и bind/mem_fn выражениями, которые имеют неизвестные типы. объекта std::function довольно дорого по сравнению с ним.

C++ — необычайно мощный и сложный язык. В нем вы можете делать все, что вы можете делать в Лиспе, включая реализацию Лиспа самостоятельно. Проблема в том, что для этого вам придется довольно много узнать о языке и о том, что он может делать. Использование функций в качестве объектов, к сожалению, является одной из самых сложных частей C++.

Есть несколько способов решить вашу проблему. Ответ @Kerrek отличный, но явно выходит за рамки того, к чему вы готовы. Код, представленный в вашем редактировании, предназначен для лямбда, что не обязательно упростит ситуацию.

По своей сути объекты-функции в C++ — это просто указатели. Они выглядят так.

typedef int (*func)(int a, char b);

int f(int aa, char bb) {
  return aa + bb;
}

int main(void) {
  func fv = f;
  int ret = fv(10, ' ');
  printf ("ret=%d", ret);
  return 0;
}

Здесь func — это тип, представляющий вызов функции, f — фактическая функция, а fv — функциональная переменная вызова.

Из этой структуры строится все остальное. С шаблонами компилятор выполняет сопоставление типов, а с лямбда-выражениями вам не нужно придумывать nmes. Под всем этим функции C/C++ — это просто указатели.

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