指向函数的指针用法

帮忙解释下下列语法的含义：
int (* sa)() = NULL；
int m;
m = sa();
这样的话m 最后会得到什么值呢？

---

看完以下的，您就知道什么是指向函数的指针了，其实就是回调函数！

程序员常常需要实现回调。本文将讨论函数指针的基本原则并说明如何使用函数指针实现回调。注意这里针对的是普通的函数，不包括完全依赖于不同语法和语义规则的类成员函数（类成员指针将在另文中讨论）。

声明函数指针

回调函数是一个程序员不能显式调用的函数；通过将回调函数的地址传给调用者从而实现调用。要实现回调，必须首先定义函数指针。尽管定义的语法有点不可思议，但如果你熟悉函数声明的一般方法，便会发现函数指针的声明与函数声明非常类似。请看下面的例子：

void f()；// 函数原型

上面的语句声明了一宏轮森个函数，没有输入参数并返回void。那么函数指针的声明方法如下：

void (*) ();

让我们来分析一下，左边圆括弧中的星号是函数指针声明的关键。另外两个元素是函数的返回类型（void）和由边圆括弧中的入口参数（本例中参数是空）。注意本例中还没有创建指针变量-只是声明了变量类型。目前可以用这个变量类型来创建类型定义名及用sizeof表达式获得函数指针的大小：

// 获得函数指针的大小
unsigned psize = sizeof (void (*) ());

// 为函数指针声明类型定义
typedef void (*pfv) ();

pfv是一个函数指针的自定义类型，它指向的函数没有输入参数，返回类行为void。使用这个类型定义名可以隐藏复杂的函数指针语法。

指针变量应该有一个变量名：

void (*p) (); //p是指向某函数的指针

p是指向某函数的指针，该函数无输入参数，返回值的类型为void。左边圆括弧里星号后的就是指针变量名。有了指针变量便可以赋值，值的内容是署名匹配的函数名和返回类型。例如：

void func()
{
/* do something */
}
p = func;

p的赋值可以不同，但一定要是函数的地址，并且署名和返回类型相同。

传递回调函数的地址给调用者

现在可以将p传递给另一个函数（调用者）- caller()，它将调用p指向的函数，而此函数名是未知的：

void caller(void(*ptr)())
{
ptr(); /* 调用ptr指向的函数 */
}
void func();
int main()
{
p = func;
caller(p); /* 传递函数地址到调用蔽亩者 */
}

如果赋了不同的值给p（不同函数地址），那么调用者将调用不同地址的函数。赋值可以发生在运行时，这样使你能实现动态绑定。

调桐颤用规范

到目前为止，我们只讨论了函数指针及回调而没有去注意ANSI C/C++的编译器规范。许多编译器有几种调用规范。如在Visual C++中，可以在函数类型前加_cdecl，_stdcall或者_pascal来表示其调用规范（默认为_cdecl）。C++ Builder也支持_fastcall调用规范。调用规范影响编译器产生的给定函数名，参数传递的顺序（从右到左或从左到右），堆栈清理责任（调用者或者被调用者）以及参数传递机制（堆栈，CPU寄存器等）。

将调用规范看成是函数类型的一部分是很重要的；不能用不兼容的调用规范将地址赋值给函数指针。例如：

// 被调用函数是以int为参数，以int为返回值
__stdcall int callee(int);

// 调用函数以函数指针为参数
void caller( __cdecl int(*ptr)(int));

// 在p中企图存储被调用函数地址的非法操作
__cdecl int(*p)(int) = callee; // 出错

指针p和callee()的类型不兼容，因为它们有不同的调用规范。因此不能将被调用者的地址赋值给指针p，尽管两者有相同的返回值和参数列。

---

指向函数的指针的用法：
1.指向函数的指针的类型
指向函数的指针应该怎吵空样声明？拿两个字符串的比较函数来说：
int strCompare(const string & s1, const string & s2) ;
如果两个字符串相等就返回0，否则，s1< s2返回负数,s1 > s2返回正数其实函数名不是其类型的一部分，函数类型是只由它的返回类型和参数来决定。函数名称只不过是指向函数代码的地址。所以指向函数的指针的类型应该用下面的形式声名：

int (*pf)( const string &, const string & );

2.初始化升如瞎和赋值
指向函数的指针可如下被初始化只有当赋值操作符左边指针的参数表和返回类型与右边函数或指针的参数表和返回类型
完全匹配时初始化和赋值才是正确的如果不匹配则将产生编译错误消息在指向函数
类型的指针之间不存在隐式类型转换。
int (*pfi)( const string &, const string & ) = strCompare;
int (*pfi2)( const string &, const string & ) = &strCompare;
指向函数的指针可以如下被赋值
pfi = strCompare;
pfi2 = pfi;
3.调用
如下代码：

#include
using namespace std;

int min( int*, int );
int (*pf)( int*, int ) = min;

const int iaSize = 5;
int ia[ iaSize ] = { 7, 4, 9, 2, 5 };

int main()
{
cout << "Direct call: min: "
<< min( ia, iaSize ) << endl;
cout << "Indirect call: min: "
<< pf( ia, iaSize ) << endl;
return 0;
}
int min( int* ia, int sz )
{
int minVal = ia[ 0 ];
for ( int ix = 1; ix < sz; ++ix )
if ( minVal > ia[ ix ] )
minVal = ia[ ix ];
return minVal;
}

4.函数指针的数组
我们可以声明一个函数指针的数组例如
int (*testCases[10])();
将testCases 声明为一个拥有10 个元素的数组每个元素都是一个指向函数的函数指针，该函数没有参数返回类型为int。
上面的声明等价于下面声明：

typedef int (*PFV)(); // 定义函数类型橡老指针的typedef
PFV testCases[10];

函数指针的数组可以用一个初始化列表来初始化该表中每个初始值都代表了一个与数
组元素类型相同的函数例如
int lexicoCompare( const string &, const string & );
int sizeCompare( const string &, const string & );
typedef int ( *PFI2S )( const string &, const string & );
PFI2S compareFuncs[2] =
{
lexicoCompare,
sizeCompare
};
// 两个等价的调用
pfCompare[ 0 ]( string1, string2 ); // 编写
((*pfCompare)[ 0 ])( string1, string2 ); // 显式
5,参数和返回类型
函数参数的类型不能是函数类型函数类型的参数将被自动转换成该函数类型的指针
例如

// typedef 表示一个函数类型
typedef int functype( const string &, const string & );
void sort( string *, string *, functype );
编译器把sort()当作已经声明为
void sort( string *, string *,
int (*)( const string &, const string & ) );
上面这两个sort()的声明是等价的
注意除了用作参数类型之外函数指针也可以被用作函数返回值的类型例如
int (*ff( int ))( int*, int );
该声明将ff()声明为一个函数它有一个int 型的参数返回一个指向函数的指针类型
为
int (*) ( int*, int );
同样使用typedef 名字可以使声明更容易读懂例如下面的typedef PF 使得我们能更
容易地分解出ff()的返回类型是函数指针

typedef int (*PF)( int*, int );
PF ff( int );
函数不能声明返回一个函数类型如果是则产生编译错误例如函数ff()不能如下
声明
// typedef 表示一个函数类型
typedef int func( int*, int );
func ff( int ); // 错误: ff()的返同类型为函数类型

---

……恕我直言，没几处对的
不过就事祥世世论事，最重要的错误是
1void(*oper[4]);
根本与函返碰数指针毫无关系
对于与函谨肢数指针有关的类型，建议养成用
typedef
简化声明的习惯
12typedef void sorting_function_type();sorting_function_type* oper[4];
一定不能用
typedef
的话，就要写成
1void (* oper[4])();

---

void
run(void
(*ptask)())
---
拆开来看
void
run(
参数)
参数
=
void
(*ptask)()
也就是
run函数接受的参数是一个函缺纤数指针ptask,
这个指针指向
无参数无返回值的函数
,也就是形如
void
fun
(void)类型的函数，在你的宏扮拿例子里面就是
void
task0(void)
void
task1(void)
....
(*ptask)()
，前面说了，ptask指向
函数的地址，这句话就是调用那个函数，就是执行
task0
task1等
void
(*
code
task[])()
=
{task0,task1,task2,task3};
这句话定义了一个函数指针数组
task[],初始化值为
task[0]
=
task0
等等等蔽搭等
最后你要用的时候就这样
:
调用run的时候：
run(
task[0])
//执行task0
...

---

程序会崩溃，sa是空函数指针，你执行它相当于执行地址为0的指巧蠢链令。应用程序的指令空间是档渣操作孝孙系统分配的，不允许你访问地址为0的地址。函数指针就是函数运行指令的起始地址

---