第三章 类模板

3.1类模板Stack的实现

1.class和typename的区别：

①在声明模板参数时，两者是没有区别的；

②在处理nested dependent type name 时，需要使用typename显示的指明其后的是一个类型，否则会认为是类的一个成员变量；

template <typename T>

class Stack

{

......

};

这个类的类型是Stack<T>;

在定义成员函数时，要指定成员函数是一个函数模板；

使用类模板对象时，需要显示地指定模板实参；

对于类模板，成员函数只有在被使用的时候才会被实例化；

3.3 类模板的特化

特化一个类模板时，要特化该类模板的所有成员函数；

特化类模板时，必须在起始处声明一个template<>，接下来声明用来特化类模板的类型；

进行类模板特化时，每个成员函数都必须重新定义为普通函数，原来模板函数中的每个T也相应的被进行特化的类型取代；

3.4 局部特化

仅类模板支持局部特化，函数模板是不支持局部特化的，函数模板支持全特化；

#include<iostream>

using namespace std;

template<typename T1, typename T2>
const T2& max(T1 const& a, T2 const& b)
{
	cout<<"Normal one"<<endl;
	return (a>b?a:b);
}

/* 函数模板重载 */
template<typename T>
const T& max(T const& a, T const& b)
{
	cout<<"Specialization 1"<<endl;
	return (a>b?a:b);
}

/* 函数模板全特化 */
template<>
const double& max<int, double>(int const &a, double const& b)
{
	cout<<"Specialization 2"<<endl;
	return (a>b?a:b);
}
int main()
{
	cout<<::max(4,5)<<endl;
	cout<<::max(4,5.1)<<endl;
	cout<<::max(4.1,5)<<endl;
}

另外，类模板还支持使用缺省模板实参，函数模板不支持；类模板参数可以引用它们之前的模板参数，函数模板不允许；

template<typename T1, typename T2 = T1>
class Base
{
public:
	void display()
	{
		cout<<typeid(Base<T1, T2>).name()<<endl;
	}
};
int main()
{
	Base<int> b;
	b.display();
	Base<int, double> d;
	d.display();
}