一、重載與模板
函數模板可以被另一個模板或一個普通非模板函數重載
如果涉及函數模板,則函數匹配規則會有以下的約束:
如果同樣好的函數中只有一個是非模板函數,則選擇此函數
如果同樣好的函數中沒有非模板函數,而有多個函數模板,則其中一個模板比其他模板更特例化,則選擇此模板
否則,調用有歧義
①對于一個調用,其候選函數包括所有模板實參推斷成功的函數模板實例
②候選的函數模板總是可行的,因為模板實參推斷會排除任何不可行的模板
③可行函數(模板與非模板)按類型轉換(如果對此調用需要的話)來排序。當然,可以用于函數模板調用的類型是非常有限的
④如果恰有一個函數比任何其他函數都更好的匹配,則選擇此函數。但是,如果有多個函數提供同樣好的匹配,則:
編寫重載模板
我們構造一組函數,它們在調試中可能很有用,用來打印相關的信息,兩個重載函數定義如下:
//第一版本 //打印任何類型 template<typename T> string debug_rep(const T &t) { ostringstream ret; ret << t; return ret.str(); } //第二版本 //參數為指針類型的 //注意: