c++模板类学习

许多C++程序常用像栈、队列、表等的数据结构。(举个例子)一个程序可能需要一个客户的队列(a queue of customers)和一个消息的队列(a queue of messages)。你可以很轻松的实现客户队列然后使用已有的代码来实现消息队列。随着程序的增长，现在又需要一个订单的队列(a queue of orders)。难道只有通过复制、粘贴、查找、替换来把一个消息队列转换成订单队列？需要对队列的实现作些改变啦！这不是一个简单的活，因为很多地方的代码大致相同。重新编码不是明智的方法，因为面向对象编程提倡程序的重用性。这看起来好像是要考虑怎样实现一个队列，不用复制代码就可以实现对任意类型数据的存储。怎么样实现呢？答案就是模板(templates)。

C++模板允许你实现一个带类型参数T的一个通用的队列Queue<T>。T可以被任意的实际类型所代替，如Queue<Customers>，C++会生成类Queue<Customers>。改变队列<Queue>的实现变得相对容易啦。只要模板的参数一改变，就能立即得到相应的类：Queue<Customers>, Queue<Messages>, Queue<Orders>。

若你想要构造一个对任意类型都通用的类如向量(vectors)、栈(stacks)、表(lists)、队列(queues)等，模板就非常有用。模板提供了一种与继承不同的重用代码的方式：重用对象代码。

C++提供两种模板：类模板和函数模板。使用函数模板可以写一个通用的函数，它能使用任意类型的参数。如：可以编写一个能用于任意类型参数的查找和排序函数。标准模板库(The Standard Template)的通用算法通过函数模板来实现的，容器是用类模板来实现的。

1、模板的概念

我们已经学过重载(Overloading)，对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。例如，为求两个数的最大值，我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。

//函数1.

int max(int x,int y)
{  return(x>y)?x:y ; }

//函数2.
float max( float x,float y)

{  return (x>y)? x:y ; }

//函数3.
double max(double x,double y)
{  return (x>y)? x:y ; }

但如果在主函数中，我们分别定义了 char a,b; 那么在执行max(a,b);时 程序就会出错，因为我们没有定义char类型的重载版本。

现在，我们再重新审视上述的max()函数，它们都具有同样的功能，即求两个数的最大值，能否只写一套代码解决这个问题呢？这样就会避免因重载函数定义不 全面而带来的调用错误。为解决上述问题C++引入模板机制，模板定义：模板就是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数，从而实现了真正的代码可重用性。模版可以分为两类，一个是函数模版，另外一个是类模版。

2、 函数模板的写法

函数模板的一般形式如下：

Template <class或者也可以用typename T>

返回类型 函数名（形参表）
{//函数定义体 }

说明： template是一个声明模板的关键字，表示声明一个模板关键字class不能省略，如果类型形参多余一个 ，每个形参前都要加class <类型 形参表>可以包含基本数据类型可以包含类类型。

请看以下程序:

[cpp]  view plain copy

1. #include <iostream>  
2. using std::cout;  
3. using std::endl;  
4. //声明一个函数模版,用来比较输入的两个相同数据类型的参数的大小，class也可以被typename代替，  
5. //T可以被任何字母或者数字代替。  
6. template <class T>  
7. T min(T x,T y)  
8. {  
9.     return(x<y)?x:y;  
10. }  
11. void main( )  
12. {  
13.   
14.      int n1=2,n2=10;  
15.      double d1=1.5,d2=5.6;  
16.      cout<< "较小整数:"<<min(n1,n2)<<endl;  
17.      cout<< "较小实数:"<<min(d1,d2)<<endl;  
18.      system("pause");  
19. }  

程序运行结果：

 

 

 

 

 

 

 

1 、模板类和重载函数一起使用
     两者一起使用时，先考虑重载函数，后考虑模板类，如过再找不到，就考虑类型转换，可能会带来精度的变化。

[cpp]  view plain copy

1. #include "iostream"  
2. using namespace std ;  
3.   
4. //函数模板   
5. template <class T>    
6. const T MAX(T a , T b)  
7. {  
8.     printf("%s\n" , "template") ;  
9.     return (a > b) ? a : b ;       
10.   
11. }  
12.   
13. int MAX(int x , int y)  
14. {  
15.     printf("%s\n" , "int int" );  
16.     return (x > y) ? x : y ;       
17. }   
18.   
19. int MAX(char x , int y)  
20. {  
21.     printf("%s\n" , "char int" );  
22.     return (x > y) ? x : y ;       
23. }   
24.   
25. int MAX(int x , char y)  
26. {  
27.     printf("%s\n" , "int char" );  
28.     return (x > y) ? x : y ;      
29. }   
30.   
31. int main(void)  
32. {    
33.     int a = 3 , b = 5 ;  
34.     char x = 'x' ;   
35.     double c = 3.4  ;  
36.     cout<<MAX(a , b)<<endl ;     //调用重载函数   
37.     cout<<MAX(c , b)<<endl ;     //无对应的重载函数，则调用模板   
38.   
39.     cout<<MAX(a , x)<<endl ;     //重载函数   
40.     cout<<MAX(x , a)<<endl ;     //重载函数   
41.     cout<<MAX(c , a)<<endl ;  
42.     cout<<MAX(a) ;  
43.     system("pause") ;   
44.     return 0 ;     
45. }  

2 、类模板
    (1)类模板的具体格式
        template <class T>
        class A
       {

       }
      在类定义体外定义的成员函数，应该使用函数模板。

[cpp]  view plain copy

1. /* 
2. 类模板，但是在类外定义成员函数的时候，需要使用函数模板 
3. */  
4. #include <iostream>  
5. using namespace std ;  
6. template <class T>  
7. class Base  
8. {  
9. public :      
10.     T a ;  
11.     Base(T b)  
12.     {  
13.         a = b ;      
14.     }     
15.     T getA(){ return a ;} //类内定义   
16.     void setA(T c);  
17. };  
18.   
19. template <class T>   //模板在类外的定义   
20. void  Base<T>::setA(T c)  
21. {  
22.     a = c ;  
23. }  
24.   
25. int main(void)  
26. {  
27.     Base <int>b(4);  
28.     cout<<b.getA()<<endl;   
29.   
30.     Base <double> bc(4);  
31.     bc.setA(4.3);  
32.     cout<<bc.getA()<<endl;   
33.     system("pause");   
34.     return 0 ;      
35. }  

注意成员函数在类外定义的情况。
3 、模板类
  主要指的是 STL 模板类