假如我们有一个模板函数:
template <typename T>
bool judge(T &w)
{
if(w.size() > 10 && w != valA)
return true;
else
return false;
}
那么对应的T类型似乎应该是这样的:size()函数返回一个int类型的值,而T类型重载了“!=” 操作符。(这里假设valA也是T类型)。而实际上,这个问题根本没有这么复杂,只要让if里面的判断是一个bool或者可以转化成bool的就行了。这意味着可以让size函数返回一个char,让char和int比大小;让!=的对象不一定是两个相同的类,但是只要能返回一个bool就可以了:
class A
{
public:
A(int s = 10):theSize(s){}
virtual char size()const
{
return (char)theSize;
}
bool operator!= (int other)
{
return theSize == other;
}
private:
int theSize;
};
template <typename T>
bool judge(T &w)
{
if(w.size() > 10 && w != 10)
return true;
else
return false;
}
甚至,只要让&&返回一个bool的值就行了,对于它的左右操作数,则要求不大。
总之,对于类而言,接口是显示的,以函数的声明为中心,多态是通过虚函数实现的;对于模板而言,它的接口是隐式的,多态则是通过模板的函数重载实现的。