程序讓生活更美好

模板中實參的演繹

可以先看看下面一段使用模板的代碼:

?1 template? < typename?T >
?2 ?inline?T? const & ?max(T? const & ?a,T? const & ?b) {
?3 ???????????? return ?a < b ? b:a;
?4 ????????????}
?5
?6 #include? < iostream >
?7 #include? < string >
?8 using ? namespace ?std;
?9 int ?main() {
10 ???? // -------------------正確---------
11 ???? int ?i = 42 ;
12 ????cout << " Max(7,i) " << ::max( 7 ,i) << endl;
13
14 ???? double ?f1 = 3.4 ;
15 ???? double ?f2 =- 6.7 ;
16 ????cout << " Max(f1,f2): " << ::max(f1,f2) << endl;
17
18 ???? string ?s1 = " abcd " ;
19 ???? string ?s2 = " bacd " ;
20 ????cout << " max(s1,s2): " << ::max(s1,s2) << endl;
21
22 ???? // -------------------有問題--------
23 ????cout << ::max( 1 , 1.2 ) << endl;? // 這句會出錯
24 ????}
25

在VC2005 EE編譯的時候，出現錯誤，錯誤碼是C2782,可以在附帶的幫助中

查看這個錯誤碼。

? 可以看到錯誤信息是：

? ? Error Message

'declaration' : template parameter 'identifier' is ambiguous

The compiler cannot determine the type of a template argument.

?

???這意思是說申明的模板參數標識符是有二義性的，編譯器無法決定模板參數的類型。

???順便附帶上幫助中給的例子如下:

出現2782錯誤的，那么我們怎么解決呢？

可以用下面三種方法，

方法一：對實參進行強制類型轉換，讓他們可以互相匹配

1max(static_cast<double>(1),1.2)

方法二：顯示的指出T的類型

max<double>(1,1.2)

方法三：可以指定兩個參數可以具有不同的類型

那么上面的模板例子可以改寫成下面這樣的

1template?<typename?T1，typename?T2，>
2?inline?T1?max(T1?const&?a,T2?const&?b){
3????????????????return?a<b?b:a;
4????????????????}
5

上面這樣定義模板，就可以傳遞不同的參數，但是這樣做就必須要定義好返回類型，就是上面的T1，這是此方法的缺點。除此之外，因為兩個參數類型不一樣，在進行返回的時候，會在把參數b轉化成T1類型的時候自動創建一個新的局部變量，這樣就不可以用引用了，只能返回T1，而不是T1 const&。

?

1template?<?typename?returnType，typename?T1，typename?T2，>
2?inline?returnType?max(T1?const&?a,T2?const&?b){
3????????????????return?a<b?b:a;
4????????????????}
5

這種方式的時候，要使用max方法就需要指定returnType的類型，

max<int,int,double>(1,1.2),因為在我們這個例子里面，returnType是在第一位置，后面兩個類型是可以根據輸入參數類型自動演繹（就用這個詞把，書上是這么叫的）的，所以我們可以只指定一個，就是返回的類型，那么我們就可以這樣寫了max<int>(1,1.2).

以上就是模板中參數的演繹以及出現問題的基本的解決方法.

? 以上部分來源于閱讀《C＋＋Templates?中文版》