对于模板函数,编译器会通过对这个模板含数的引用生成一个含数的实例,这通常叫隐式实例化,例如下面的函数模板
template <class T>
void Swap(T &a,T &b);
而相对于隐式实例化,则可以自己编写显示实例化来说明:
template void Swap<int>(int &,int &);

void Swap<int>(int &,int &)
}
这个只是为了防止代码膨胀.
对于显示具体化的理解是,为了实现一种不同于模板函数定义的一种实现,上述函数对大多数类型没有问题,但是对char *就不行了, 因为对char *的交换实际上只交换了两个指针,这应该不是我们想要的,于是我们想当参数为char*的时候为它特别指定一种算法,这时显示具体化就有用了:
template<>
swap(char * &x, char * &y)
同一个编程单元中是不允许同时出现"显示实例化"与"显示具体化"的,看来这也是编译器无法区分二者的.
相关文章: