一、什麼是例項化和具體化？
為進一步了解模板，必須理解術語例項化和具體化。
（1）、例項化：在程式中的函式模板本身並不會生成函式定義，它只是乙個用於生成函式定義的方案。編譯器使用模板為特定型別生成函式定義時，得到的是模板例項。這即是函式模板的例項化。
而函式模板例項化又分為兩種型別：隱式例項化和
顯式例項化
例如：
template < typename t >
void swap( t &a, t &b )
int main(void)
第乙個swap(a, b)導致編譯器自動識別引數型別生成乙個例項，該例項使用int型別，此為隱式例項化。
而第二個swap(a, b)，直接命令編譯器建立特定的int型別的函式例項，用<>符號指示型別，此為顯式例項化。
（2）、具體化：即顯式具體化，與例項化不同的是，它也是乙個模板定義，但它是對特定型別的模板定義。顯式具體化使用下面兩個等價的宣告之一：
template <> void swap(int &, int &);template <> void swap(int &, int &);在這裡，有人可能要說了：」明明可以通過隱式例項化自動生成int型別的函式定義，為何還要弄出乙個顯式具體化來弄出另外乙個模板呢？這不是多此一舉嗎？」
我要解釋一下，顯式具體化的主要用途！而在介紹用途之前，我們先來了解一下普通函式模板的侷限性。
二、模板的侷限性
假設有如下模板函式：
template void fun(t a, t b)
a = b;同樣，下面的語句假設定義了<
if ( a > b )另外，為陣列名定義了運算子 > ，但由於陣列名是常量位址，因此它比較的是陣列的位址，而這並不是我們所期望的操作。下面的語句假定為型別t定義了乘法運算子，但如果t為陣列、指標或結構，這種假設便不成立：
t c = a * b;但是，還有另外一種解決方案：為特定型別提供具體化的模板定義（這就是顯式具體化的主要用途）。
三、顯式具體化
假定定義了如下結構：
struct job
temp = a;
a = b;
b = temp;
上面已經介紹過顯式具體化的宣告方式，我們直接通過**例項來看一下：
#include using namespace std;
//job結構
struct job
;//普通交換模板
template void swap(t &a, t &b)
//job型別的顯式具體化模板
template <> void swap(job &j1, job &j2)
int main(void)
; job lisi = ;
cout << "inta = " << inta << " inta = " << intb << endl;
cout << zhangsan.name << " , " << zhangsan.salary << " , " << zhangsan.floor <
執行截圖：
在程式執行時匹配模板時，遵循的優先順序是：
具體化模板優先於常規模板，而非模板函式優先於具體化和常規模板。
函式模板的隱式例項化和顯式例項化
一.隱式例項化 1 include 2 include 3 using namespace std 4 5 template 6 bool compare t a,t b 7 13 14 int main 15 以上 compare 100,220 compare 120,99 compare 99...
C 模版 顯式例項化 顯式具體化 隱式例項化
helloword的部落格 函式模板是c 新增的一種性質，它允許只定義一次函式的實現，即可使用不同型別的引數來呼叫該函式。這樣做可以減小 的書寫的複雜度，同時也便於修改 注 使用模板函式並不會減少最終可執行程式的大小，因為在呼叫模板函式時，編譯器都根據呼叫時的引數型別進行了相應例項化 下面來看看函式...
C 模版 顯式例項化 顯式具體化 隱式例項化
helloword的部落格 函式模板是c 新增的一種性質，它允許只定義一次函式的實現，即可使用不同型別的引數來呼叫該函式。這樣做可以減小 的書寫的複雜度，同時也便於修改 注 使用模板函式並不會減少最終可執行程式的大小，因為在呼叫模板函式時，編譯器都根據呼叫時的引數型別進行了相應例項化 下面來看看函式...