1. 函數模板

template <typename T> int compare (const T &v1，const T &v2) {if (v1 < v2) return -1;if (v2 < v1) return 1;return 0; }

編譯器會實例化多個版本的模板實例

cout << compare(1， 0) << endl;// T為int，實例化出int compare (const int&, const int&)vector<int> vec1{1, 2，3}, vec2{4， 5，6}; cout << compare (vec1, vec2) << endl; // T為vector<int>，實例化出int compare (const vector<int>&, const vector<int>&)

1.1 類型參數type parameter

用typename或class標識，可以是函數的參數或函數的返回類型

eg.

//正確:返回類型和參數類型相同 template. <typename T> T foo(T* p) {Ttmp=*p;//tmp的類型將是指針p指向的類型//.return tmp; }

1.2 非類型模板參數nontype parameter

當一個模板被實例化時，非類型參數被一個用戶提供的或編譯器推斷出的值所代替。這些值必須是常量表達式，從而允許編譯器在編譯時實例化模板。

eg.

template<unsigned N，unsigned M> int compare (const char (&p1) [N]，const char (&p2) [M]) {return strcmp(p1, p2) ; }compare ("hi","mom" );-> 編譯器的版本： int compare (const char (&p1) [3]，const char(&p2) [4])

一個非類型參數表示一個值而不是類型

• 可以是一個整型、一個指向對象或函數類型的指針或(左值)引用。

• 綁定到非類型整型參數的實參必須是一個常量表達式。

• 綁定到指針或引用非類型參數的實參必須具有靜態的生存期，不能用一個普通(非static)局部變量或動態對象作為指針或引用非類型模板參數的實參。

• 不能用一個普通(非static)局部變量或動態對象作為指針或引用非類型模板參數的實參。指針參數也可以用nullptr或一個值為0的常量表達式來實例化。

• 在模板定義內，模板非類型參數是一個常量值。在需要常量表達式的地方，可以使用非類型參數，eg. 指定數組大小。

1.2 inline和constexpr的函數模板

函數模板可以聲明為inline或constexpr的，如同非模板函數一樣。 inline 或constexpr說明符放在模板參數列表之后，返回類型之前:

//正確: inline說明符跟在模板參數列表之后 template <typename T> inline T min (const T&，const T&) ;//錯誤: inline說明符的位置不正確 inline template <typename T> T min(const T&，const T&) ;

總結

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

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