C 的函数和模板函数

文章作者 100test 发表时间 2008:01:25 14:35:47
来源 100Test.Com百考试题网

　　在c 没有模板（template）机制的时候，我们使用的就是普通的函数，我们要实现一个加法函数，他能够对两个参数求和，并根据参数的类型返回具有适当类型的值，就必须手工书写所有的代码：
short sum(short a,short b) {return a b.}

int sum(int a,int b){return a b.}

float sum(float a,float b){ return a b.}

……

非常麻烦，可以用c 的模板函数来表达“通用型的函数”

template

T sum(T a,T b)

{

return a b.

}

保存为sumtest.h

现在，c 编译器可以根据我们调用sum函数的参数类型“现场”生成一个适当的函数，然后调用它。例如：

#include

#include “sumtest.h”

using namespace std.

int main(void)

{

float fa=1,fb=3,fs.

fs=sum(fa,fb).

cout<<”sum(float,float) 1and 3=”<
}

[root@localhost html]# g -o sumtest sumtest.cpp

[root@localhost html]# ./sumtest

sum(float,float) 1 and 3=4

看上面的代码，c 编译器为我们生成一个“float版本”的sum函数并调用它。如果我们给出的参数类型不一样，则编译器会报错。例如

#include

#include "sumtest.h"

using namespace std.

int main(void)

{

float fa=1,fs.

int Ib=3.

fs=sum(fa,Ib).

cout<<"sum(float,Int) 1 and 3="<
return 0.

}

[root@localhost html]# g -o sumtest sumtest.cpp

sumtest.cpp: In function `int main ()’:

sumtest.cpp:10: no matching function for call to `sum (float &., int

&.)’

由于函数模板并不支持两个不同类型的参数求和，所以C 编译器会报告无法生成真正的函数，从而让程序员有机会知道调用参数除了问题。

如果不是用模板函数而用普通函数，即使参数类型不完全一致也可能会通过编译。例如

#include

using namespace std.

float sum(float a,float b)

{

return a b.

}

int main(void)

{

float fa=1,fs.

int Ib=3.

fs=sum(fa,Ib).

cout<<"sum(float,Int) 1 and 3="<
return 0.

}

[root@localhost html]# g -o sumtest sumtest.cpp

[root@localhost html]# ./sumtest1

sum(float,Int) 1 and 3=4

因为c 中，int类型可以自动转换成float类型，于是这种情况下不会报错。

函数模板不是真正的函数，它只是c 编译器生成具体函数的一个模子。所以不能把函数模板的声明和定义分开放在不同的文件中，而普通的函数可以这样做。

C 函数还有一个问题就是和c的函数的区别。最近在www.chinaunix.net C/C 论坛上出现了几个关于c语言写的代码，c编译器可以通过编译，采用c 编译器就不行了。就是这个问题。