C++ 隐实例化，显式实例化和显式具体化

代码中的函数模板本身并不会生成函数定义，它只是一个用于生成函数定义的方案。编译器使用模板为特定类型生成函数的定义时，得到的是模板实例。

    template <typename T>

    void Swap<T &a, T &b>

-    隐式实例化（implicit instantiation）

    调用：

        int i,j;

        Swap(i,j);

        当函数调用Swap(i,j)时，导致编译器生成Swap()的一个int类型的一个实例。函数模板并非函数定义，但使用int的模板实例是函数定义。这就是隐式实例化。

-    显式实例化（explicit instantiation）

    template void Swap<int>(int &, int &);

    实现了显式实例化的编译器看到上述声明后，将使用Swap()模板生成一个使用int类型的实例。也就是说该声明的意思是“使用Swap()模板生成int类型的函数定义”

-    显式具体化（explicit specialization）

    template <> Swap<int>(int &, int &);

    或template <> Swap(int &, int &);

    区别在于，这些声明的意思是“不要使用Swap()模板来生成函数的定义，而是使用专门为int类型显式的定义的函数定义。”这些原型必须有自己的函数定义。

    显式具体化声明在关键字 template后面包含<>，而显式实例化没有。