对于模板函数,编译器会通过对这个模板含数的引用生成一个含数的实例,这通常叫隐式实例化,例如下面的函数模板
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.template <class T>
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.
void Swap(T &a,T &b);
而相对于隐式实例化,则可以自己编写显示实例化来说明:
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.template void Swap<int>(int &,int &);
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.
void Swap<int>(int &,int &)
}
这个只是为了防止代码膨胀.

对于显示具体化的理解是,为了实现一种不同于模板函数定义的一种实现,上述函数对大多数类型没有问题,但是对char   *就不行了,   因为对char   *的交换实际上只交换了两个指针,这应该不是我们想要的,于是我们想当参数为char*的时候为它特别指定一种算法,这时显示具体化就有用了:  
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.  template<>   
关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.  swap(
char   *   &x,   char   *   &y)   

同一个编程单元中是不允许同时出现"显示实例化"与"显示具体化"的,看来这也是编译器无法区分二者的.

相关文章: