题外话

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

正题

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

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

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

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

看如下调用：

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

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

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

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

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

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

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

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

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

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

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

StrCmp()函数的定义：

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

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