对于模板函数,编译器会通过对这个模板含数的引用生成一个含数的实例,这通常叫隐式实例化,例如下面的函数模板
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)

{
char temp[1000]; //简化了
strcpy(temp, x);
strcpy(x, y);
strcpy(y, temp);
}
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) 
{
char temp[1000]; //简化了
strcpy(temp, x);
strcpy(x, y);
strcpy(y, temp);
} 
本文介绍了C++中模板函数的隐式实例化与显示实例化概念,并通过一个具体的Swap函数模板展示了如何针对特定类型进行显示具体化的实现。
2737

被折叠的 条评论
为什么被折叠?



