指针进阶——指针的类型以及指针的应用3

七、指向函数指针数组的指针

void test(const char* str) 
{
 printf("%s\n", str);
}
int main()
{
 //函数指针pfun
 void (*pfun)(const char*) = test;
 //函数指针的数组pfunArr
 void (*pfunArr[5])(const char* str);
 pfunArr[0] = test;
 //指向函数指针数组pfunArr的指针ppfunArr
 void (*(*ppfunArr)[5])(const char*) = &pfunArr;
 return 0;
 }

上面ppfunarr这个变量先和*结合 从而它是个指针，向外看到[5]从而知道ppfunarr解引用后是一个数组名，它和[5]结合成为一个数组，将（*ppfunarr）和[5]删掉得到void（*）（const char*）

这是我们熟悉的函数指针表示形式，它的返回类型是void ，函数的参数是（const char*），从而我们知道了这个数组是一个存放函数指针的数组，从而ppfunarr是一个指向函数指针数组的指针。

给出一般指向函数指针数组的指针的声明方式，函数返回类型+（*（*指针变量名）[数组的元素个数]）+（函数的形参类型）。

八、回调函数

8.1

回调函数就是一个通过函数指针调用的函数。如果你把函数的指针（地址）作为参数传递给另一个

函数，当这个指针被用来调用其所指向的函数时，我们就说这是回调函数。回调函数不是由该函数

的实现方直接调用，而是在特定的事件或条件发生时由另外的一方调用的，用于对该事件或条件进

行响应。

具体回调函数的使用例子就是c语言的库函数qsort，它可以实现对任意类型数据的排序，其底层的实现方式是快排。后面我会使用冒泡排序的方式模拟实现它。

我们先在MSDN中看一下这个函数的使用方式 

 

void qsort( void * base, size_t num, size_t width, int (__cdecl * compare )(const void * elem1, const void * elem2 ) );

 函数名前的void表示它不需要返回值，第一个形参void*base表示比较数据的起始位置，size_t num表示需要比较的元素个数，size_t width表示单个元素所占内存的大小（单位是字节）。

重点来看最后一个参数 int (__cdecl *compare )(const void *elem1, const void *elem2 )，它是一个返回类型为int 形参为(const void *elem1, const void *elem2 )的函数指针。这个函数需要使用者自己实现，这个函数我在下面实现qsort的时候进行解释如何实现。

elem1和elem2是指向需要比较元素的指针。

所依赖的头文件是<stdlib.h>或者<search.h>。

8.2 qsort函数的具体实现

void my_qsort(void* base, size_t num, size_t width, int(* compare)(const void* e1, const void* e2))
{

}
int main()
{
    int arr[] = { 1,2,9,6,5};//
    my_qsort(arr, sizeof(arr) / sizeof(arr[0]), sizeof(int), cmp_by_int);
    return 0;
}

这里创建了一个需要排序的数组arr，cmp_by_int是一个我们需要自己实现的函数。

由于我们不需要修改e1和e2的值，所以加上const。其次它是一个void*类型的指针，从而这个函数可以接收任意类型的指针，但是注意，我们不能直接对void*类型的指针进行算数操作，因为编译器并不知道你是什么类型的数据，从而进行算数操作时也不知道该加减多少。

void my_qsort(void* base, size_t num, size_t width, int(* compare)(const void* e1, const void* e2))
{
    int i = 0;
    for (i = 0;i < num-1;i++)
    {
        int j = 0;
        for (j = 0;j < num - i - 1;j++)
        {
            if (compare((char*)base + j * width, (char*)base + (j + 1) * width) > 0)
            {
                swap((char*)base + j * width, (char*)base + (j + 1) * width, width);
            }
        }
    }
}

两个循环是冒泡排序的基本框架，改变的是判断的条件，还有需要自己实现的排序函数swap，由于我们不知道需要排序的是什么类型的数据，所以并不能保证每次加+1都能跳到下一个比较的元素，所以我们需要把他强转为char*的类型，依靠width来j*width来跳到指定元素的位置。

if的判断条件是如果前一个元素大于后一个元素，就交换，从而需要compare返回int类型的数据

所以我们只要让e1和e2强转为int*类型的数据后解引用，返回他们的差值就可以了。

int cmp_by_int(const void* e1,const void* e2)
{
    return *(int*)e1 - *(int*)e2;
}

接着是swap函数的实现

void swap( void*e1,const void* e2,size_t width)
{
    int i = 0;
    for (i = 0;i < width;i++)
    {
        char tep = *((char*)e1 + i);
        *((char*)e1+i) = *((char*)e2 + i);
        *((char*)e2 + i) = tep;
    }
}

 它不需要返回任何值，为了运算需要把它强制类型转换为char*类型，然后对数据一个一个字节的交换，如下图，假设需要交换的数据是2 和 1，他们在内存中以小端的方式存储。

也就是02 00 00 00 和 01 00 00 00 这时（char*)e1和(char*)e2分别指向了02 和 01，如果不断加加就能以单个字节的跨度经过后面的00 00 00，从而实现了每个字节的交换，交换的次数是数据的大小次，所以整个循环能实现两个元素的交换。

 完整的qsort实现代码。

int cmp_by_int(const void* e1,const void* e2)
{
    return *(int*)e1 - *(int*)e2;
}
void swap( void*e1,const void* e2,size_t width)
{
    int i = 0;
    for (i = 0;i < width;i++)
    {
        char tep = *((char*)e1 + i);
        *((char*)e1+i) = *((char*)e2 + i);
        *((char*)e2 + i) = tep;
    }
}
void my_qsort(void* base, size_t num, size_t width, int(* compare)(const void* e1, const void* e2))
{
    int i = 0;
    for (i = 0;i < num-1;i++)
    {
        int j = 0;
        for (j = 0;j < num - i - 1;j++)
        {
            if (compare((char*)base + j * width, (char*)base + (j + 1) * width) > 0)
            {
                swap((char*)base + j * width, (char*)base + (j + 1) * width, width);
            }
        }
    }
}
int main()
{
    int i = 0;
    int arr[] = { 1,2,9,6,5};//
    my_qsort(arr, sizeof(arr) / sizeof(arr[0]), sizeof(int), cmp_by_int);
    for (i = 0;i < 5;i++)
    {
        printf("%d ", arr[i]);
    }
    return 0;
}

执行的结果