首先，類模板必須被顯式特化。當然了，可以通過乙個輔助函式，通過引數型別，返回特化的類模板，來間接處理。
這個技術被廣泛應用在ptr_fun, make_pair, mem_fun, back_inserter等輔助函式裡面，來完成那些易於出錯的類模板特化任務。
跟函式實參推導（根據實參所在的名字空間，推導出用哪個函式）一樣，
模板實參推導，可以根據實際傳入的引數型別，推導出模板裡面用到的型別。
但是注意，如果引數型別不一樣（需要隱式轉換），那麼模板引數推導不出，需要顯式指定。
另外，對於返回結果的引數，需要顯式指定。因為跟過載一樣，編譯器在推導階段，對返回型別是不做檢查的。
另外，xx_cast不是通過模板實現的，是通過操作符過載實現的。
模板實參推斷
定義 從函式實參確定模板實參的型別和值的過程叫做模板實參推斷 c primer 4th 舉例 template 模板型別形參 int compare const glorp v1,const glorp v2 函式形參 模板實參推斷的規則 1 如果某個函式的多個形參的型別是同乙個模板型別形參，推斷出...
C Templates 模板實參演繹
演繹的過程 描述實參 引數對匹配情況 匹配型別a 來自實參的型別 引數化型別p 來自引數的宣告 如果實參的是陣列或函式型別，那麼會發生decay轉型，轉化為對應的指標型別，同時還會忽略高層次的const和volatile限定符。template void f t p就是t template void...
非型別引數的模板實參
類模板引數也可以是乙個非型別模板引數。例如 templateclass screen private string screen string size type cursor short height short width typedef screen 24,80 termscreen term...