文章轉(zhuǎn)自：?公眾號(hào)：Coder梁（ID：Coder_LT）

函數(shù)模板：

所謂函數(shù)的模板，本質(zhì)上也就是使用泛型來定義函數(shù)。

所謂的泛型其實(shí)也就是不定的類型，比如說我們使用vector的時(shí)候，可以定義各種類型的vector，可以定義存儲(chǔ)int型的vector也可以定義存儲(chǔ)float類型的，也可以定義存儲(chǔ)其他類型。我們在聲明的時(shí)候?qū)⒋鎯?chǔ)的類型當(dāng)做參數(shù)傳給了模板。

泛型可以用具體的類型，比如（int或double）替換，通過將類型作為參數(shù)傳給模板，編譯器會(huì)根據(jù)傳遞的參數(shù)類型生成該類型的函數(shù)。這種方式也被稱為通用編程或者參數(shù)化類型。

舉一個(gè)很簡單的例子，比如說我們要實(shí)現(xiàn)一個(gè)函數(shù)交換兩個(gè)變量的值。對于int類型我們要實(shí)現(xiàn)一遍，對于double類型我們又要實(shí)現(xiàn)一遍，如果還需要其他類型，那么又需要額外實(shí)現(xiàn)很多同樣邏輯的函數(shù)。當(dāng)然可以拷貝代碼，但顯然這樣會(huì)很浪費(fèi)時(shí)間，而且會(huì)使得代碼變得臃腫。

這個(gè)時(shí)候我們就可以使用函數(shù)模板自動(dòng)完成這一功能，函數(shù)模板允許以任意類型來定義函數(shù)，所以我們就可以這樣實(shí)現(xiàn)：

template <typename T>
void swap(T &a, T &b) {
    T temp = a;
    a = b;
    b = temp;
}

當(dāng)我們要?jiǎng)?chuàng)建一個(gè)模板的時(shí)候，需要首先聲明模板的類型，也就是template語句做的事情。關(guān)鍵字typename也是必須的，也可以使用class代替。typename關(guān)鍵字是在C++98標(biāo)準(zhǔn)添加的，所以在更早的版本中往往使用class。在這個(gè)場景下，這兩種方式是等價(jià)的。C++ Primer當(dāng)中更建議使用typename而非class。

typename之后跟的是類型的名稱，我們可以使用任意的名字，一般來說習(xí)慣性地會(huì)使用字母T。我們在使用的時(shí)候和普通函數(shù)并沒有什么不同，當(dāng)做普通函數(shù)使用即可。

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);

雖然我們只實(shí)現(xiàn)了一次函數(shù)，但是在編譯的時(shí)候，編譯器會(huì)將這個(gè)函數(shù)根據(jù)我們使用的情況生成多個(gè)版本。比如在上面的代碼當(dāng)中，我們使用了int和double兩種類型的函數(shù)。編譯器會(huì)替我們生成兩份代碼，也就是說最終代碼上和我們手動(dòng)實(shí)現(xiàn)函數(shù)重載是一樣的，可以理解成一種方便我們程序編寫的特性。

到此這篇關(guān)于C++函數(shù)模板介紹的文章就介紹到這了,更多相關(guān)C++函數(shù)模板內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論