函數(shù)模板是通用的函數(shù)描述，通過(guò)將類(lèi)型作為參數(shù)傳遞給模板，使編譯器生成可用具體的類(lèi)型的函數(shù)。類(lèi)似于：
template<class Any>
void swap(Any &a, Any &b);
對(duì)于不同類(lèi)型使用同一種算法，可使用模板，有時(shí)需要像重載常規(guī)函數(shù)那樣去重載函數(shù)模板。
void swap(Any &a, Any &b);
void swap(int &a, int &b);
假設(shè)：
struct job
{
char name[10];
int floor;
};
假設(shè)我們希望交換兩個(gè)job結(jié)構(gòu)的內(nèi)容，直接互換job即可，但有時(shí)候我們只想交換name，不交換floor，但函數(shù)的參數(shù)列表是一樣的，無(wú)法使用模板重載來(lái)提提供其他的代碼，此時(shí)需要涉及到具體化函數(shù)的定義，即指定某個(gè)函數(shù)定義，不再匹配模板。
實(shí)例化和具體化
在代碼中包模板本身不會(huì)生成函數(shù)定義，編譯器會(huì)根據(jù)具體參數(shù)類(lèi)型生成模板的具體實(shí)例，這種叫隱式實(shí)例化。如今C++允許顯示實(shí)例化，意味著直接命令編輯器創(chuàng)建特定的實(shí)例，語(yǔ)法是在函數(shù)聲明前加template：
template void swap<int>(int &, int &）；
此外還可以顯示具體化(一下二者等價(jià))
template <> void swap<int>(int &, int &）；
template <> void swap(int &a, int &b);
隱式實(shí)例化，顯示實(shí)例化和具體實(shí)例化統(tǒng)稱(chēng)具體化，都表示使用具體的函數(shù)定義，而不是通用描述。再聲明中使用前綴template和template<>來(lái)區(qū)分顯示實(shí)例化和具體化。顯示具體化必須有自己的定義，實(shí)例化不需要有自己的定義。
警告：試圖在同一個(gè)編程單元中使用同一類(lèi)型的顯示實(shí)例和顯示具體化將出錯(cuò)。
#具體化函數(shù)將覆蓋常規(guī)函數(shù)，而非模板函數(shù)將覆蓋具體化和常規(guī)模板！
編譯器的選擇
編譯器通常會(huì)對(duì)參數(shù)進(jìn)行所需要的轉(zhuǎn)換，選擇是從最佳到最差的順序如下：
- 完全匹配，但常規(guī)函數(shù)優(yōu)于模板。(兩個(gè)完全匹配的模板，較具體的優(yōu)先，顯示具體化優(yōu)于隱式)
- 提升轉(zhuǎn)換(例如：char和shorts轉(zhuǎn)int，floor自動(dòng)轉(zhuǎn)double)
- 標(biāo)準(zhǔn)轉(zhuǎn)換(例如： int轉(zhuǎn)char）
- 用戶(hù)自定義轉(zhuǎn)換
template <class Type> void f(Type T); //#1
template <class Type> void f(Type *T); //#2
struct blot {int a, char b[10];};
blot link = {25, "sport");
f(&link);
f(&link)與#1，#2都匹配，具體參照完全匹配，但是#2更具體，#1還需要將轉(zhuǎn)換為指針，因?yàn)閰?shù)不需要再轉(zhuǎn)換已經(jīng)具體化為指針了。
完全匹配允許的無(wú)關(guān)緊要轉(zhuǎn)換
