C++ 函数指针及delegate的几种方法

delegate类似于函数指针。

函数指针是指向函数的指针变量。 因此“函数指针”本身首先应是指针变量，只不过该指针变量指向函数。这正如用指针变量可指向整型变量、字符型、数组一样，这里是指向函数。如前所述，C在编译时，每一个函数都有一个入口地址，该入口地址就是函数指针所指向的地址。有了指向函数的指针变量后，可用该指针变量调用函数，就如同用指针变量可引用其他类型变量一样，在这些概念上是大体一致的。函数指针有两个用途：调用函数和做函数的参数。

方法

函数指针的声明方法为：

返回值类型 ( * 指针变量名) ([形参列表]);

注1：“返回值类型”说明函数的返回类型，“(指针变量名 )”中的括号不能省，括号改变了运算符的优先级。若省略整体则成为一个函数说明，说明了一个返回的数据类型是指针的函数，后面的“形参列表”表示指针变量指向的函数所带的参数列表。例如：

int func(int x); /* 声明一个函数 */
int (*f) (int x); /* 声明一个函数指针 */
f=func; /* 将func函数的首地址赋给指针f */
//或者使用下面的方法将函数地址赋给函数指针：
f = &func;

赋值时函数func不带括号，也不带参数，由于func代表函数的首地址，因此经过赋值以后，指针f就指向函数func(x)的代码的首地址。（（*f）相当对func的替换，f执行func）

注2：函数括号中的形参可有可无，视情况而定。

下面的程序说明了函数指针调用函数的方法：

#include<stdio.h>
int max(int x,int y){return (x>y? x:y);}
int main()
{
    int (*ptr)(int, int);
    int a, b, c;
    ptr = max;
    scanf("%d%d", &a, &b);
    c = (*ptr)(a,b);
    printf("a=%d, b=%d, max=%d", a, b, c);
    return 0;
}

不过，在某些编译器中这是不能通过的。这个例子的补充如下。ptr是指向函数的指针变量，所以可把函数max()赋给ptr作为ptr的值，即把max()的入口地址赋给ptr，以后就可以用ptr来调用该函数，实际上ptr和max都指向同一个入口地址，不同就是ptr是一个指针变量，不像函数名称那样是死的，它可以指向任何函数，就看你想怎么做了。在程序中把哪个函数的地址赋给它，它就指向哪个函数。而后用指针变量调用它，因此可以先后指向不同的函数。不过注意，指向函数的指针变量没有++和--运算，用时要小心。

应该是这样的：

1.定义函数指针类型：

typedef int (*fun_ptr)(int,int);

2.声明变量，赋值：

fun_ptr max_func=max;

也就是说，赋给函数指针的函数应该和函数指针所指的函数原型是一致的（否则指向是没有意义的，一致就是返回值和参数数量、类型、顺序一致）。

#include<stdio.h>
void FileFunc()
{
    printf("FileFunc\n");
}
void EditFunc()
{
    printf("EditFunc\n");
}
void main()
{
    typedef void(*funcp)();
    funcp pfun=FileFunc;
    pfun();
    pfun=EditFunc;
    pfun();
}

注：函数原型

函数原型类似函数定义时的函数头。为了能使函数在定义之前就能被调用，C++规定可以先说明函数原型，然后就可以调用函数。函数定义可放在程序后面。 由于函数原型是一条语句，因此函数原型必须以分号结束。函数原型由函数返回类型、函数名和参数表组成，它与函数定义的返回类型、函数名和参数表必须一致。函数原型不必包含参数的名字，可只包含参数的类型。例如： int area (int, int );等价于 int area（int a，int b）；说明：系统标准函数并没有在包含文件中定义，而只是提供了函数原型。在调用函数时，系统会正确地调用库函数。 注意：函数原型与函数定义必须一致，否则会引起编译错误。返回类型、函数名、参数表唯一确定一个函数。

对比区别

指针函数和函数指针的区别：

1、这两个概念都是简称，指针函数是指返回值是指针的函数，即本质是一个函数。我们知道函数都有返回类型（如果不返回值，则为无值型），只不过指针函数返回类型是某一类型的指针。

其定义格式如下所示：

返回类型  标识符*函数名称（形式参数表）

{函数体}

返回类型可以是任何基本类型和复合类型。返回指针的函数的用途十分广泛。事实上，每一个函数，即使它不带有返回某种类型的指针，它本身都有一个入口地址，该地址相当于一个指针。比如函数返回一个整型值，实际上也相当于返回一个指针变量的值，不过这时的变量是函数本身而已，而整个函数相当于一个“变量”。例如下面一个返回指针函数的例子：

/*指针函数是指返回值是指针的函数，即本质是一个函数：*/
#include <iostream>
using namespace std;
float*find(float(*p)[4],int m);//查询序号为m的学生的四门课程的成绩
int main()
{
    float score[][4]={{50,51,52,55},{70,70,40,80},{77,99,88,67}};//定义成绩数组，第一维    可以为变量
    float*pf=NULL;//定义一个指针时一定要初始化
    int i,m;
    cout<<"请输入您想查询的学生的序号:";
    cin>>m;
    pf=find(score,m);//返回为一维数组指针，指向一个学生成绩
    for(i=0;i<4;i++)
        cout<<*(pf+i)<<"";
        cout<<endl;
        return 0;
    }
}
float * find(float(*p)[4],int m)
{
    float *pf=NULL;
    pf=*(p+m);//p是指向二维数组的指针，加*取他的一维数组的指针
    return pf;
}

指针数组学生学号从0号算起，函数find()被定义为指针函数，其形参pointer是指针指向包含4个元素的一维数组的指针变量。pf是一个指针变量，它指向浮点型变量。main()函数中调用find()函数，将score数组的首地址传给pointer.

定义

关于函数指针数组的定义方法，有两种：一种是标准的方法；一种是蒙骗法。

第一种，标准方法：

分析：函数指针数组是一个其元素是函数指针的数组。那么也就是说，此数据结构是一个数组，且其元素是一个指向函数入口地址的指针。

根据分析：首先说明是一个数组：数组名[]

其次，要说明其元素的数据类型指针：*数组名[].

再次，要明确这每一个数组元素是指向函数入口地址的指针：函数返回值类型 (*数组名[])()。请注意，这里为什么要把“*数组名[]”用括号扩起来呢？因为圆括号和数组说明符的优先级是等同的，如果不用圆括号把指针数组说明表达式扩起来，根据圆括号和方括号的结合方向，那么 *数组名[]() 说明的是什么呢？是元素返回值类型为指针的函数数组。有这样的函数数组吗？不知道。所以必须括起来，以保证数组的每一个元素是指针。

第二种，蒙骗法：

尽管函数不是变量，但它在内存中仍有其物理地址，该地址能够赋给指针变量。获取函数地址的方法是：用不带有括号和参数的函数名得到。

函数名相当于一个指向其函数入口指针常量。 那么既然函数名是一个指针常量，那么就可以对其进行一些相应的处理，如强制类型转换。

那么我们就可以把这个地址放在一个整形指针数组中，然后作为函数指针调用即可。

完整例子：

#include <stdio.h>
int add1(int a1,int b1);
int add2(int a2,int b2);
int main(void)
{
    int numa1 = 1, numb1 = 2;
    int numa2 = 2, numb2 = 3;
    int(*op[2])(int a,int b);
    op[0] = add1;
    op[1] = add2;
    printf("%d%d\n", op[0](numa1, numb1), op[1](numa2, numb2));
}
int add1(int a1,int b1)
{
    return a1 + b1;
}
int add2(int a2,int b2)
{
    return a2 + b2;
}

赋值

为函数指针数组赋值有两种方式：静态定义和动态赋值。

1. 静态定义

在定义函数指针数组的时候，已经确定了每个成员所对应的函数。例如：

void(*Array[])(void)={Stop,Run,Jump};

省略。这个函数指针数组的成员有三个（这三个都是函数名）。从根本上讲函数指针数组依然是数组，所以和数组的定义类似，由于是静态赋值，[ ]里面的数字可以

Array[1]();//执行Run函数

也可以先定义一个函数指针数组，在需要的时候为其赋值。为了还原其本来面目，我们先对这个执行特定类型的函数指针进行类型重定义，然后再用这个新数据类型来定义数组。如下：2. 动态赋值

typedef void(*Funcint)(void);//此类型的函数指针指向的是无参、无返回值的函数。
Funcint Array[32];//定义一个函数指针数组，其每个成员为Funcint类型的函数指针
Array[10]=INT_TIMER0;//为其赋值
Array[10]();//调用函数指针数组的第11个成员指向的函数

You have an incredible number of choices to achieve delegates in C++. Here are the ones that came to my mind.

Option 1 : functors:

A function object may be created by implementing operator()

struct Functor
{
     // Normal class/struct members

     int operator()(double d) // Arbitrary return types and parameter list
     {
          return (int) d + 1;
     }
};

// Use:
Functor f;
int i = f(3.14);

Option 2: lambda expressions (C++11 only)

// Syntax is roughly: [capture](parameter list) -> return type {block}
// Some shortcuts exist
auto func = [](int i) -> double { return 2*i/1.15; };
double d = func(1);

Option 3: function pointers

int f(double d) { ... }
typedef int (*MyFuncT) (double d);
MyFuncT fp = &f;
int a = fp(3.14);

Option 4: pointer to member functions (fastest solution)

See Fast C++ Delegate (on The Code Project).

struct DelegateList
{
     int f1(double d) { }
     int f2(double d) { }
};

typedef int (DelegateList::* DelegateType)(double d);

DelegateType d = &DelegateList::f1;
DelegateList list;
int a = (list.*d)(3.14);

Option 5: std::function

(or boost::function if your standard library doesn't support it). It is slower, but it is the most flexible.

#include <functional>
std::function<int(double)> f = [can be set to about anything in this answer]
// Usually more useful as a parameter to another functions

Option 6: binding (using std::bind)

Allows setting some parameters in advance, convenient to call a member function for instance.

struct MyClass
{
    int DoStuff(double d); // actually a DoStuff(MyClass* this, double d)
};

std::function<int(double d)> f = std::bind(&MyClass::DoStuff, this, std::placeholders::_1);
// auto f = std::bind(...); in C++11

Option 7: templates

Accept anything as long as it matches the argument list.

template <class FunctionT>
int DoSomething(FunctionT func)
{
    return func(3.14);
}