【C++】模板详解

模板分类

• 函数模本
• 类模本

函数模板

template<class T>
T Add(T left,T right)
	return left+right;

上述代码只有经过实例化之后才会形成真正的函数，没有进行实例化之前，它只能称为一个函数模板。
模板的实例化
是指函数模板（或者类模板）生成相应的模板函数（或模板类）的过程。函数模板实例化之后会生成一个真正的函数，但是由于类中的成员函数只有被调用的时候才会初始化，所以类模板经过实例化之后，只是对类进行定义。

模板实例化的分类
显示实例化、隐式实例化。

在函数模板中存在两种调用方式，一种是显示调用，一种是隐式调用。显示模板实参调用称为显示调用，隐式模板实参调用的称为隐式调用。类模板没有显示调用与隐式调用之分，因为类模板的调用必须显示指出模板的实参。

显示实例化：
显示实例化也称为外部实例化。在不发生函数调用的时候就已经将函数实例化完成，或者在不适用类模板的时候将类模板实例化称之为模板显示实例化。

//函数模板的显示实例化：
template [函数返回类型] [函数模板名] <实际类型> (参数列表)
//例如：
template int Add<int>(int a,int b)
{	
	return a+b;
}

//类模板的实例化:
template class [类名]<实际类型列表>
template class Add<int>;

隐式实例化：
如果没有匹配的函数时，编译器会调用同名的模板函数，根据实例化的结果来推演实参的类型

//函数模板隐式实例化
template<class T>
T Add(T a,T b)
	return a+b;

Add(1,2);
//译器先对其进行类型推演，发现实参类型为int，接着根据函数模板生成代码
//对模板函数进行实例化为int Add<int>(int a,int b)
Add(1.0,2.0);
//译器先对其进行类型推演，发现实参类型为double，接着根据函数模板生成代码
//对模板函数进行实例化为double Add<double>(double a,double b)

//类模板隐式实例化
template <class T>
class Add
{
public:
	T a;
	T b;
};

Add<int> a; //隐式实例化

偏特化

• 部分类型参数带有默认值

template<class T>
class Date<T,int>
{
	T d1;
	int d2;
}

Date<double,double>  d1; //使用类模板
Date<double,int> d2;	//使用特化模板
Date<char,int> d3;//使用特化模板

• 为了类型限制更加严格

template<class T，class U>
class Date<T*,U*>
{
	T* d1;
	U* d2;
}

只要两个参数都为指针类型，就是用特化版本，不然使用类模板