第16章 模板与泛型编程(14)

16.6 模板特化

16.6.1 函数模板的特化

模板特化(template specialization)是这样的一个定义，该定义中一个或多个模板形参的实际类型或实际值是指定的。特化的形式如下：

关键字template后面接一对空的尖括号(<>);

再接模板名和一对尖括号，尖括号中指定这个特化定义的模板形参;

函数形参表;

函数体

template
class Foo{
public:
static T count(){return ctr;}
private:
static T ctr;
};

template
T Foo::ctr;

template<>
class Foo{
public:
static double count(){return ctr+1;}
private:
static double ctr;
};

double Foo::ctr;
template
class Foo{
public:
static T count(){return ctr;}
private:
static T ctr;
};

template
T Foo::ctr;

template<>
class Foo{
public:
static double count(){return ctr+1;}
private:
static double ctr;
};

double Foo::ctr;Foo f1=Foo();
cout< Foo f2=Foo();
cout< Foo f1=Foo();
cout< Foo f2=Foo();
cout<

与任意函数一样，函数模板特化可以声明而无须定义。模板特化声明看起来与定义很像，但省略了函数体。

template<>
class Foo;
template<>
class Foo;模板特化必须总是包含空模板形参说明符，即template<>，而且，还必须包含函数形参表。如果可以从函数形参表推断模板实参，则不必显式指定模板实参。

2. 函数重载与模板特化

在模板特化版本的调用中，实参类型必须与特化版本函数的形参类型完全匹配。

3. 不是总能检测到重复定义

如果程序由多个文件构成，模板特化的声明必须在使用该特化的每个文件中出现。

与其他函数声明一样，应在一个头文件中包含模板特化的声明，然后使用该特化的每个源文件包含该头文件。

4. 普通作用域规则适用于特化

对具有同一模板实参集的同一模板，程序不能既有显式特化又有实例化。

特化出现在对该模板实例的调用之后是错误的。

摘自 xufei96的专栏