STL 类模板

1. 类模板的声明

• A 和 B可以当做实实在在的类型

1.1 在类模板外实现成员函数

#include <iostream>
using namespace std;

template<class T>
class CMath{
public:
    CMath(T const& t1, T const& t2):m_t1(t1), m_t2(t2){}
    // 声明定义写一起
    // T add(void){
    //         return m_t1 + m_t2;
    // }
    // 声明定义分开写
    T add(void);
private:
    T m_t1;
    T m_t2;
};

// 把成员函数的声明和定义分开写，当需要注意的是：
// 1. 帽子不能丢 
// 2.不能直接用类模板名(因为类模板不是类)，后面要加<>才能用，比如： T CMath<T>::add()
template<class T> T CMath<T>::add(){
    return m_t1 + m_t2;
}

int main(void){
    return 0;
}

2. 类模板的使用

• 第三点，比如在下面的例子中，int类型可以支持成员add函数的+运算符符，如果把int换成别的不支持+运算符的类型（比如指针类型），也是可以实例化类模板的，只要不去把这个类的add函数就行。
• 所有有一种情况，想用某个类模板的某个成员函数的功能，然后用某个类型去示例化类模板，只用考虑这个类型是否满足那个成员函数的里面的语法就行。

#include <iostream>
using namespace std;

template<class T>
class CMath{
public:
    CMath(T const& t1, T const& t2):m_t1(t1), m_t2(t2){}

    T add(void){
            return m_t1 + m_t2;
    }
private:
    T m_t1;
    T m_t2;
};

int main(void){
    // 1. 编译器看到 CMath<int> ，就会根据类模板实例化出一个真正的类，但只有成员变量，没有成员函数
    // 成员函数只有被调用(下面的 m.add()) 后才会被实例化
    /*
    class CMath<int>{
    public:
    private:
        int m_t1;
        int m_t2;
    };
    */
    // 2. 然后用这个类去实例化m1对象, 然后这个类中的构造函数会被实例化
    CMath<int> m1(1, 1);
    // 3. 这个类中的add函数会被实例化
    std::cout << m1.add() << std::endl; // 2
    return 0;
}

3. 类模板的静态成员

#include <iostream>
using namespace std;

template<class T>
class A{
public:
    // 静态成员函数只能访问静态成员
    static void print(){
        cout << "&m_i: " << &m_i << ". &m_t:" << &m_t << endl;
    }
    static int m_i;
    static T m_t;
};

// 静态成员需要在类的外部单独进行定义和初始化
template<class T> int A<T>::m_i;
template<class T> T A<T>::m_t;

int main(void){
	// 每一个又类模板实例化出的对象中都有一份类模板中静态成员变量
	// 且为该实例化类的所有对象共享
    A<int> x, y, z;
    x.print();       // &m_i: 0x601194. &m_t:0x601198
    y.print();       // &m_i: 0x601194. &m_t:0x601198
    z.print();       // &m_i: 0x601194. &m_t:0x601198
    A<int>::print(); // &m_i: 0x601194. &m_t:0x601198
    return 0;
}

4. 类模板的递归实例化

• 对于二维数组，如果把它看成一维数组，那么它的每一个元素又是一个数组

#include <iostream>
using namespace std;

template<class T>
class Array{
public:
    // 操作符重载
    T& operator[](size_t i){
        return m_arr[i];
    }
private:
    T m_arr[10];
};

int main(void){
    // Array<int> a; a 可以看做一个一维数组类，数组中每一个元素就是int类型
    // m 可以看做一个一维数组，数组中每一个元素都是 Array<int> 类型，一个一维数组
    // 所以m是一个二维数组
    Array<Array<int> > m;   // 后面两个< 分开写，避免和<< 歧义
    for (int i=0; i<10; i++){
        for (int j=0; j<10; j++){
            m[i][j] = 1;
        }
    }
    for (int i=0; i<10; i++){
        for (int j=0; j<10; j++){
            cout << m[i][j] << " ";
        }
        cout << endl;
    }    
    return 0;
}

$ ./a.out 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1 
1 1 1 1 1 1 1 1 1 1