指针函数和函数指针——>又一绕口的混蛋

 

预热：如果你已经弄明白了数组指针和指针数组的区别，那么恭喜你，你也可以读懂下面这篇文章了，但我还是希望你在读之前简单地了解一下“右左法则” 。（右左法则是必须知道的常识哦，所以别偷懒，下面有链接。）

http://blog.csdn.net/supermegaboy/article/details/4854965

正式开始：

1>指针函数:返回值为指针的函数，是一个函数

我们见过无数的函数，他们的返回值可以是int ,char,float,void，当然也就可以是指针啦。如int *，char *,float*等。他也可以算是一种类型。

如：

int *max(int i,int j)

{

……

int *a;

return a;

}

如上面第一句代码，max先和右边结合（（）比*的优先级高）成为一个函数，然后再往左看，表示函数返回值为int*类型的数据。

2>函数指针:指向一个函数的指针，是一个指针

我们知道指针可以指向一个数组，一个int类型的数据等等，当然，指针也可以指向函数啦。

2.1>初始化

函数指针定义

函数类型 （*指针变量名）(形参列表)；

“函数类型”说明函数的返回类型，由于“()”的优先级高于“*”,所以指针变量名外的括号必不可少，后面的“形参列表”表示指针变量指向的函数所带的参数列表。

例如：

int (*f)(int x);

double (*ptr)(double x);

在定义函数指针时请注意：
函数指针和它指向的函数的参数个数和类型都应该是—致的；

函数指针的类型和函数的返回值类型也必须是一致的。

以下初始化及赋值是合法的：

int text (int x);//函数声明

double  tct(double x);//函数声明

f = test;

f = &test;

ptr= tct;

ptr= &tct;

要做出解释的是test和&test都可以用来初始化函数指针。C语言规定函数名会被转换为指向这个函数的指针，除非这个函数名作为 & 操作符或sizeof操作符的操作数(注意：函数名用于sizeof的操作数是非法的)。也就是说f = test;中test被自动转换为&test，而f= &test;中已经显示使用了&test，所以test就不会再发生转换了。因此直接引用函数名等效于在函数名上应用 & 运算符，两种方法都会得到指向该函数的指针。

2.2>通过函数指针调用函数

通过函数指针调用函数可以有两种方法，直接使用函数指针或在函数指针前使用解引用运算符，如下所示：

f = test;

ptr = tct;

f ( );

(*f) ( );   //指针两侧的括号非常重要，表示先对f解引用，然后再调用相应的函数

ptr ( );

(*ptr) ( );  //括号同样不能少

以上语句都能达到调用test函数的作用。ANSI C标准将f ( )认为是(*f)( )的简写形式，并且推荐使用f ( )形式，因为它更符合函数调用的逻辑。要注意的是：如果指向函数的指针没有初始化，或者具有0值(零指针常量)，那么该指针不能在函数调用中使用。只有当指针已经初始化，或被赋值后指向某个函数才能安全地用来调用函数。

2.3>探究函数名

现在有如下程序：

void test( )

{

    printf("test called!\n");

}

int main()

{

void (*f)();

    f=test;

f();

    (*f)();

//test++;              // error，标准禁止对指向函数的指针进行自增运算

//test = test + 2;        //error，不能对函数名赋值，函数名也不能用于进行算术运算

printf("%p\n", test);

printf("%p\n", &test);

printf("%p\n", *test);

    return 0;

}

这个程序中较难理解的是3个输出语句都可以得到函数的入口地址。首先来看函数名test，它与数组名类似(注意：只是类似)，是一个符号用来标识一个函数的入口地址，在使用中函数名会被转换为指向这个函数的指针，指针的值就是函数的入口地址，&test在前面已经说了：显示获取函数的地址。对于*test，可以认为由于test已经被转换成了函数指针, 指向这个函数，所以*test就是取这个指针所指向的函数名，而又根据函数名会被转换指向该函数的指针的规则，这个函数也转变成了一个指针，所以*test最终也是一个指向函数test的指针。对它们采用%p格式项输出，都会得到以16进制数表示的函数test的入口地址。注意函数的地址在编译期是未知的，而是在链接时确定的。

函数名是一个函数的入口地址，不可以对这个地址进行修改。

2.4>函数指针数组

属于函数指针的一种，这个多个函数指针一起组成了数组。如：

int （*p)[3] (int i, int j);//定义了一个函数指针数组，有数组元素p[0]、p[1]、p[2]可以指向三个类型相同的函数。如：

T1(int i,int j);//函数声明1

T2(int i,int j);//函数声明1

T3(int i,int j);//函数声明1

P[0] = T1；

P[0] = T2；

P[0] = T3；//是不是很简单呢？

2.5>关于指针的复杂声明

函数指针数组采用了typedef来声明，这是应该提倡的方法，因为它可读性更高。如果不使用typedef，那么分析起来就会比较复杂，结果是void (*file_options[ ]) ( );对于C语言的复杂声明我不想讲太多，因为在实际中用到的机会并不多，并且推荐大家多用typedef来简化声明的复杂度。对于分析复杂声明有一个极为有效的方法——右左法则。右左法则的大致描述为：从未定义的变量名开始阅读声明，先向右看，然后向左看。当遇到括号时就调转阅读的方向。括号内的所有内容都分析完毕就跳出括号。这样一直继续下去，直到整个声明都被分析完毕。来分析一个的例子：int * (* (*fp) (int) ) [10];  

阅读步骤：

1．从未定义的变量名开始阅读 --------------------------------------------fp

2．往右看，什么也没有，遇到了)，因此往左看，遇到一个* ------ 一个指向某对象的指针

3．跳出括号，遇到了(int) ----------------------------------- 一个带一个int参数的函数

4．向左看，发现一个* --------------------------------------- （函数）返回一个指向某对象的指针

5．跳出括号，向右看，遇到[10] ------------------------------ 一个10元素的数组

6．向左看，发现一个* --------------------------------------- 一个指向某对象指针

7．向左看，发现int -----------------------------------------int类型

所以fp是指向函数的指针,该函数返回一个指向数组的指针，此数组有10个int*型的元素。

2.6>回调函数

这个比较复杂，我目前还没用过，等我用到时我再来增加