函数指针问题

typedef struct stack_st
{
int num;
char **data;
int sorted;

int num_alloc;
int (*comp)(const char * const *, const char * const *);
} STACK;

int (*sk_set_cmp_func(STACK *sk, int (*c)(const char * const *,const char * const *)))
(const char * const *, const char * const *)
{
int (*old)(const char * const *,const char * const *)=sk->comp;

if (sk->comp != c)
sk->sorted=0;
sk->comp=c;

return old;
}

以上代码摘自Openssl

函数comp是一个函数指针，返回类型int，参数const char * const *,指向常量char的常量指针；

函数sk_set_cmp_func返回函数指针，此函数指针类型以及参数和comp相同，此函数参数是STACK，以及一

个和comp类型以及参数相同的函数指针。

下面这个例子显示如何将指向函数的指针传递给函数、作为函数的返回类型。在这个例子中，有三个函数：
hello：返回字符指针的函数，用来返回字符串“hello world!/n”
RetFunc：返回一个指向函数的指针的函数，且返回指针所指的那个函数为一个返回字符指针的函数。
call：返回一个void *型的指针，且call有一个指向函数的指针的参数，且这个函数指针返回一个字符指针

#include<stdio.h>
#define MAX 100

main()
{
void *call(char *(*)());
char *(*RtnFunc())();　　

/*　上面两个说明有些复杂　*/

printf("%s",call(RtnFunc()));
return 0;
}

char *hello()
{
return "Hello World!/n";
}

char *(*RtnFunc())()
{
return hello;
}

void *call(char *(*func)())
{
return (*func)();
}

上面的例子中，main()无法直接调用hello函数,利用两个函数分别返回hello和调用hello，实现了在main()中调用hello。虽然，似乎这个程序显得多余但却很好的说明了如何把指向函数的指针传递给函数、作为函数的返回。其中call函数利用了void *型指针的灵活机制，使得call的适用性大为增加，这也正是指向函数的指针的优点之一。同样的例子是《The C Programming Language Second Edition》中下面这个函数调用：

qsort((void **) lineptr, 0, nlines-1, (int (*)(void *, void *))(numeric ? numcmp : strcmp));

其中，使用了两次强制类型转换，其中第二甚至是利用指向函数的指针，将函数的类型进行了转换。当然上面语句在某些编译器上无法通过，因为某些编译器要求条件表达：
表达式1 ? 表达式2 : 表达式3
中表达式2与表达式3的类型相同。当然这样的要求是不符合ANSI标准的。在ANSI标准中，如果表达式2与表达式3的类型不同，则结果的类型由类型转换规则决定。当然，我们可以变同一下，先将两个函数的类型进行强制转换来达到目的：

qsort((void **) lineptr, 0, nlines-1, numeric ? (int (*)(void *, void *))numcmp : (int (*)(void *, void *))strcmp));

对于如何直接说明一个像RtnFunc一样返回指向函数的指针的函数，我查阅了不少资料，都没有找到答案，最后是自己硬着头皮摸索出来的。由此，我也对C的复杂说明有了更深刻的体会，将在以后的技术日记中写出来。当然在我看来，过多的、不合适的使用这些复杂说明，并不是一种好的编程风格，因为它将使程序变得难以理解，同时也增加了出错的可能性。

一个比较好的折衷的方法是使用typedef来使程序的含义明朗。下面给出用typedef给写上面那个程序的例子，其中定义个一个类型PtoFun，用typedef说明PtoFun是指向函数的指针类型，指针所指的函数返回一个字符指针，且没有参数。

#include<stdio.h>
#define MAX 100

typedef char *(*PtoFun)();

main()
{
void *call(PtoFun);
PtoFun RtnFunc();

printf("%s",call(RtnFunc()));
return 0;
}

char *hello()
{
return "Hello World!/n";
}

PtoFun RtnFunc()
{
return hello;
}

void *call(PtoFun func)
{
return (*func)();
}

结构体中的int (*comp)(const char * const *, const char * const *);是一个函数指针，它指向的函数的返回类型是int，该函数带两个const char * const *的参数。

int (*sk_set_cmp_func(STACK *sk, int (*c)(const char * const *,const char * const *)))(const char * const *, const char * const *)
是一个函数，该函数sk_set_cmp_func的返回类型是一个函数指针，sk_set_cmp_func带有两个参数，一个参数是sk, 另一个参数是c
函数sk_set_cmp_func的返回类型和c的类型都和comp一样

其实可以这样来写，更容易理解一些：
typedef int (*comp_func_t)( const char * const char *, const char * const char * );
typedef struct stack_st
{
int num;
char **data;
int sorted;

int num_alloc;
comp_func_t comp;
} STACK;

comp_func_t sk_set_cmp_func( STACK *sk, comp_func_t c )
{
  comp_func_t old = sk->comp;
  if (sk->comp != c)
  sk->sorted=0;
  sk->comp=c;
  return old;
}

总结：

type (*pfun(***))(...)

type 是返回的函数指针的类型，如int、char等 ..
***  是pfun这个函数的参数
...  是返回的函数指针指向的函数参数类型 ......
int (*sk_set_cmp_func(STACK *sk, int (*c)(const char * const *,const char * const *)))
(const char * const *, const char * const *)
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
就是一个很好的例子：
type 是 int
***  是 STACK *sk, int (*c)(const char * const *,const char * const *))
...  是 (const char * const *, const char * const *)