对于模板函数,编译器会通过对这个模板含数的引用生成一个含数的实例,这通常叫隐式实例化,例如下面的函数模板
template
<
class
T
>
void
Swap(T
&
a,T
&
b);
而相对于隐式实例化,则可以自己编写显示实例化来说明:
template
void
Swap
<
int
>
(
int
&
,
int
&
);
![](/Images/OutliningIndicators/None.gif)
void
Swap
<
int
>
(
int
&
,
int
&
)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
//实现显示具体化的代码
}
这个只是为了防止代码膨胀.
对于显示具体化的理解是,为了实现一种不同于模板函数定义的一种实现,上述函数对大多数类型没有问题,但是对char *就不行了, 因为对char *的交换实际上只交换了两个指针,这应该不是我们想要的,于是我们想当参数为char*的时候为它特别指定一种算法,这时显示具体化就有用了:
template
<>
swap(
char
*
&
x,
char
*
&
y)
![](/Images/OutliningIndicators/ExpandedBlockStart.gif)
{
char temp[1000]; //简化了
strcpy(temp, x);
strcpy(x, y);
strcpy(y, temp);
}
同一个编程单元中是不允许同时出现"显示实例化"与"显示具体化"的,看来这也是编译器无法区分二者的.