1 泛型与模板

在C++中，泛型编程指的是独立于任何特定类型的方式编写代码。模板则是泛型编程的基础。

2 函数模板

2.1 函数模板的定义

模板定义以关键字template开始，后接模板形参表，模板形参表是用尖括号扩住的一个或多个模板形参的列表，形参之间以逗号分隔。

template<typenameT>int compare(const T &v1, const T &v2){//函数实现
}

以上代码中，<typenameT>表示模板形参表，T是模板形参。

2.2 函数模板的调用

使用函数模板时，编译器会推断哪些模板实参绑定到模板形参。

int result = compare(1, 0);

此时，编译器推断出int类型（模板实参）绑定到模板形参T上。

3 类模板

类模板也是模板，因此必须以关键字template开头，后接模板形参表。

3.1 类模板的定义及成员函数的声明

template<class T> class Queue{public:void push(const T &);};

3.2 类模板成员函数的定义

类模板成员函数的定义具有如下形式：

（1）必须以关键字template开头，后接类的模板形参表；

（2）必须指出它是哪个类的成员；

（3）类名必须包含其模板形参

因此，模板类Queue的成员函数push的定义如下

template<class T> voidQueue<T>::push(const T &){}

3.3 类模板的实例化

以下代码分别为int和string类型的对象创建Queue类并调用其push()函数

Queue<int> qi;Queue<string> qs;qi.push(1);qs.push(“1”);