模板中实参的演绎

JetSun — Sun, 16 Apr 2006 13:20:00 GMT

1 // C2782b.cpp
2 // compile with: /clr
3 generic<typename T> void gf(T, T) { }
4
5 int main() {
6    gf(1, 'c'); // C2782
7    // try the following line instead
8    // gf(1, 'c');
9 }
10

模板中实参的演绎

可以先看看下面一�D��用模板的代码:

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; // �q�句�?x��)出�?/span>
24     }
25

�?span lang="EN-US">VC2005 EE�~�译的时候，出现错误�Q�错误码是C2782,可以在附带的帮助�?o:p>

查看�q�个错误码�?span lang="EN-US">

可以看到错误信息是：(x��)

Error Message

'declaration' : template parameter 'identifier' is ambiguous

The compiler cannot determine the type of a template argument.

�q�意思是说申明的模板参数标识�W�是有二义性的�Q�编译器无法军_��模板参数的类型�?/span>

��Z��附带上帮助中�l�的例子如下:

1 // C2782.cpp
2 template<typename T>
3 void f(T, T) {}
4
5 int main() {
6 f(1, 'c'); // C2782
7 // try the following line instead
8 // f(1, 'c');
9 }
10

解决�Ҏ(gu��)��Q?br />

出现2782错误的，那么我们怎么解决呢？

可以用下面三�U�方法，

�Ҏ(gu��)��一�Q�对实参�q�行强制�c�d��转换�Q�让他们可以互相匚w��

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

�Ҏ(gu��)��二：(x��)昄��的指�?span lang="EN-US">T的类�?o:p>

max<double>(1,1.2)

�Ҏ(gu��)��三：(x��)可以指定两个参数可以��h��不同的类�?span lang="EN-US">

那么上面的模板例子可以改写成下面�q�样�?/span>

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

上面�q�样定义模板�Q�就可以传递不同的参数�Q�但是这样做��必��要定义好返回类型，��是上面�?/span>T1�Q�这是此�Ҏ(gu��)��的缺炏V��除此之外，因�ؓ(f��)两个参数�c�d��不一��P��在进行返回的时候，�?x��)在把参�?/span>b转化�?/span>T1�c�d��的时候自动创��Z��个新的局部变量，�q�样��׃��可以用引用了�Q�只能返�?/span>T1�Q�而不�?/span>T1 const&�?/span>

��Z��解决只能�q�回T1�?/span>T2两种�c�d��之一的问题，我们可以另外再加上一个额外的�c�d��Q�暂且我们给他命名�ؓ(f��)returnType�Q�那么新的模板如下：(x��)

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

�q�种方式的时候，要��?span lang="EN-US">max�Ҏ(gu��)��需要指定returnType的类型，

max(1,1.2),因�ؓ(f��)在我们这个例子里面，returnType是在�W�一位置�Q�后面两个类型是可以�Ҏ(gu��)��输入参数�c�d��自动演绎�Q�就用这个词把，书上是这么叫的）的，所以我们可以只指定一个，��是�q�回的类型，那么我们��可以这样写了max(1,1.2).

以上��是模板中参数的演绎以及(qi��ng)出现问题的基本的解决�Ҏ(gu��)��.

以上部分来源于阅诅R��C�Q�＋Templates 中文版�?/span>

JetSun 2006-04-16 21:20 发表评论

久久无码人妻一区二区三区午夜,久久久久亚洲精品男人的天堂,丰满少妇人妻久久久久久

模板中实参的演绎