二级C 模板：模板的定义
文章作者 100test 发表时间 2007:03:10 16:42:48
来源 100Test.Com百考试题网
若一个程序的功能是对某种特定的数据类型进行处理，则将所处理的数据类型说明为参数，就可以把这个程序改写为模板。 C 程序由类和函数组成，所以 C 的模板也分为类模板和函数模板。
1、 函数模板的定义：
•. 函数模板的一般定义形式：
template < 类型形式参数表 > 返回类型 FunctionName( 形式参数表 )
{
// 函数定义体
}
•. 说明：⒈ < 类型形式参数表 > 可以包含基本数据类型，也可以包含类类型。若是类类型，则须加前缀 class 。
⒉这样的函数模板定义不是一个实实在在的函数，编译系统不为其产生任何执行代码。该定义只是对函数的描述，表示它每次能单独处理在类型形式参数表中说明的数据类型。
⒊当编译系统发现有一个函数调用： FunctionName( 实在参数表 ). 将根据实在参数表中的类型，确认是否匹配函数模板中对应的形式参数表，然后生成一个重载函数。该重载函数的定义体和函数模板的函数定义体相同，而形式参数表的类型则以实在参数表的实际类型为依据。该重载函数称为模板函数。
•. 函数模板与模板函数的区别：
函数模板是模板的定义，定义中用到通用类型参数。
模板函数是实实在在的函数定义，它由编译系统在碰见具体的函数调用时所生成，具有程序代码。
例 1 ： #include
template T Max(T&.a,T&.b)
T max(T a,T b)
{
return a>b?a:b.
}
void main()
{
cout<<”Max(3,5) is”<
cout<<”Max(‘ 3 , 5 ) is:<
}
运行结果为： Max(3,5) is 5
Max(‘ 3 , 5 ) is 5
分析：当编译程序发现 Max(3,5) 调用时，它就产生一个如下一个函数定义，生成其程序代码：
int Max(int a,int b)
{
return a>b?a:b.
}
当发现 Max(‘ 3 , 5 ) 调用时，它又产生另一个如下的函数定义，也生成其程序代码：
char Max(char a,char b)
{
return a>b?a:b.
}
这样实参是什么数据类型，返回值也是什么类型，避免了相同操作的重载定义。
另外可以象重载普通函数那样重载模板函数。
例 2 ： #include
#include
template T max(T a,T b)
{
return a>b?a:b.
}
char *max(char *a,char *b)
{
return (strcmp(a,b)?a:b).
}
void main()
{
cout<<”Max(\”hello\”,\”gold\” is “<
}
函数 char *max(char *,char *) 中的名字 max 与函数模板的名字相同，但操作不同，这种情况就是重载模板函数。编译程序在处理这种情况时，首先匹配重载函数，然后再寻求模板的匹配。该程序中， max(“hello”,”gold”) 调用，匹配了非模板函数 char *(char *,char *) 。
2、类模板的定义：
•. 类模板的一般定义形式：
template< 类型形式参数表 > class classname
{
// 类声明体
}
template < 类型形式参数表 > 返回类型 classname< 类型名表 >::MemberFunctionname1( 形式参数表 )
{
// 成员函数定义体
}
template < 类型形式参数表 > 返回类型 classname< 类型名表 >::MemberFunctionname2( 形式参数表 )
{
// 成员函数定义体
}
template < 类型形式参数表 > 返回类型 classname< 类型名表 >::MemberFunctionnamen( 形式参数表 )
{
// 成员函数定义体
}
•. 说明：⒈其中的类型形式参数表与函数模板中的意义一样。后面的成员函数定义中， classname< 类型名表 > 中的类型名表是类型形式参数的使用。
⒉这种类模板的定义其实只是对类的描述，不是具体的类。
⒊建立类模板后，可以通过创建类模板的实例来使用该类模板。
Classname < 类型实在参数表 > object.
•. 类模板与模板类的区别：
类模板是模板的定义，不是一个实在的类， 定义中用到通用类型参数。
模板类是实在的类定义，是类模板的实例化。类定义中参数被实际类型所代替。
例 3 ：定义一个单向链表的模板类，它分别实现增加、删除、寻找和打印操作。
#include
templateclass List
{
public:
List().
Void Add(T&.).
Void Remove(T&.).
T* Find(T&.).
Void printList().
~List().
private:
struct Node{
Node *pNext.
T *pT.
}.
Node *pFirst.
}
template List ::List()
{
pFirst=0.
}
template void List::Add(T&.t)
{
node *temp=new Node.
temp->pT=&.t.
temp->pNext=pFirst.
pFirst=temp.
}