关于C++ Primer Plus书中讲的:隐式实例化,显示实例化,显示具体化的理解.
对于模板函数,编译器会通过对这个模板含数的引用生成一个含数的实例,这通常叫隐式实例化,例如下面的函数模板
template <class T>
void Swap(T &a,T &b);
而相对于隐式实例化,则可以自己编写显示实例化来说明:
template void Swap<int>(int &,int &);
![](/Images/OutliningIndicators/None.gif)
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);
}
同一个编程单元中是不允许同时出现"显示实例化"与"显示具体化"的,看来这也是编译器无法区分二者的.
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/ExpandedBlockEnd.gif)
对于显示具体化的理解是,为了实现一种不同于模板函数定义的一种实现,上述函数对大多数类型没有问题,但是对char *就不行了, 因为对char *的交换实际上只交换了两个指针,这应该不是我们想要的,于是我们想当参数为char*的时候为它特别指定一种算法,这时显示具体化就有用了:
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/None.gif)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/InBlock.gif)
![](/Images/OutliningIndicators/ExpandedBlockEnd.gif)
![](/Images/OutliningIndicators/None.gif)
同一个编程单元中是不允许同时出现"显示实例化"与"显示具体化"的,看来这也是编译器无法区分二者的.
一点说明:为什么在标题中要嵌入英文?原因是为了能够让国外的网友能查询到这篇文章。平常在Google上查资料的时候,经常参考国外网友的博客,帮助我解决了很多问题,所以我也想让他们能够参考我写的内容。当然文中我不可能全部译为英文,所以我尽量把代码粘全,靠代码说话吧。