C++类模版和函数模版

群体类和群体数据的组织

概念

自定义类型的数据有多个基本类型或自定义类型的元素组成， 这称为群体数据。
对于群体数据，按照面向对象的方法将数据与操作封装起来，就是群体类。
群体可以分为线性群体和非线性群体。

函数模板

参数化多态性，所谓参数化多态性就是指程序所处理的对象的类型参数化，使得一段程序可以用于处理多种不同类型的对象。

函数模板定义方法

函数模版在使用的时候直接调用函数就可以了，和普通的函数使用没什么区别。

template<typename T>
T abs(T x){
    return x<0? -x:x;
}

template<typename T>
void outputArray(const T *array, int count){
    for (int i = 0; i < count; ++i) 
        std::cout<<array[i]<<' ';
    std::cout<<std::endl;
}

注意

函数模板本身在编译时不会产生任何代码， 只有生成的实例会产生代码。
如果函数模板被多个源文件引用， 必须连同函数体放到同一个头文件中，不能分开放。
函数指针也必须指向模版的实例，而不能指向模版本身。

类模版

类模版可以为类定义一种模式，让类中的一些数据成员、成员函数、返回值或者局部变量能取到任意类型。
类模版是对不同类公共性质的一种抽象。类模版是比类更高层次的抽象。类模版也称为参数化的类。

类模版的定义

struct student
{
    int id;
    float gpa;
};
// 定义
template<class T>
class Store{
private:
    T item;
    bool havevlue;
public:
    Store();
    T &getElem();
    void putElem(const T &x);
};
// 实现
template<class T>
Store<T>::Store():havevlue(false){}

template<class T>
T &Store<T>::getElem(){
    if (!havevlue){
        cout<<"No item present"<<endl;
        exit(1);
    }
    return item;
}

template<class T>
void Store<T>::putElem(const T &x){
    item = x;
    havevlue = true;
}

使用时

    Store<int> s1, s2;
    s1.putElem(1);
    s2.putElem(2);
    cout<<s1.getElem()<<endl;
    cout<<s2.getElem()<<endl;

注意

类模版定义时与函数模版类似，但是对于其中的每个成员函数的定义还要单独的再加个
template ,然后对于成员函数的定义也要由所改变，在作用域符号与类名中间要加上**<参数表>**