模版初阶.

1.泛型编程

泛型编程：编写与类型无关的通过代码，是代码复用的一种手段。模版是泛型编程的基础。

模版分为函数模版和类模版两种。

2.函数摸板

   2.1函数模版概念

函数模版代表了一个函数家族，该模版与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

   2.2函数模板格式

template<typename T1, typename T2,... ...,typename Tn>

返回值类型 函数名（参数列表）{}

template<typename T>

void Swap(T& left,T& right)

{

  T temp = left；

  left = right；

  right = temp；

}

注意： typename是用来定义模版参数的关键字,也可以使用class。

 2.3函数模板的原理

函数模板是一个蓝图，它不属于函数，是编译器使用方式产生特定具体类型函数的模具。

在编译器编译阶段，对于模版函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供使用。

 2.4函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模版的实例化

实例化可以分为：隐式实例化 和  显式实例化

1.隐式实例化：让编译器根据实参推演模板参数的实际类型

template<class T>

T Add (const T& left, const T& right)

{

     return left + right;

}

int main()

{ 

  int a1 = 10, a2 = 20；

  double d1 = 10.0,d2 = 20.0；

  Add(a1,a2)；

  Add(d1,d2)；

//该语句不能通过编译，因为里面既含int类型又函double类型，这样编译器无法判读T到底是int类型还是double类型

 

此时有两种处理方式：1.用户自己来强制转化 

                                    2.使用显式实例化

自己强制转化如下：

             Add(a,(int)d)

  

2.显式实例化：在函数名后的<>中指定模板参数的实际类型。 

int main(void)

{

    int a = 10；

    double b  = 20.0；

//显式实例化

Add<int>(a,b)；

return 0；

}

2.5 模板参数的匹配原则 

1.一个非模板函数可以和一个同名的函数模版同时存在，而且该函数模板还可以被实例化为这个非函数模版。

2.对于非函数和同名函数模板，如果其他条件相同，在调用时会优先调用非函数而不会从该模版产生出一个实例。

3。函数模板不允许自动类型转化，但普通函数可以进行自动类型转化。

3.类模板

 3.1 类模板的定义格式

template<class T1，class T2, ... ..,class Tn>

class 类模版名

{

     //类内成员定义

}

3.2类模板的实例化 

类模板实例化需要在类模板名字后面跟<>,然后将实例化的类型放在<>中即可，类模板名字不是真正的类，实例化的结果才是真正的类。