C++函数模板的显式具体化
1.函数模板的局限性
在C++中,我们可以使用函数模板来增加代码的复用性,但是并不是所有的类型都可以调用函数函数模板来处理,如数组和结构体数据类型。这就是函数模板的局限性。
struct job{
char name[10];
double salary;
int floor;
}
//交换两个这种结构的内容,原来的模板使用以下代码进行交换:
temp=a;
a=b;
b=temp;
由于C++允许将一个结构赋给另一个结构,因此即使T是job结构,上述代码也适用。假设我们只想要交换salary和floor成员,而不交换name成员,则需要使用不同的代码,但Swap()的参数将保持不变,因此无法使用模板重载来提供其他的代码。
我们可以提供一个具体化函数定义——显式具体化,其中包括所需代码,当编译器找到与函数调用匹配的具体化定义时,将使用该定义,不再寻找模板。
2.显式具体化
C++标准的定义形式:
1.对于给定的函数名,可以有非模板函数,模板函数和显式具体化模板函数以及他们的重载版本。
2.显式具体化的原型和定义应以template<>打头,并通过名称来指出类型。
2.具体化优先于常规模板,而非模板函数优先于具体化和常规模板。
下面是用于交换job结构的非模板函数、模板函数和具体化的原型:
//非模板函数
void swap(job &a,job &b);
//模板函数
template<typename T>
void swap(T &,T &)
<