面向对象编程所依赖的多态性称为运行时多态性,泛型编程所依赖的多态性称为编译时多态性或参数试多态性。
所以,要运用泛型编程,首先要了解模板的格式,本文分为模板定义时与使用时格式详解。
函数模板
定义
template<typename T> int compare(T&,T&){}
template<typename T> inline T min(const T&,const T&){}// inline说明符放在 形参表之后,返回类型之前。
使用
使用函数模板时,编译器会推断哪些模板实参绑定到模板形参,一旦确定了实际的模板实参,就称它实例化了函数模板的一个实例
int main(){
cout<<compare(0,1)<<endl;//T is int,隐式调用
string s1 = "hi",s2 = "hello";
cout<<compare(s1,s2)<<endl;//T is string
}
当函数的返回类型必须与形参表中所用的所有类型都不相同时,推断不了模板实参的类型。在这种情况下,有必要覆盖模板实参推断机制,并显示指定为模板实参所用的类型或值。
模板形参使用规则:
- 可以给模板形参赋予的唯一含义是区别形参是类型形参还是非类模板