C++模板

函数模板

关于如何实现一个Swap函数，由于类型不同，所以需要实现多个函数重载。例如：

void Swap(int& a, int& b)
{
	int tmp = a;
	a = b;
	b = tmp;
}
void Swap(double& a, double& b)
{
	double tmp = a;
	a = b;
	b = tmp;
}
void Swap(char& a, char& b)
{
	double tmp = a;
	a = b;
	b = tmp;
}

显得非常繁琐，那么有没有一种方式能够只写一个函数就能接受所有的参数呢？
有，那就是函数模板。

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。
template<typename T1, typename T2,…,typename Tn>
返回值类型 函数名(参数列表){}

例如上述代码可以转换成：

template<typename T>
void Swap(T& a, T& b)
{
	T tmp = a;
	a = b;
	b = tmp;
}

这样根据我们传入的参数，编译器就会自动生成对应的函数重载。

int main()
{
	int a = 10, b = 5;
	double c = 2., d = 5.;
	Swap(a, b);
	Swap(c, d);
	Swap(a, c);
	return 0;
}

如上，前两个Swap调用都是没有问题的，那么第三个Swap调用就出了问题了。由于a和c类型不同所以T的转换产生了歧义。有以下解决方案：

template<typename T>
void Add(const T& a, const T& b)
{
	return a + b;
}
int main()
{
	int a = 10;
	double b = 5.;
	Add(a, (int)b);
	Add((double)a, b);
	Add<int>(a, b);
	Add<double>(a, b);
	return 0;
}

可以看到，前两个Add调用中我们将a或b强制类型转换了。
后两个Add调用则用<>将T强制识别成了int、double来显式实例化
除了上述方案我们还可以手码一个参数为int和double的Add函数。
模板匹配的机制：

• 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数
• 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板(择优而取)
• 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换（由于T的歧义）

类模板

• 定义

 template<class T1, class T2, ..., class Tn> 
class 类模板名
{
 // 类内成员定义
};    

• 实例化

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。
如：

Vector<int> s1;
 Vector<double> s2;