C++模板的具体化和实例化

  模板类或模板函数并不是真正的类或函数，它们是编译器指令，说明如何生成类或函数，模板的具体实现可以分为实例化（instantiation）和具体化（specialization）

模板实例化

  模板的实例化分为显示实例化和隐式实例化，前者是研发人员明确的告诉模板应该使用什么样的类型去生成具体的类或函数，后者是在编译的过程中由编译器来决定使用什么类型来实例化一个模板

  不管是显示实例化或隐式实例化，最终生成的类或函数完全是按照模板的定义来实现的

模板具体化

  当模板使用某种类型类型实例化后生成的类或函数不能满足需要时，可以考虑对模板进行具体化。具体化时可以修改原模板的定义，当使用该类型时，按照具体化后的定义实现

  具体化相当于对某种类型进行特殊处理

代码实例

#include <iostream>
using namespace std;

// #1 模板定义
template<class T>
struct TemplateStruct
{
    TemplateStruct()
    {
        cout << sizeof(T) << endl;
    }
};

// #2 模板显示实例化
template struct TemplateStruct<int>;

// #3 模板具体化
template<> struct TemplateStruct<double>
{
    TemplateStruct() {
        cout << "--8--" << endl;
    }
};

int main()
{
    TemplateStruct<int> intStruct;
    TemplateStruct<double> doubleStruct;

    // #4 模板隐式实例化
    TemplateStruct<char> llStruct;
}

运行的结果为

4
--8--
1