1. 編寫類型無關的代碼

泛型代碼的兩個重要原則:

• 模板中的函數參數是const的引用。
• 函數體中的條件判斷僅使用<比較運算。

大多數類型，包括內置類型和我們已經用過的標準庫類型(除unique_ ptr和I0類型之外),都是允許拷貝的。但是，不允許拷貝的類類型也是存在的。通過將參數設定為const的引用，保證了這些類型可以用我們的compare函數來處理。

1.1 同時支持<運算符和>運算符

//期望的比較操作 if (v1 < v2) return -1; if (v1 > v2) return 1; return 0;

1.2 只支持< ，則是類型無關和可移植性

用less 來定義我們的函數:

//即使用于指針也正確的compare版本 template <typename T> int compare (const T &vl, const T &v2) if (less<T>() (v1, v2)) return -1; if (less<T>() (v2, v1)) return 1; return 0;

2. 模板編譯

為了生成一個實例化版本，編譯器需要掌握函數模板或類模板成員函數的定義。因此，與非模板代碼不同，模板的頭文件通常既包括聲明也包括定義。

模板包含兩種名字:

• 那些不依賴于模板參數的名字
  當使用模板時，所有不依賴于模板參數的名字都必須是可見的，這是由模板的提供者來保證的。而且，模板的提供者必須保證，當模板被實例化時，模板的定義，包括類模板的成員的定義，也必須是可見的。

• 那些依賴于模板參數的名字

用來實例化模板的所有函數、類型以及與類型關聯的運算符的聲明都必須是可見的，這是由模板的用戶來保證的。

2.1 頭文件

• 編寫模板：必須提高頭文件，包含模板定義以及在類模板或成員定義中用到的所有名字的聲明。

• 調用模板：必須包含模板的頭文件，以及用來實例化模板的任何類型的頭文件。

2.2 模板代碼假設

模板代碼不針對特定類型，但通常對其所使用的類型有一些假設。

eg. compare模板假定實參類型定義了<運算符。

if (v1 < v2) return -1; //要求類型T的對象支持<操作. if (v2 < v1) return 1; //要求類型T的對象支持<操作用戶調用時得符合假設，否則出錯Sales data datal, data2; cout << compare (datal, data2) << endl; //錯誤: Sales_ data未定義<

總結

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

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