如何在C语言中实现简单的泛型编程(二）

题外话

今天听了《编程范式》的Lecture 5,继续上一篇的主题，用C语言实现简单的泛型编程，收个尾。

正题

回忆上一篇的最后一个函数：

void* lsearch(void* key,void* base,int n,int elemSize,int (*cmpfn)(void*,void*)){
       for(int i=0;i<n;++i){
                 void* elemAddr=(char *)base+i*elemSize;
                 if(cmpfn(key,elemAddr)==0)
                            return elemAddr;
       }
       return NULL;
}

再定义一个要调用的函数：

int intCmp(void* elem1,void* elem2){
        int* ip1=elem1;
        int* ip2=elem2;
        return *ip1-*ip2;
}

看如下调用：

int array[]={1,2,3,4,5,6};
int size=6;
int number=3;
int *found=lsearch(&number,array,size,sizeof(int),intCmp);
if(found==NULL)
          printf("-_-||");
else
         printf("^_^");

若是一个C风格字符串，比如如下：

char *names[]={"Marvin","Marcus","Skyline","Forward"};
char *favorName="Skyline";
char **found=lsearch(&favorName,names,4,sizeof(char *),StrCmp);/*StrCmp函数将在下面定义。注意大写，因为在String.h中有strcmp()这个函数*/

注意names数组是保存指向字符串首地址指针的数组。其中的字符串保存在文字常量区。

C语言中的内存区域划分：

栈区（Stack）：由编译器自动分配、释放，存放函数参数值、局部变量的值等；

堆区（Heap）：一般由程序员分配、释放，若不释放，有可能被OS回收；

全局区（静态区）（Static）：全局变量和静态变量在这里存储。初始化的在一块，未初始化的在相邻的另一块。程序结束后由系统释放。

文字常量区：常量、字符串在这里储存。由系统释放。

程序代码区：存放函数体的二进制代码。

注意由于names数组存的是指向各字符串的地址，所以found为二级指针，以得到字符串。注意lsearch参数表中的favorName前的&，不能丢掉。

StrCmp()函数的定义：

int StrCmp(void* vp1,void* vp2){
      char *s1=*(char **)vp1;//Attention!
      char *s2=*(char **)vp2;//Attention!
      return strcmp(s1,s2);
}

注意第二第三行。C语言是强类型的语言。如果没有*(char**)，系统将不清楚vp1、vp2是指向什么类型的指针，编译系统将报错：void value not ignored as it ought to be.而lsearch函数中将传入的是指向指向字符串首地址的指针的指针，即二级指针，即char**类型，将其解引用，得到指向目标字符串首地址的指针，赋给s1指针，s2同理。然后返回调用系统函数strcmp()比较两个字符串s1、s2的结果。