童话故事 --- 类模板与函数模板的实例化

// 定义一个函数模板，返回两个数的小者

template     <typename T>

T min(const T     & a, const T & b)

{

  return (a < b) ? a : b;

}

显式(明确)实例化

template int     min <int> (const int & a, const int & b);

编译器遇到显式(明确)实例化语句，立即产生一个相应的函数实例

函数模板显式(明确)实例化的写法

正确写法

尖括号部分是关键，C++ Primer V6书中的如下写法是正确的：

template int     min <int> (const int & a,     const int & b);

错误写法

C++ Primer V5书中的如下写法是错误的：

template int     min (const int & a, const int & b);

函数模板显式(明确)实例化后的调用方法

正确写法

尖括号部分是关键：

int c = min <int> (a, b);

错误写法

没有尖括号部分是错误的

int c = min (a,     b);

取得显式(明确)实例化函数的地址或指针

正确写法

尖括号部分是关键，函数名称就是函数地址。函数实例的名称必须包括类型信息

auto fp = min     <int>; 或者auto fp = &min <int>;

错误写法

没有尖括号部分是错误的

auto fp =     min; 或者auto fp = &min;

函数实例的定义和声明方法

定义写法

template int     min <int> (const int & a,     const int & b);

声明写法

关键字extern 表示声明而非定义

extern     template int min <int> (const int & a, const int     & b);

情形

编译器行为

隐式实例化函数模板

一定将实例代码链接进入可执行程序中，因为函数实例肯定被调用了。

显式实例化函数模板，但未被应用程序调用

实例代码不会被链接进入可执行程序中。因为未被调用，将其链接进入可执行程序中没有用。

就如同我们定义了一个普通函数，但未被任何其它函数调用，其代码不会被链接进入可执行程序中。

显式实例化函数模板，且被应用程序调用

一定将实例代码链接进入可执行程序中

实例化类模板，但应用程序未定义相应的对象

实例代码不会被链接进入可执行程序中。因为未定义相应的对象，将其链接进入可执行程序中没有用。

就如同我们定义了一个普通类，但未定义相应的对象，其代码不会被链接进可执行程序中。

实例化类模板，且应用程序定义了相应的对象

一定将实例代码链接进入可执行程序中