模板的简单了解

1. 模板概述 

模板用来解决功能相同只是需要操作的数据类型不同的问题。模板是另一种代码重用机制。

2. 函数模板 

模板使得我们可以生成通用的函数，这些函数能够接受任意数据类型的参数，可返回任意类型的值，而不需要对所有可能的数据类型进行函数重载。

原型：

template <class identifier>function_declaration;

template <typename identifier>function_declaration;

class和typename的作用完全相同。

格式：

//T代表一种类型

//也可以用class来代替typename

template <typename T1, typename T2,…, typename Tn>

返回类型 函数名(参数列表)

{

    // 函数体

}

3. 函数模板的原理 

函数模板本身并不是函数，是编译器用使用方式产生特定具体类型 函数的模具。所以其实模板就是将本来应该让程序员做的重复的事 情交给了编译器。

在编译器编译阶段，对于函数模板的使用，编译器需要根据传入的 实参类型来推演生成对应类型的函数以供调用，彼此的地址也是不 同的。比如，当用int类型使用函数模板时，编译器通过对实参类 型的推演，将T确定为int类型，然后产生一份专门处理int类型的代 码，对于double类型也是如此。

4. 函数模板的实例化 

用不同类型的参数使用模板时，称为模板的实例化。

模板实例化分为 隐式实例化和显示实例化。
        隐式实例化：让编译器根据实参推演模板参数的实际类型

5. 类模板 

定义格式：

template <class T1, class T2,…, class Tn>

class 类模板名

{

    // 类内成员声明

};

template <class T>
class Pair
{
    T values[2];

public:
    Pair(T first, T second)
    {
        values[0] = first;
        values[1] = second;
    }
};

6. 类模板实例化 

类模板实例化需要在类模板名字后面根<>，然后将实例化的类型放 在<>中。

比如：

Pari<int> myInt(1, 2);

Pari<double> myFloat(1.1, 2.2)

#include <iostream>
using namespace std;
template <class T>
class Test
{
    // 普通类：类名就是类型;
    // 类模板: 类名不是类型，类型是Test<T>
public:
    Test() {}
    // 类里面声明，类外面定义
    void setData(const T &x);
    void showDate();

private:
    T num;
};
template <class T>
void Test<T>::setData(const T &x)
{
    num = x;
}
template <class T>
void Test<T>::showDate()
{
    cout << num << endl;
}
int main()
{
    Test<int> t1;
    t1.setData(100);
    t1.showDate();
    return 0;
}

 

7. 模板别名

用来重新定义复杂的名字。不管是模板还是非模板都需要类型别 名，可以使用typedef为模板具体化指定别名。

typedef Test<int> t;

//t就是Test<int>的别名

 C++11新增了一项功能——使用模板提供一系列别名（模板别名），例如：

template <class T>

using t = Test<T>;