读C++ template的一个简单问题

[AuroraExcuse]

本人最近开始学习《C++ template，第二章中的例子
template <typename T>
inline const T & _max (const T & a,const T & b)..........................@1
{
return (a<b)?b:a;
}

inline const char * _max(const char *a, const char * b)...................@2
{
return strcmp(a,b)<0?b:a;
}

template <typename T> ....................................................@3
inline const T & _max (const T & a, const T &b, const T &c)
{
return _max(_max(a,b),c);
}

int _tmain(int argc, _TCHAR* argv[])
{
char * a = "abc";
char * b = "def";
char * c = "ghi";
char * r = _max(a,b,c);
return 0;
}
单步跟踪以后调用次序为@3---->@1------>@1 ,请问这个现象如何解释。

[lin_style]

不懂STL的飘过。。
帮顶。

[AuroraExcuse]

thx all the same , 补充一下，直观上当然是希望以@3 @2 @2 次序执行

[taodm]

看<C++ Primer>关于函数重载解析的章节.
规则可以说极复杂,好多编译器都没实现对.
建议不要深究这个细节.

[abomber2]

inline const char * _max(const char *a, const char * b)...................@2
{
return strcmp(a,b) <0?b:a;
}

前面加上template <>

改成
template <>
inline const char * _max(const char *a, const char * b)...................@2
{
return strcmp(a,b) <0?b:a;
}


模板特化

[NKLoveRene]

一般匹配同样好的时候，非模板的函数优先匹配
规则是这样的，所以如果实现时不是这样的，那就应该是3楼所说的编译器实现的问题了

[星羽]

匹配问题
你把2改成这样看看

inline char * _max(char *a,  char * b)//...................@2 
{ 

    return strcmp(a,b) <0?b:a; 
} 

[hxxwcc]

4楼说的模板偏特化过不了编译

[hxxwcc]

6楼正解

[baihacker]

前面没有说的
max3中以char*为参数去寻找匹配
首先看到的是普通函数ax2,所需要的参数为const char*不匹配
于是在模板中匹配了...
否则,你把模板改了,让模板无法匹配,这时只有2,3
就报错鸟