函数可以作为函数指针“传递”，根据ISO C11 6.7.6.3p8:“将形参声明为“函数返回类型”应调整为“指向函数返回类型的指针”，如6.3.2.1。”。例如，这个:

void foo(int bar(int, int));

等价于:

void foo(int (*bar)(int, int));

typedef int function();

function *g(function *f)
{
    f();
    return f;
}

int main(void)
{
    function f;

    function *fn = g(f);

    fn();
}

int f() { return 0; }

函数可以作为函数指针“传递”，根据ISO C11 6.7.6.3p8:“将形参声明为“函数返回类型”应调整为“指向函数返回类型的指针”，如6.3.2.1。”。例如，这个:

void foo(int bar(int, int));

等价于:

void foo(int (*bar)(int, int));

它不是一个真正的函数，但它是一段本地化的代码。当然，它不传递代码，只传递结果。如果将它传递给事件分派器以便稍后运行(因为结果是现在计算的，而不是事件发生时计算的)，则它将不起作用。但是如果这就是你想要做的，它会把你的代码本地化到一个地方。

#include <stdio.h>

int IncMultInt(int a, int b)
{
    a++;
    return a * b;
}

int main(int argc, char *argv[])

{
    int a = 5;
    int b = 7;

    printf("%d * %d = %d\n", a, b, IncMultInt(a, b));

    b = 9;

    // Create some local code with it's own local variable
    printf("%d * %d = %d\n", a, b,  ( { int _a = a+1; _a * b; } ) );

    return 0;
}

我将用一个简单的示例代码来解释，该代码将比较函数作为另一个排序函数的参数。 假设我有一个冒泡排序函数，它接受一个自定义比较函数，并使用它来代替固定的if语句。

比较函数

bool compare(int a, int b) {
    return a > b;
}

现在，冒泡排序以另一个函数作为参数来执行比较

冒泡排序函数

void bubble_sort(int arr[], int n, bool (&cmp)(int a, int b)) {

    for (int i = 0;i < n - 1;i++) {
        for (int j = 0;j < (n - 1 - i);j++) {
            
            if (cmp(arr[j], arr[j + 1])) {
                swap(arr[j], arr[j + 1]);
            }
        }
    }
}

最后，main通过传递布尔比较函数作为参数来调用冒泡排序函数。

int main()
{
    int i, n = 10, key = 11;
    int arr[10] = { 20, 22, 18, 8, 12, 3, 6, 12, 11, 15 };

    bubble_sort(arr, n, compare);
    cout<<"Sorted Order"<<endl;
    for (int i = 0;i < n;i++) {
        cout << arr[i] << " ";
    }
}

输出:

Sorted Order
3 6 8 11 12 12 15 18 20 22

从c++ 11开始，你可以使用函数库以一种简洁和通用的方式来做到这一点。语法是，例如，

std::function<bool (int)>

这里的bool是一个单参数函数的返回类型，该函数的第一个参数是int类型。

下面是一个示例程序:

// g++ test.cpp --std=c++11
#include <functional>

double Combiner(double a, double b, std::function<double (double,double)> func){
  return func(a,b);
}

double Add(double a, double b){
  return a+b;
}

double Mult(double a, double b){
  return a*b;
}

int main(){
  Combiner(12,13,Add);
  Combiner(12,13,Mult);
}

不过，有时候使用模板函数会更方便:

// g++ test.cpp --std=c++11

template<class T>
double Combiner(double a, double b, T func){
  return func(a,b);
}

double Add(double a, double b){
  return a+b;
}

double Mult(double a, double b){
  return a*b;
}

int main(){
  Combiner(12,13,Add);
  Combiner(12,13,Mult);
}