C++ PRIMER问题之重载函数模板解析。

THEBEST

1>;
P430：

template < typename Type>;
Type sum ( Type * , int );

template < typename Type>;
Type sum ( Type , int );

int ia[1024];

int ival1 = sum < int >; ( ia , 1024 );

举此例之前有：(书中原文)：“即使对于一个函数调用，两个不同的函数模板都可以实例化，但该函数调用 仍然不是二义的”。然后举了上述例子加以说明。

我认为 sum 函数调用只能用第一个模板产生实例，第二个模板并不是它的“可行函数”，而上述一段话中为什么又讲这两个不同的函数模板都可以实例化呢？


2>;
template < class Type>;
Type sum (Type , int ) { }

template < >; double sum <double>; ( double , int );

void manip ( double ii, double dd )
{
sum ( dd, ii);
}

如果有一个普通函数(没有模板函数)如：double sum (doluble , int );
则 sum ( dd, ii);会被调用，ii 被转化为 int ，上述模板的特化也能同样被调用吗(有或没有普通函数的两种情况下)？如果是调用 " sum <double>; ( dd, ii) // 显示模板实参 " 呢？


3>;
P433：

template <class T>; T min ( T, T);
int min ( int , int ) { }
int ai[4] = { 0 };
int main () {
min (ai[0], 99 ); }
// 这样的调用不是二义的， 因为非模板函数存在时，因为该函数被显示实现，所以它被给予更高的优先级。 (这一句话是书上原文)

P435：

template < class Type>;
Type max ( Type , Type ) { .. . . }
double max (double , double );

int main () {
double dval;
max ( 0.25, dval );
}
//因为调用两个函数都完全匹配，所以该调用存在二义。( 引用书上原文)

问题：为什么一个有二义，一个没有二义？它们是一样的意思啊。
虽然最后调用的都是普通函数，但为什么一个有二义，一个没有呢？

biansj

感觉你的问题比较难，我对模板也没什么深的研究，不过我根据你所说的试了一试，得出的一些结论：
1>;书上的是对的

请看template.cpp

1. 
   
2. #include <iostream>;
   
3. #include <cstdlib>;
   
4. #include <cstdio>;
   
5. #include <memory.h>;
   
6. 
   
7. template < typename Type>;
   
8. Type sum ( Type * array, int max)
   
9. {
   
10.         cout<<"here\n";
    
11.         Type tmp=0;
    
12.         return tmp;
    
13. }
    
14. 
    
15. template < typename Type>;
    
16. Type sum ( Type array, int max)
    
17. {
    
18.         cout<<"there\n";
    
19.         Type tmp=0;
    
20.         return tmp;
    
21. }
    
22. 
    
23. int main()
    
24. {
    
25.         int ia[1024];
    
26.         for(int i=0;i<1024;i++)
    
27.         {
    
28.                 ia[i]=1;
    
29.         }
    
30.         cout<<sum < int >; ( ia , 1024 )<<endl;
    
31.         cout<<sum < int * >; ( ia ,1024 )<<endl;
    
32.         return 0;
    
33. }
    

复制代码

编译后运行，结果为：
here
0
there
0x0

2>;我不太明白你说的意思

3>;感觉没有二义性，即使是没有显示实现的情况下，故我的结论是如果在没有找到任何匹配函数的情况下，才会去匹配模板，模板的优先级别最低。

template.cpp

1. 
   
2. #include <iostream>;
   
3. template < class Type>;
   
4. Type max ( Type , Type ) { cout<<"here!"<<endl; }
   
5. double max (double , double ) ；
   
6. 
   
7. int main () {
   
8.         double dval;
   
9.         max ( 0.25, dval );
   
10. }
    
11. 
    

复制代码

template_m.cpp

1. 
   
2. #include <iostream>;
   
3. double max (double , double ){ cout<<"there!"<<endl; }
   

复制代码

编译后运行，结果为：(g++ -o xx template.cpp template_m.cpp)
there!

如果对C++编译原理清楚的话就好了：）

biansj

对了，我的环境是CYGWIN，：）