C++基础入门教程（九）：函数指针之回调

在Java，要实现某个时间调用某段代码，是很简单的事情，那就是使用接口。
而在C++里，有一个比较高深的方式，那就是使用函数指针。

比如Cocos2d-x的定时器（schedule）、消息订阅（NotificationCenter）都使用了函数指针来完成回调的功能。
这也是为什么我们总是能把某个函数作为参数传进去，然后在某个时刻这个函数会被调用。

一、函数的地址

要获取一个int变量的地址很简单，比如int num; 那么num的地址就是&num。
而获取函数的地址更简单，函数的名字就是函数的地址，如下代码：

代码如下:

void hello();
int _tmain(int argc, _TCHAR* argv[])
{
    auto p = hello;
    p();
    return 0;
}
void hello()
{
    cout << "helloworld";
}

我们定义了一个hello函数，然后直接把函数名字赋值给指针p，于是，就可以把p当成了hello函数来使用了。
这很简单吧。

二、声明函数指针

获取函数的地址很简单，但是，如何声明函数指针就变得不那么简单了。
我们总不能每次都使用auto来逃避吧？有时候我们不得不显式地声明函数指针，那么，如何声明呢？
还记得我们说过的typedef定义类型别名吗？函数指针的声明也是一样的规则，先声明一个函数，如：void hello();
然后把函数名字换成指针，如：void (*p)();

没错，就是这么简单，void (*p)(); 就是void hello(); 的声明了。
立刻再来试试，这个函数：int getValue(float dt);
它的函数指针声明是什么？没错，就是：int (*p) getValue(float dt);

没错，就是这么简单int getValue(float dt); 就是int (*p) getValue(float dt);的函数指针声明了。
立刻再来试试，这..（小若：停~！别以为我不在你就可以乱来！）

好吧，那就不继续试了，我们来看看，刚刚那段代码可以这样写：

代码如下:

void hello();
int _tmain(int argc, _TCHAR* argv[])
{
    void (*p)();
    p = hello;
    p();
    (*p)(); // 偷偷加了这句
    return 0;
}
void hello()
{
    cout << "helloworld";
}

好了，很简单，不多说了~
另外，有没有发现我偷偷又加了一句代码？
没错，用(*p)();的方式也通过能成功调用hello函数，这是为什么呢？

三、历史原因

由于p是指针，它指向的是hello函数的地址，所以，*p就代表hello函数，于是，(*p)()就等于hello()，这是正常的逻辑。
所以，其实(*p)()才是比较正常的调用方式。
 
然而，由于函数名本来就是指向了函数的指针，也就是说，hello其实也是指向了函数的地址。
换句话说，p和hello其实都是指针，那么，p的调用方式和hello的调用方式应该也是一样的，于是，p()就相当于hello()。
 
这两种方式都是正确的，其实语法这东西，就是人定的，历史上前辈对这两种方式各持所见，于是就容忍了这两种看似冲突的方式同时存在了。
 
不过，我想，大部分人都会更喜欢直接用p()，而不是(*p)()吧。

四、typedef挽救复杂的函数指针

如下代码：

代码如下:

string hehe1(int num, float value);
string hehe2(int num, float value);
string hehe3(int num, float value);

int _tmain(int argc, _TCHAR* argv[])
{
    /* 声明函数指针数组 */
    string(*p[3])(int num, float value) = {hehe1, hehe2, hehe3};

string result = p[1](1, 2);
    cout << result.c_str() << endl;
    return 0;
}

string hehe1(int num, float value)
{
    return "haha1";
}
string hehe2(int num, float value)
{
    return "haha2";
}
string hehe3(int num, float value)
{
    return "haha3";
}

这段代码有三个参数和返回值都相同的函数，分别是hehe1、hehe2、hehe3
然后，我们要声明一个数组，这个数组用来存放这三个函数指针。
这里的函数还算是比较简单的，所以看起来不算复杂。
但如果这样的声明出现太多的话，未免会让人很沮丧。

于是，typedef挽救了我们，我们可以复杂的声明变成这样：

代码如下:

int _tmain(int argc, _TCHAR* argv[])
{
    /* 用HeheFunc来代替复杂的函数声明 */
    typedef string(*HeheFunc)(int num, float value);
    /* 声明函数指针数组 */
    HeheFunc p[3] = { hehe1, hehe2, hehe3 };
    string result = p[1](1, 2);
    cout << result.c_str() << endl;
    return 0;
}

使用typedef代替函数声明之后，我们就能很轻松地使用它，并且会让我们的代表变得很简单，很好理解。
现在，HeheFunc就代表了一种类型，什么类型呢？就是参数为(int num, float value)，返回值为string的函数类型。

五、结束

好了，就唠叨这么多吧。