template

inline T const& max(T const& r,T const& l)

{

std::cout<<"same T template"<

return r < l ? l : r;

}

对于以上的模板定义，对于调用max(42.0,43)产生错误，对于这种错误有三种方式：

1、对实参进行强制类型转换，使它们可以互相匹配，如下：

max(static_cast(4),4.2)

2、显式指定（或者限定）T的类型，如下：

max(4,4.2)

3、指定两个参数可以具有不同的类型


 

*********************************************************


 

函数模板无法指定默认的模板实参，如下的函数定义将会产生一个编译错误，

template

inline T1 const& max(T1 const& r,T2 const& l)

{

std::cout<<"different T template"<

return r < l ? l : r;

}

在gcc下编译产生如下错误：

error: default template arguments may not be used in function templates


 

*********************************************************


 

当模板函数声明定义顺序如下（下称顺序1），当调用三个int型变量的max函数时，会调用重载的int版本。

template

inline T const& max(T const& r,T const& l)

{

std::cout<<"same T template"<

return r < l ? l : r;

}


 

inline int const& max(int const& r,int const& l)

{

std::cout<<"same int template"<

return r < l ? l:r;

}


 

template

inline T const& max(T const& a,T const& b,T const& c)

{

return max(max(a,b),c);

}


 

当模板函数声明定义顺序如下（下称顺序2），当调用三个int型变量的max函数时，会调用函数的模板版本

template

inline T const& max(T const& r,T const& l)

{

std::cout<<"same T template"<

return r < l ? l : r;

}


 

template

inline T const& max(T const& a,T const& b,T const& c)

{

return max(max(a,b),c);

}


 

inline int const& max(int const& r,int const& l)

{

std::cout<<"same int template"<

return r < l ? l:r;

}


 

当模板函数声明定义顺序为顺序1时，但将int函数声明放置在调用之前，当调用三个int型变量的max函数时，会调用函数的int重载版本

int const& max(int const& r,int const& l);

template

inline T const& max(T const& r,T const& l)

{

std::cout<<"same T template"<

return r < l ? l : r;

}


 

template

inline T const& max(T const& a,T const& b,T const& c)

{

return max(max(a,b),c);

}


 

inline int const& max(int const& r,int const& l)

{

std::cout<<"same int template"<

return r < l ? l:r;

}

由上所述，函数的所有重载版本的声明都应该位于该函数被调用的位置之前。