C++模板机制总结

模板是C++中非常重要的组成部分，之前自己对这块领域一直不太熟悉。最近趁着有时间学习了一下，特此总结。

首先是函数模板，它的定义方式如例子所示：

template <typename T>T sum(T a,T b)
{
	return a+b;
}

类也有自己的模板，称为类模板，如下所示：

template <typename T>class Proxy
{
public:
	typedef T value_type;
	Proxy();
	~Proxy();
	value_type val;
};

template<typename T> Proxy<T>::Proxy()
{
	val=T(10);
}

template<typename T> Proxy<T>::~Proxy()
{

}

　要特别注意的是，C++中类模板的声明和定义应当放到同一个.h文件下，不能将声明和定义分散在不同的文件中。

类模板也可以有自己的友元函数和静态变量：

template <typename>class Proxy;
template <typename T>bool operator==(const Proxy<T>&,const Proxy<T>&);
template <typename T>class Proxy
{
public:
	typedef T value_type;
	Proxy();
	~Proxy();
	void printval();
	friend bool operator==<T>(const Proxy<T>&,const Proxy<T>&);
	value_type val;
	static T abc;
};
template<typename T> void Proxy<T>::printval()
{
	std::cout<<val<<std::endl;
}
template <typename T> T Proxy<T>::abc=0;

无论是模板类还是普通类，都可以有自己的模板函数，编译器会根据具体代码的内容实例化特定的模板成员函数。

template <typename T>class Proxy
{
public:
	template<typename U>void printNum(U num);
};

template<typename T>template<typename U>void Proxy<T>::printNum(U num)
{
	std::cout<<num<<std::endl;
}

　　当我们引用模板函数的时候，编译器利用调用中的函数实参来确定其模板参数，这叫做模板实参推断。但只有有限的几种类型转换会自动地应用于这些实参（const转换、数组或函数指针转换）。拿一段代码来举个例子：

template <typename T>T sum(T a,T b)
{
	return a+b;
}

sum(10,10.5);//this code is error!

在引用sum的时候，实参一个是int类型，一个是double类型，此时不能像普通函数一样实现类型转换。以上代码在编译器是不通过的。

而如果先将函数显示实例化，则就可以实现参数类型转换了:

sum<int>(10,10.5);

当我们不能（或不希望）将模板定义用于某些特定类型时，模板特例化就派上用场了。模板特例化就是一个用户提供的模板实例，它将一个或多个模板参数绑定到特定类型或值上。比如之前定义的sum函数，可以针对Sale_Data类特例化：

template<>
Sale_Data sum(Sale_Data a,Sale_Data b)
{
    Sale_Data c;
    c.index=a.index+b.index;
    return c;
}       

这样一来，当我们为Sale_Data调用sum时，编译器就会采用上面这个函数；而不再使用通用的模板函数。