C++模板的特化详解（函数模版特殊，类模版特化）.pdfVIP

C++模板的特化详解（函数模版特殊，类模版特化）

模板特化：就是在实例化模板时，对特定类型的实参进⾏特殊处，即实例化⼀个特殊的实例版本，

当以特化定义时的参使⽤模板时，将调⽤特化版本，模板特化分为全特化和偏特化；

1.函数模板的特化，只能全特化；

//泛型版本

templateclassTintcompare(constTv1,constTv2)

{

if(v1v2)return-1;

if(v2v1)return1;

return0;

}

对于该函数模板，当实参为两个char指针时，⽐较的是指针的⼤⼩，⽽不是指针指向内容的⼤⼩，此时就需要为该函数模板定义⼀个特化版

本，即特殊处的版本：

为实参类型提供特化版本

//constchar*

templateintcompareconstcar*(constcar*constv1,constcar*constv2)

{

returnstrcmp(v1,v2);

}

a:template//空模板参表

b:compareconstchar*//模板名字后指定特化时的模板参即constchar*类型，就是说在以实参类型constchar*调⽤函数时，将

产⽣该模板的特化版本，⽽不是泛型版本,也可以为其他指针类型定义特化版本如int*.

c:(constchar*constv1,constchar*constv2)//可以解为:constchar*constv1,去掉const修饰符，实际类型是：char

v1，也就是v1是⼀个引⽤，⼀个指向char型指针的引⽤，即指针的引⽤，加上const修饰符，v1就是⼀个指向constchar型指针的

const引⽤，对v1的操作就是对指针本⾝的操作，操作⽅式与指针⼀致，⽐v1如,是正确的；//注意这⾥的constchar*,由于参是⼀个指

向指针的const引⽤，所以调⽤特化版本时的实参指针类型(并⾮存储的数据的类型)可以为const也可以为⾮const，但是由于这⾥参指针

指向的数据类型为constchar*(强调存储的数据是const)，所以实参指针所指向的数据类型也必须为const，否则类型不匹配；

//特化版本(int*)

templateintcompareconstint*(constint*constv1,constint*constv2)和是指向整变量的引⽤

//v1v2constconst;

{

if(*v1*v2)return-1;像指针⼀样操作，可以解，就是指针，因为它是指针的引⽤；

//v1v2

if(*v2*v1)return1;

}

2.与其他函数声明⼀样，应该在⼀个头⽂件中包含模板特化的声明，在使⽤特化模板的源⽂件中包含该头⽂件；

注意，函数模板调⽤时的实参与模板参不进⾏常规转换，特化与泛型版本都不进⾏常规转换，类型必须完全⼀致，⾮函数模板在实

参调⽤时进⾏常规转换;普通函数和函数模板调⽤时的实参与模板参都进⾏两种转换：

(1).const转换：接受const引⽤或者const指针的函数，可以分别以⾮const对象的引⽤或者指针来调⽤，⽆需产⽣新实例，如果函

数接受⾮引⽤类型或者⾮指针类型，参类型和实参类型忽略const，⽆论传递const还是⾮const对象给⾮引⽤类型的函数，都使⽤

相同的实例；

(2).数组或函数指针的转换：如果模板参不是引⽤类型，则对数组或函数类型的实参应⽤常规转换，数组转换为指向实参第⼀个元

素的指针，函数实参当做指向函数类型的指针；注意：函数模板中，模板参表中的⾮类型参遵循常规转换原则。

//例⼦:

//16.6.1.h

#includestdio.

#includestring.

#includeios