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

原文链接

题外话

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

正题

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

[cpp:nogutter]  view plain copy print ?

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

 

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

[cpp:nogutter]  view plain copy print ?

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

 

看如下调用：

[cpp:nogutter]  view plain copy print ?

1. int array[]={1,2,3,4,5,6};  
2. int size=6;  
3. int number=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. int StrCmp(void* vp1,void* vp2){  
2.       char *s1=*(char **)vp1;//Attention!  
3.       char *s2=*(char **)vp2;//Attention!  
4.       return strcmp(s1,s2);  
5. }  

 

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