C++泛型编程

泛型编程(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;
}
函数模板也可以声明为inlinetemplate <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>

你可能感兴趣的:(C++泛型编程)