C++函数模板的具体化

一、函数模板的具体化

先看看C++98里面有关具体化方法的标注：

• 对于给定的函数名可以有非模板函数，模板函数，显式具体化函数以及它们的重载函数。
• 显示具体化以template<>打头，并通过函数参数来指示类型
• 优先级顺序为，非模板函数>显式具体化函数>模板函数

在函数模板中会有三个常见形式

1. 隐式实例化
2. 显式实例化
3. 显式具体化(特殊化)

1、隐式实例化即常规的模板函数，声明以后它只是生成一个模板并不会生成函数定义。编译器接受一个特定类型为函数生成定义，如下方程序清单中的swap(i,j)

这种和实例化方式存在的缺陷就是效率低下(无法在程序编译阶段就生成函数定义)，因此显式实例化便是为了解决这个问题。

template <typedef Type> 
void Swap(Type,Type)
{
........
........
}
int main()
{
..........;
int i , j ;
swap(i,j) ;
..........;
}

 

2、显式实例化，在编译阶段编译器便可以跟据显式实例化来生成特定类型的函数定义，节省程序执行效率具体声明方法如下所示：

template void Swap<int>(int ,int) ;

3、显式具体化，主要是针对特定类型的定义，在程序执行的过程中有时候需要特殊类型实例化，对原模板函数的程序进行修改，使其执行特定的功能。显式具体化的声明方法如下所示：

template <> 
void Swap<int>(int a,int b) ;