C＋＋ Template学习笔记之函数模板（5）——模板编译模式

一、包含编译模式

在包含编译模式下，我们在每个模板被实例化的文件中包含函数模板的定义，并且往往把定义放在头文件中，象内联函数所做的那样。如：

// model1.h
// 包含模式：模板定义放在头文件中
template <typename Type>
Type min( Type t1, Type t2 ) {
return t1 < t2 ? t1 : t2;
}

在每个使用min()实例的文件中都包含了该头文件，如：

// 在使用模板实例之前包含模板定义
#include "model1.h"
int i, j;
double dobj = min( i, j );

该头文件可以被包含在许多程序文本文件中。这意味着编译器必须在每个调用该实例的文件中实例化min()的整型实例吗？不。该程序必须表现得好像min()的整型实例只被实例化一次。但是，真正的实例化动作发生在何时何地，要取决于具体的编译器实现。

二、分离编译模式

在分离编译模式下，函数模板的声明被放在头文件中。在这种模式下，函数模板声明和定义的组织方式与程序中的非内联函数的声明和定义组织方式相同。如：

// model2.h
// 分离模式：只提供模板声明
template <typename Type> Type min( Type t1, Type t2 );

// model2.c
// 模板定义
export template <typename Type>
Type min( Type t1, Type t2 ) {/* . . . */}

使用函数模板min()实例的程序只需在使用该实例之前包含这个头文件：

// user.c
#include "model2.h"
int i, j;
double d = min( i, j ); // OK: 用法，需要一个实例

我们通过在模板定义中的关键字template之前加上关键字export，来声明一个可导出的函数模板。

三、显式实例化声明

标准C++提供了显式实例化声明来帮助程序员控制模板实例化发生的时间。在显式实例化声明中，关键字template后面是函数模板实例的声明，其中显式地指定了模板实参。下例中提供了sum(int* , int)的显式实例化声明：

template <typename Type>
Type sum( Type op1, int op2 ) {/* . . . */} // 函数模板sum的定义必须给出
// 显式实例化声明
template int* sum< int* >( int*, int );

该显式实例化声明要求用模板实参int*实例化模板sum()。对于给定的函数模板实例，显式实例化声明在一个程序中只能出现一次。