泛型编程(Generic Programming)是一种语言机制,通过它可以实现一个标准的容器库。它以独立于任何特定类型的方式编写代码,而模板是泛型编程的基础。
(1)定义函数模板(function template)
函数模板是一个独立于类型的函数,可以产生函数的特定类型版本。
template <typename T>
int compare(const T &v1, const T &v2)
{
if (v1 < v2) return -1;
if (v2 < v1) return 1;
return 0;
}
函数模板也可以声明为inline。
template <typename T>等价于template <class T>)
(2)定义类模板(class template)
在定义的类模板中,使用模板形参作为类型或值的占位符,在使用类时再提供具体的类型或值。
template<typename T>
class ZHB
{
public:
ZHB(T value);
T get();
private:
T a;
};
template<typename T>
ZHB<T>::ZHB(T value)
{
a = value;
}
template<typename T>
T ZHB<T>::get()
{
return a;
}
主函数调用
int main(int argc, char const *argv[])
{
ZHB<int> zhb(3);
int a = zhb.get();
printf("%d\n", a);
return 0;
}
注意:
1. 类名是ZHB<int>,而不是ZHB
2.每个函数定义前都要加template<typename T>
3. 类模板的头文件和实现文件不要分离,新的C++标准已经抛弃这种方式,所以类模板的声明和定义文件应该都放在头文件里。
4. 类模板的类型参数可以有一个或多个,每个类型前面都必须加class,如
template <class T1,class T2>