C++函數模板介紹
文章轉自: 公眾號:Coder梁(ID:Coder_LT)
函數模板:
所謂函數的模板,本質上也就是使用泛型來定義函數。
所謂的泛型其實也就是不定的類型,比如說我們使用vector
的時候,可以定義各種類型的vector,可以定義存儲int型的vector
也可以定義存儲float類型的,也可以定義存儲其他類型。我們在聲明的時候將存儲的類型當做參數傳給瞭模板。
泛型可以用具體的類型,比如(int或double
)替換,通過將類型作為參數傳給模板,編譯器會根據傳遞的參數類型生成該類型的函數。這種方式也被稱為通用編程或者參數化類型。
舉一個很簡單的例子,比如說我們要實現一個函數交換兩個變量的值。對於int類型我們要實現一遍,對於double類型我們又要實現一遍,如果還需要其他類型,那麼又需要額外實現很多同樣邏輯的函數。當然可以拷貝代碼,但顯然這樣會很浪費時間,而且會使得代碼變得臃腫。
這個時候我們就可以使用函數模板自動完成這一功能,函數模板允許以任意類型來定義函數,所以我們就可以這樣實現:
template <typename T> void swap(T &a, T &b) { T temp = a; a = b; b = temp; }
當我們要創建一個模板的時候,需要首先聲明模板的類型,也就是template
語句做的事情。關鍵字typename也是必須的,也可以使用class
代替。typename
關鍵字是在C++98標準添加的,所以在更早的版本中往往使用class。在這個場景下,這兩種方式是等價的。C++ Primer
當中更建議使用typename
而非class。
typename
之後跟的是類型的名稱,我們可以使用任意的名字,一般來說習慣性地會使用字母T。我們在使用的時候和普通函數並沒有什麼不同,當做普通函數使用即可。
template <typename T> void swap(T &a, T &b) { T temp = a; a = b; b = temp; } int i = 10, j = 20; swap(i, j); double a = 3.0, b = 4.0; swap(a, b);
雖然我們隻實現瞭一次函數,但是在編譯的時候,編譯器會將這個函數根據我們使用的情況生成多個版本。比如在上面的代碼當中,我們使用瞭int和double
兩種類型的函數。編譯器會替我們生成兩份代碼,也就是說最終代碼上和我們手動實現函數重載是一樣的,可以理解成一種方便我們程序編寫的特性。
到此這篇關於C++函數模板介紹的文章就介紹到這瞭,更多相關C++函數模板內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet!