// 定義一個函數模板，返回兩個數的小者

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);

情形

編譯器行為

隱式實例化函數模板

一定將實例代碼鏈接進入可執行程序中，因為函數實例肯定被調用了。

顯式實例化函數模板，但未被應用程序調用

實例代碼不會被鏈接進入可執行程序中。因為未被調用，將其鏈接進入可執行程序中沒有用。

就如同我們定義了一個普通函數，但未被任何其它函數調用，其代碼不會被鏈接進入可執行程序中。

顯式實例化函數模板，且被應用程序調用

一定將實例代碼鏈接進入可執行程序中

實例化類模板，但應用程序未定義相應的對象

實例代碼不會被鏈接進入可執行程序中。因為未定義相應的對象，將其鏈接進入可執行程序中沒有用。

就如同我們定義了一個普通類，但未定義相應的對象，其代碼不會被鏈接進可執行程序中。

實例化類模板，且應用程序定義了相應的對象

一定將實例代碼鏈接進入可執行程序中