①首先，实例化从字面上来看就是产生一个实际的事物。在函数模板中就是产生一个特定的函数定义，例如有一个swap函数:
template<typename T>
void swap(T& a,T& b) {…}
使用模板，并不意味着我们生成了一系列的函数定义，而是一种方案，当我们传递类型进入的时候才生成出对应的swap函数定义，比如现在swap<int>(a,b) 实际上就是产生了void swap(int a,int b);这样的一个函数定义，这被称之为隐式实例化，即在编译的时候提供类型创建一个对应的函数定义。
在以前C++只支持隐式实例化，但现在增加了显式实例化，也就是说可以显式的定义出类型，并对之实现对应的函数定义。显式实例化的语法是声明所需的种类，用<>符号指示类型，并在声明前加上关键词template，例如：
template void swap<int>(int,int);
当编译器看到这行声明后，将使用swap模板生成一个使用int类型的实例。也就是说，该声明的意思是使用swap模板生成int类型的函数定义。
②其次是，显式具体化，同样是int类型，显式具体化可以有这样两种写法：
template <> void swap<int>(int&,int&);
template <> void sawp(int&,int&);
*在同一个文件中使用同一种类型的显式实例化和显式具体化将爆炸
然而，显式具体化是阻止使用模板方案来生成对应的函数定义，并且使用专门为int类型显式地定义的函数定义，简单来说就是为int类型专门写了一个对应的版本。