函数模板
作用
有很多时候参数的类型以及返回值的类型是可变的,我们通过定义模板来让函数能更灵活的运用。
我们设计一个比较函数,如果能比较的两个参数是int型的,两个参数也可能都是string型的,单独设计出两个比较的函数就会比较繁琐,此时,我们用到了函数模板。
template<typename T>
int cmp(T a, T b){
return a>b;
}
(1)每次调用的时候,编译器用推断出的模板参数来为我们实例化一个特定版本的函数,T可被替换成任意类型。
(2)template可被class替换,两个的作用是相同的。
类模板
定义类模板
类模板的定义与模板函数的定义类似,但是声明对象的时候略有不同
template<typename T>class gg{
public :
T a;
gg(T aa):a(aa){};
};
gg<string> g("asa"); //声明部分
非类型模板参数
除了定义类型参数外,还可以在函数中定义非类型参数,一个非类型参数表示一个值而非一个类型。
例如
template<typename T, unsigned n>class gg{
public :
T a;
gg(T aa):a(aa){};
int aa();
};
inline和constexpr函数模板
和正常定义函数一样,将inline或constexpr写在模板之后函数体类型之前。
类模板的成员函数
template<typename T, unsigned n> //表示接下来的是一个模板
int gg<T, n>::aa(){ //通过gg<T, n>找到函数对应的类
for(int i = 0;i < n; i++)printf("gaofangzuishuai\n");
return a;
}