1. 場景

//第一個版本；可以比較任意兩個類型 template <typename T> int compare (const T &, const T & );//第二個版本處理字符串字面常量 template<size_t N, size_t M> int compare (const char ( & ) [N], const char ( & ) [M] );const char *pl = "hi", *p2 = "mom"; compare (pi, p2 );// 調用第一個模板 compare ("hi", "mom" } ;// 調用有兩個非類型參數的版本

2. 解決

當我們不能（ 或不希望） 使用模板版本時， 可以定義類或函數模板的個特例化版本

• 一個特例化版本就是模板的一個獨立的定義， 在其中一個或多個模板參數被指定為特定的類型
• 當我們特例化一個函數模板時， 必須為原模板中的每個模板參數都提供實參。

// compare 的特殊版本， 處理字符數組的指針 template <> int compare (const char* const &pl, const char* const &p2) {return strcmp (pi, p2); }

當我們定義一個特例化版本時， 函數參數類型必須與一個先前聲明的模板中對應的類型匹配。

template int compare (const T &, const T & );// T 為 const char *

2.1 函數重載與模板特例化

一個特例化版本本質上是一個實例， 而非函數名的一個重載版本。
特例化的本質是實例化一個模板， 而非重栽它 D 因此， 特例化不影響函數匹配

總結

以上是生活随笔為你收集整理的C++ Primer 5th笔记（chap 16 模板和泛型编程）模板特例化的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。