—-by boluor /5/20
如果要写个函数支持多种数据类型,首先想到的就是C++的模板了,但是有时候只能用C语言,比如在linux内核开发中,为了减少代码量,或者是某面试官的要求…
考虑了一阵子后,就想到了qsort上.qsort的函数原型:
void qsort( void *base, size_t num, size_t width, int (__cdecl *compare )(const void *elem1, const void *elem2 ) );
快排时,只要自己实现相应数据类型的比较函数cmpare就可以了.如果比较int型时,一个典型的compare函数如下:
int cmp(const void *a,const void *b){
return *((int *)a)-*((int *)b);
}
那么,就是说可以利用void *. void *意指未指定类型,也可以理解为任意类型。其他类型的指针可以直接赋值给void
*变量,但是void *变量需要强制类型转换为其它指针类型。这个相信大家都知道。那么下面以一个简单的题目为例,来探讨如何在C语言中实现模板函数。
方法1: 利用void *.
在看下面的源程序之前,需要了解几点。首先,在32位平台上,任何类型的指针所占的字节都是4个字节,因为32位机器虚拟内存一般为4G,即2的
32次方,只要32位即4个字节就可以足够寻址,sizeof(void *)=4;
其次,虽然各种不同类型的指针所占的空间都为4个字节,但是不同类型的指针所指的空间的字节数却不同(这一点尤为重要,下面的程序我在开始没有调通就因为
这点意识不强)。所以,如果你将一个指针强制转换为另一个类型的指针,指针本身所占的字节是不变的,但是,如果对这个指针进行运算,比如
*p,p++,p-=1等一般都是不同的。 再次,函数指针应该了解下,这里不多说。
最后,因为Sandy跟我说,C++开始的时候模板的实现其实就是利用宏替换,在编译的时候确定类型。所以,为了方便,类型也用了预编译指
令#define。
#include "stdio.h"
#include "stdlib.h"
//typedef int T; //或者下面的也可以.
#define T int
int cmp(const void *a,const void *b){
return *((T *)a)-*((T *)b);
}
/*
//这个FindMin是Sandy写的.felix021也写了个,差不多的就不贴出来的.
void FindMin(const void *arr,int arr_size,int arrmembersize,int *index,
int (*cmp)(const void *,const void *b)){
int i;
*index=0;
char *p=(char *)arr;
char *tmp=p;
for (i=1;i
if (cmp(tmp,p)>0){
tmp=p;
}
p+=arrmembersize;
}
(*index)=((int)(tmp-arr))/arrmembersize;
}
*/
int FindMin(const void *arr,int arr_size,int arrmembersize,int (*cmp)(const void *,const void *)){
char *p=(char *)arr;//可以把指针看作是char *,如果转换为int *,那下面的位移就不正确了.
int index=0;
int i;
for (i=1;i
if (cmp(p+index*arrmembersize,p+i*arrmembersize)>0){
index=i;
}
}
return index;
}
int main(){
int arr[]={2,1,1,2,3,4,5,0,2,3,1,3};
//int *result;
int result;//result保存的是最小值索引.
result=FindMin(arr,12,sizeof(arr[0]),cmp);
printf("%d,%d
",result,arr[result]);
system("PAUSE");
return 0;
}
方法2:利用宏。在编译的时候确定类型。查阅资料的时候,很多都说这种方法比较好,方便调试,也很直观,虽然很啰嗦。
#include
#ifndef _INT_
#define _INT_
#endif
int cmp(const void *a,const void *b){
#ifdef _INT_
return (*(int *)a-*(int *)b);
#elif _FLOAT_
return (fabs(*(float *)a-*(float *)b)<1e-6)?-1:1;
#elif _DOUBLE_
return (fabs(*(double *a)-*(double *)b)<1e-9)?-1:1;
#endif
}
#ifdef _INT_
void FindMin(int *arr,int arr_size,int *result,int cmp(const void *a,const void *b))
#elif _FLOAT_
void FindMin(float *arr,int arr_size,float *result,int cmp(const void *a,const void *b))
#elif _DOUBLE_
void FindMin(double *arr,int arr_size,double *result,int cmp(const void *a,const void *b))
#endif
{
int i;
*result=arr[0];
for(i=1;i
if(cmp(&arr[i],result)>0)
*result=arr[i];
}
}
int main(){
int arr1[]={1,2,4,2,1,7};
int result;
FindMin(arr1,6,&result,cmp);
printf("%d
",result);
return 0;
}
方法3:在findmin中,不用强制类型转换为char *,直接利用memcpy内存拷贝过去,这时,还可以在参数列表中保存结果,而不是索引。此方法由CSDN上的ltc_mouse提供。
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
void FindMin(void *arr,int arr_size,int arrmembersize,void * result,
int (*fpCmp)(const void *,const void *b)){
int i;
unsigned char *pSrc = (unsigned char *)arr;
unsigned char *pRes = (unsigned char *)result;
memcpy( (void *)pRes, (const void *)pSrc, arrmembersize );
for (i=1;i
pSrc += arrmembersize;
if ( fpCmp((const void *)pSrc, result)<0 ){
memcpy( (void *)pRes, (const void *)pSrc, arrmembersize );
}
}
}
int cmp_int(const void *a, const void *b)
{
return ( *(int *)a - *(int *)b );
}
int cmp_double(const void *a, const void *b)
{
return ( (fabs(*(double *)a < *(double *)b ))<1e-9) ? -1 : 1; //这个可能要调整下
}
int main()
{
int iArr[]={1,3,5,-1,3,4,7};
double fArr[]={-3.2, 2.3, 7.8, -9.3, 4.7, 10.5};
int iMin;
double fMin;
FindMin( (void *)iArr, sizeof(iArr)/sizeof(iArr[0]), sizeof(iArr[0]), (void *)&iMin, cmp_int );
FindMin( (void *)fArr, sizeof(fArr)/sizeof(fArr[0]), sizeof(fArr[0]), (void *)&fMin, cmp_double);
printf("Min of iArr is %d
", iMin);
printf("Min of fArr is %lf
", fMin);
return 0;
}
后记:
感谢所有帮助解决这个问题了朋友!这问题纠结了我两天,通过这个感觉对指针的理解又多了一点。
CSDN上的hikaliv建议看下va_list,va_args等看下可变参数如何读取,顺便理解了下,其实之前Sandy跟我说过,只
是一直没看,现在看了感觉收获蛮大。Felix021说我的代码风格不好,开始不明白,不过等他和Sandy写出来他们写的FindMin后,就明白了,
我的代码太晦涩了,还是写个自己看的,别人看了看不出大概,真的多注意了。
虽然,在C语言中实现模板不是不可能,但是我还是倾向于用模板,C++我了解的太少了。