名詞解釋 靜多型
靜多型（static polymorphism）是多型性的一種，繫結發生在編譯期（compile-time）（稱為靜態繫結static-binding）。
非引數化多型和引數化多型並不衝突，而且相輔相成，它們混合使用能夠帶來更大的靈活性，函式模板
過載就是很好的例子。
#include#includeusing namespace std;
templatebool compare(const t a, const t b)
template//過載
bool compare(const t a, const e b)
template<> //特例化
函式模板用來例項化函式，在編譯期根據模板函式使用處的引數自動生成乙份該函式的**，函式的入口位址就是生成函式**的入口位址。
對於函式過載過載，c++中不允許只有函式型別（返回值）不同的過載：
值得注意的是，對於char *型別，與const結合時會產生二義性，需要記住一條規律：const修飾的是左邊或右邊第乙個完整型別。
bool compare(const t a, const t b) //一般模板
bool compare(char *const a, char *const b) //特例化模板
是否覺得const 位置有些奇怪，最初可能會有這種貌似很正確的想法。對模板進行特例化，將所有出現t的位置都換成char *不就好了嘛？試想一下，換掉之後變成什麼了？
bool compare(const char * a, const char * b)//錯誤示例
對於非特例化模板，const修飾的型別是t，那麼當明確t是char *時，其意義是不是指向的內容不能改變而不是指向不能改變？對，沒錯，就是這樣，這一點很值得注意。 模板類，模板類函式特例化，模板類特例化
今天在看某c 框架原始碼時，發現模板類裡的部分函式可以特例化，感覺很神奇便嘗試了下，發現很多平時不會注意的c 細節及知識，寫下來分享給大家，以便大家遇到相似問題時可以少踩點坑。模板類會出現鏈結問題，編譯不通過 如果模板類.h檔案和.cpp檔案分開存放，然後編譯的時候會提示鏈結錯誤，無法生產exe檔案...
C 模板，模板具體化，特例化
函式同名 過載 時，呼叫優先順序通常為 普通函式 顯式具體化 template specilazation 顯式例項化 一般模版函式 但更一般而言，有兩條規則 1 如果各自函式形參和呼叫處的實參 並非精確匹配，則會優先選擇不需要轉換的 比如void func string str template ...
模板 引數推導與特例化
對於函式模板，編譯器利用呼叫中的函式實參來確定其模板引數。從函式實參來確定模板實參的過程被稱為模板實參推斷 template argument deduction 在模板實參推斷過程中，編譯器使用函式呼叫中的實參型別來尋找模板實參，用這些模板實參生成的函式版本與給定的函式呼叫最為匹配。與非模板函式一...