模板

定义:
模板是对具有相同特性的函数或类的再抽象,模板是一种参数化的多态性工具。
所谓参数化多态性,是指将程序所处理的对象的类型参数化,使一段程序代码可以用于处理多种不同类型的对象。
优点:
采用模板编程,可以为各种逻辑功能相同而数据类型不同的程序提供一种代码共享的机制。
模板分为:函数模板, 类模板.
模板通过参数实例化可以构建具体的函数或类,称为模板函数和模板类。

因此函数模板与模板函数,类模板与模板类是两个完全不同的概念.

对于同一问题,各函数只是参数类型不一样,其功能在本质上完全相同。若能写一段通用代码,适用于各种数据类型,则代码的可重用性大大提高。
函数模板就是为满足这一需求而产生的。

函数模板的定义:
template <模板形参表>
返回值类型 函数名(参数表){
函数体
}

template是模板定义的关键字。
<模板形参表>中包含一个或多个用逗号分开的模板形式参数,每一项均由关键字class或typename引导一个由用户命名的标识符,此标识符为模板参数(用来进行类型传递).
模板参数表示一种数据类型,可以是基本数据类型或类类型。该数据类型在发生实际函数调用时将被实例化,即用调用处的实际数据类型替代它。

例: 具有求绝对值功能的函数模板的定义:

#include<iostream.h>
template<typename T>       //模板定义,T为模板参数
T abs(T a) {
                     //定义函数模板
	return a<0?-a:a;
}
void main(){
   
int x=-12;
double y=12.5;
cout<<abs(x)<<endl;
cout<<abs(y)<<endl;
}

类模板:
应用类模板可以使类中的数据成员、成员函数的参数及成员函数的返回值能根据模板参数匹配情况取任意数据类型。

类模板中的成员函数的定义:
若放在类模板的定义之中,则与类的成员函数的定义方法相同;若在类模板之外定义,则成员函数的定义格式如下:

template<模板形参表>
返回值类型  类模板名<形参名表>::成员函数名(参数表)
{
   
    成员函数体
}:
template<class T> 
T Rectangle<T>::circumference( )
{
     //类模板的成员函数在类外的定义
	return 2*length*width;
}

类模板实例化的格式如下:
类模板名 <实际类型>
定义模板类的对象的格式如下:
类模板名 <实际类型> 对象名(实参表);

例:

#include <iostream> 
using namespace std;
template <typename T>              //typename或class
class Square   {
                         //类模板定义
T x;     
 public: 
        Square(T xx):x(xx){
   } 
        T fun(){
   return x*x;} 
}; 
int main() {
   
     Square <int>    inta(15); 
     Square <float>    floata(16.5); 
     Square <double>    doublea(15.55);
     cout<<"square of int data:"<<inta.fun()<<endl;
     cout<<"square of float data:"<<floata.fun()<<endl;
     cout<<"square of double data:"<<doublea.fun()<<endl;
      return 0;
}