模板类与泛型编程

1. 类模板定义

template <模板形参表>    // <class 类型参数> ，例如 template <class T> 
class 类模板名 {        //类体
    成员列表
}；

类模板外定义成员函数

template <模板形参表> 
返回类型 类名<类型参数表>::函数名(形式参数列表) 
{ 
    函数体 
}

// example
template <class T>
void Person<T>::Get(const T a, const T b) {
    x = a, y = b;
}

extern  表示该变量的定义在其他文件，当然该变量肯定是一个全局变量。在本文件使用时需要加extern说明，将作用域扩展到本文件中。

extern int a;        // a是在其他文件中定义的全局变量

// 不看export时，这是进行实例化类模板对象。
// template表明进行类模板定义，class表明模板类型为T，此处不表示类，切记。
// class A<int> a 实例化，模板类型为int的类对象a。
export template<class T>class A<int> a;    

2 泛型编程

泛型编程定义

• 泛型（generic）是一种允许一个数据取不同类型的技术。
• 与操作对象数据类型独立的算法称为泛型算法，独立于任何特定类型的编程方法称为泛型编程。
• 泛型编程关注于产生通用的软件组件，让组件在不同的场合都能容易地重用。在C++中，类模板和函数模板是进行泛型编程极为有效的机制。

三种重用的编程方法

• 面向过程PO（procedure oriented）
• 面向对象OO（object oriented）
• 泛型编程GP（generic programming），STL（standard template library）是泛型编程思想的实际体现和具体实现。

编写用于不同数据类型的算法，可采用的方法

• 面向过程的方法：对源代码进行复制和修改，生成不同数据类型版本的算法函数，调用时需要对数据类型进行人工的判断。
• 面向对象的方法：在一个类中，编写多个同名函数，它们的算法 一致，但是所处理数据的类型不同，当然函数的参数类型也不同，通过函数重载来自动调用对应数据类型版本的函数。
• 不同于上述两种，如果采用泛型编程，就可以实现源代码级的重用。

3 类模板实例

#include <iostream>
using namespace std;
template <class T> 
class Array 
{    public: 
        // 实例化为int型；arr为指针，其实就是数组。
        Array(int c){arr = new T[c];} 
        // 重载运算符[]
        // 因arr[i]为T类型，因此定义为T类型的引用。
        T& operator[](int i){return arr[i];} 
    private:
        T *arr;    // 定义指针指向数组
}; 
int main() 
{     int i; 
    Array<int> array(5); //定义整形数组array 
    // 因为进行了重载，所以可以cin>>array[i]
    for (i=0; i<5;i++) cin>>array[i]; 
    for (i = 0; i < 5; i++)
        cout <<"array["<<i<<"]:"<<array[i]<<" "; 
    cout<<endl; 
    return 0;
}

---

Tips:

• 类模板在表示数组、向量、列表、队列、栈、矩阵等数据结构时， 显得特别重要，因为这些数据结构的表示和算法的选择不受其所包含的元素的类型的影响。
• 元素的类型可以根据实际选择，不用重复写代码（利用类模板可以建立支持各种数据类型的类）。