c++ template(一)

函数模板提供了一种函数行为，该函数行为可以表示成多种类型进行调用，也就是说函数模板表时一个函数家族。

那函数模板要怎么写呢？

template<typename T>
T max(const T& t1, const T& t2) {
	return t1 > t2 ? t1 : t2;
}

函数模板有两种类型的参数：

模板参数：

template<typename T>

调用参数：

T max(const T& t1, const T& t2) {
	return t1 > t2 ? t1 : t2;
}

这是我们就会想普通的函数是可以重载的，那模板函数可以重载吗？

template<typename T>
T max(const T& t1, const T& t2) {
	return t1 > t2 ? t1 : t2;
}

int max(const int& t1, const int& t2) {
	return t1 > t2 ? t1 : t2;
}

这是有人会发出疑问？但我们实例化这个函数模板时，如果与非模板函数完全相同，那会不会产生二义性呢？，解决这个问题之前让我们先看看函数模板怎么实例化？

int main(void)
{
	int t1 = 1, t2 = 2;

	max<int>(t1, t2);

	max(t1, t2);
}

函数模板的实例化一般存在两种，只有使用第二种函数模板实例化时才会出现我们刚刚说的那种问题。好了，现在让我们说一下原因吧。

对于非模板函数和同名的模板函数，实例化后的模板函数如果与非模板函数完全相同，那么在调用的时候，编译器会默认为你调用的时非类型的。为什么呢？我是这样理解的：函数模板的实例化是需要花费时间和空间的，编译器肯定会选择时间与空间开支较少的。

 

其实函数模板也可以进行特化的，很惊讶吧！！

template<>
int max<int>(const int& t1, const int& t2) {
	return t1 > t2 ? t1 : t2;
}

还可以偏特化哦！

template<typename T,typename U>
T max(const T& t1, const T& t2) {
	return t1 > t2 ? t1 : t2;
}
template<typename T>
int max<T,int>(const int& t1, const int& t2) {
	return t1 > t2 ? t1 : t2;
}
template<typename T,typename U>
int max<T*, U*>(const T& t1, const U& t2) {
	return t1 > t2 ? t1 : t2;
}