template<typenameT>
TgetMax(Targ1,Targ2)
{
returnarg1>arg2?arg1:arg2;//代码段1
}
这就是基于模板的多态吗？不是。因为现在我们不论是调用getMax(1,2)还是调用getMax(3.0,5.0)都是走的上面的函数定义。它没有根据调用时的上下文不同而执行不同的实现。所以这充其量也就是用了一个模板函数，和多态不沾边。怎样才能和多态沾上边呢？用模板特化呀！象这样：
template<>
char*getMax(char*arg1,char*arg2)
{
return(strcmp(arg1,arg2)>0)?arg1:arg2;//代码段2
}
这样一来当我们调用getMax(“abc”,“efg”)的时候，就会执行代码段2，而不是代码段1。这样就是多态了。
更有意思的是如果我们再写这样一个函数：
chargetMax(chararg1,chararg2)
{
returnarg1>arg2?arg1:arg2;//代码段3
}
当我们调用getMax(‘a’,‘b’)的时候，执行的会是代码段3，而不是代码段1或代码段2。C++允许对模板函数进行函数重载，就象这个模板函数是一个普通的函数一样。于是我们马上能想到写下面这样一个函数来做三个数中取大值的处理：
intgetMax(intarg1,intarg2,intarg3)
{
returngetMax(arg1,max(arg2,arg3)); //代码段4
}
同样我们还可以这样写：
template<typenameT>
TgetMax(Targ1,Targ2,Targ3)
{
returngetMax(arg1,getMax(arg2,arg3));//代码段5
}
现在看到结合了模板的多态的威力了吧。比只用函数重载厉害多了。
最新评论