template允许定义以数据类型为参数的函数和class
template<class T>
这叫template prefix,它告知compiler它后面的函数定义是一个template并且T是type parameter,这里class的是指数据类型(而不代表类)。当使用template时,只会对每一种使用的数据类型产生对应的函数/class定义
template<class T>
void swap(T &a, T &b) {
T temp;
tmp = a;
a = b;
b = temp;
}
许多compiler不支持template function declaration和separate compilation,所以最安全的方法就是不要使用template function declaration,并且保证在template function被使用的同一个文件中对其进行定义(但是template function的定义可以通过#include实现,当然也有一些compiler不支持这样做)
function template可以有多个type parameter,但是不能出现未被使用的template parameter,也就是说每一个template parameter一旦出现就必须被使用
template<class T1, class T2>
使用class template的语法如下,注意scope resolution operator("::")前要使用Pair<T>而不是Pair
template<class T>
class Pair
{
public:
Pair();
Pair(T first_value, T second_value);
void set(int position, T value);
T getValue(int position);
private:
T value1;
T value2;
};
template<class T>
Pair<T>::Pair(T first_value, T second_value) : value1(first_value), value2(second_value)
{}
template<class T>
void Pair<T>::set_element(int position, T value)
{
if(position == 1)
value1 = value;
else if(position == 2)
value2 = value;
else
{
cout << "invalid input\n";
exit(1);
}
...
Pair<int> score;
Pair<char> seats;
。