如何C++使用模板特化功能

前言：

通过定义模板，使得函数或者类不依赖于特定的类型，这样大幅提升了代码的复用性。

然而，不管是类模板还是函数模板，对所有的类型都是采用相同的处理方式（同一份代码）。为此，C++提出了“模板特化的概念”，对特定类型提供模板的改造。

比如，对于函数模板来说，可以通过特化指定特定的类型，针对此特定类型对函数体内容进行重写，使得函数对特定类型实现特定功能。

注意：

按照语法，对函数模板和类模板进行特化后，就变为普通函数和普通的类，而不再是模板。

1、函数模板的特化

对于函数模板来说，其特化语法如下：

template <>
返回类型 已定义的函数模板名<具体类型>(参数表){
    针对特定类型的具体实现;
}

其中“template <>”是特化的固定格式。下面的例子定义了函数模板play()，并对此模板进行特化，特化过程中指定具体类型为“int”：

// 已定义好的函数模板
template <class Q>
void play(Q p) {
    printf("play with Q! \n");
}

// 对以定义好的函数模板play()进行特化
template <> 
void play<int>(int) {
    printf("play with int! \n");
}

2、类模板的特化

类模板进行特化的语法如下：

template <>
class 类模板名<具体类型>{
    类定义;
}

类模板的成员函数在类外实现时，语法如下：

返回类型 类模板名<具体类型>::函数名{
    函数体;
}

下面是对类模板Duck进行特化的代码，特化过程中指定了类型为"int"：

template <class T>
class Duck {
public:
    void run() { printf("T run! \n"); }
};

// 对类模板Duck进行特化
template <>
class Duck<int> {
public:
    void run();
};
// 成员函数在模板类以外实现
void Duck<int>::run() {
    printf("int run! \n");
}

到此这篇关于如何C++使用模板特化功能的文章就介绍到这了,更多相关C++模板特化功能内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！