1. 定義

函數(shù)模板可以被另一個模板或一個普通非模板函數(shù)重載： 名字相同的函數(shù)必須具有不同數(shù)量或類型的參數(shù)

1.1 函數(shù)模板匹配因素

• 對于一個調(diào)用， 其候選函數(shù)包括所有模板實參推斷成功的函數(shù)模板實例。
• 候選的函數(shù)模板總是可行的， 因為模板實參推斷會排除任何不可行的模板。
• 可行函數(shù)（ 模板與非模板） 按類型轉(zhuǎn)換（ 如果對此調(diào)用需要的話） 來排序。 當(dāng)然， 可以用于函數(shù)模板調(diào)用的類型轉(zhuǎn)換是非常有限的
• 如果恰有一個函數(shù)提供比任何其他函數(shù)都更好的匹配， 則選擇此函數(shù)。
  但是， 如果有多個函數(shù)提供同樣好的匹配， 則:
  . 如果同樣好的函數(shù)中只有一個是非模板函數(shù)， 則選擇此函數(shù)。
  . 如果同樣好的函數(shù)中沒有非模板函數(shù)， 而有多個函數(shù)模板， 且其中一個模板比其他模板更特例化， 則選擇此模板。
  . 否則， 此調(diào)用有歧義

2. 舉例

//打印任何我們不能處理的類型 template <typename T> string debug_rep (const T &t ) {ostringstream ret; ret ? t; //使用T的輸出運(yùn)算符打印t的一個表示形式return ret.str( ); //返回ret綁定的string的一個副本 }//打印指針的值， 后跟指針指向的對象 //注意： 此函數(shù)不能用于 char*; template <typename T> string debug_rep (T *p) {ostringstream ret;ret ? "pointer: " ? p；if (p)ret ? " "? debug_rep (*p); //打印指針本身p指向的值elseret ? null pointer"; //p 為空return ret.str ( ); //返回 ret 綁定的 string的一個副本 }

2.1

string s ("hi"); cout ? debug_rep (s) << endl;//第一個版本

2.2

cout << debug_rep ( &s) ? endl;

兩個函數(shù)都生成可行的實例：

• debug_rep (const string* & ) , 由第一個版本的 debug_rep 實例化而來， T被綁定到 string*。
• debug_rep (string* ) ， 由第二個版本的 debug_rep 實例化而來， T 被綁定到string。

選擇第二個版本，第一個版本的實例需要進(jìn)行普通指針到 const 指針的轉(zhuǎn)換。

2.3 當(dāng)有多個重載模板對一個調(diào)用提供同樣好的匹配時， 應(yīng)選擇最特例化的版本

const string *sp; cout ? debug_rep (sp) ? endl;

此例中的兩個模板都是可行的， 而且兩個都是精確匹配：
? debug_rep (const string* & ) , T被綁定到 string*。
? debug_rep (const string* ) , T被綁定到 const string。

在此情況下， 正常函數(shù)匹配規(guī)則無法區(qū)分這兩個函數(shù)。 我們可能覺得這個調(diào)用將是有歧義的。 但是， 根據(jù)重載函數(shù)模板的特殊規(guī)則， 此調(diào)用被解析為 debug_rep ( T* ) , 即更特例化的版本。

模板 debug_rep (const T &) 本質(zhì)上可以用于任何類型， 包括指針類型,比 debug_rep ( T*)更通用， 后者只能用于指針類型。

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。