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

原文链接

题外话

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

正题

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

[cpp:nogutter] view plain copy print ?

1. void*lsearch(void*key,void*base,intn,intelemSize,int(*cmpfn)(void*,void*)){
2. for(inti=0;i<n;++i){
3. void*elemAddr=(char*)base+i*elemSize;
4. if(cmpfn(key,elemAddr)==0)
5. returnelemAddr;
6. }
7. returnNULL;
8. }

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

[cpp:nogutter] view plain copy print ?

1. intintCmp(void*elem1,void*elem2){
2. int*ip1=elem1;
3. int*ip2=elem2;
4. return*ip1-*ip2;
5. }

看如下调用：

[cpp:nogutter] view plain copy print ?

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

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

[cpp:nogutter] view plain copy print ?

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

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

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

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

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

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

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

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

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

StrCmp()函数的定义：

[cpp:nogutter] view plain copy print ?

1. intStrCmp(void*vp1,void*vp2){
2. char*s1=*(char**)vp1;//Attention!
3. char*s2=*(char**)vp2;//Attention!
4. returnstrcmp(s1,s2);
5. }

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