程序让生活更美好

模板中实参的演绎

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

 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 中文版》