1. 定義

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

1.1 函數模板匹配因素

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

2. 舉例

//打印任何我們不能處理的類型 template <typename T> string debug_rep (const T &t ) {ostringstream ret; ret ? t; //使用T的輸出運算符打印t的一個表示形式return ret.str( ); //返回ret綁定的string的一個副本 }//打印指針的值， 后跟指針指向的對象 //注意： 此函數不能用于 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;

兩個函數都生成可行的實例：

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

選擇第二個版本，第一個版本的實例需要進行普通指針到 const 指針的轉換。

2.3 當有多個重載模板對一個調用提供同樣好的匹配時， 應選擇最特例化的版本

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

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

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

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

總結

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

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