再悟－模板

在c++中有两种模板：类模板 和 函数模板类模板

• 类模板

举例

<span style="font-size:18px;">template <typename T1, typename T2>
class pair {
public:
    T1 first;
    T2 second;
    pair() : first( T1() ), second( T2() ) { }
    pair(const T1& x, const T2& y) : first(x), second(y) { }
};

pair<bool, bool> pair1(true, true);
pair<pair<bool, bool>, bool> pair2(pair1, true);</span>

说明：

在其他类的定义中，需要pair类的对象时，会用到这一默认构造函数。

已经定义了一个构造函数，这时c++语法规定必须手工对默认构造函数进行明确定义;

 

• 函数模板

类模板和函数模板的一个重要区别就是，使用时编译器可以从参数的类型直接判断出来;

举例：

<span style="font-size:18px;">template <typename T>
const T&  max00(const T& x, const T& y) {
    if (x < y) {
        return y;
    }
    else
        return  x;
}
</span>

• 成员函数模板:

不管类是否用模板定义，其成员函数都可以有模板参数；

模板参数的明确声明：

默认模板参数

• 模板的代码膨胀问题：

使用过多不同模板的实例，则过多的副本将可执行文件变得很大，由于 STL的类模板和函数具有高度的通用性，使得“代码膨胀”问题尤为突出；

• 完整示例代码

<span style="font-size:18px;">#include <iostream>
using namespace std;
#include <vector>

vector<char> v;

/*类模板*/
template <typename T1, typename T2>
class pair00 {
public:
    T1 first;
    T2 second;
    pair00() : first( T1() ), second( T2() ) { }
    pair00(const T1& x, const T2& y) : first(x), second(y) { }
};

/*函数模板*/
template <typename T>
const T&  max00(const T& x, const T& y) {
    if (x < y) {
        return y;
    }
    else
        return  x;
}

/*定义运算符*/
bool operator < (const pair00<double, long>& x,
                 const pair00<double, long>& y)
{
    return x.first < y.first;
}

int main(void)
{
        pair00<bool, bool> pair1(true, true);
    pair00<pair00<bool, bool>, bool> pair2(pair1, true);
    
    pair00<double, long> pair3(3.1415, 999);
    max00(pair3, pair3);
}</span>