泛型可以使用class关键字声明,也可以使用 typename
template<class T>
void myswap(T& a, T& b){
T tmp = a;
a = b;
b = tmp;
}
int main(){
int a=0,b=20;
//调用泛型的时候,会使用自动类型推导
myswap(a,b);
}
函数模板和普通函数的区别
- 普通函数支持隐式类型转换,函数模板不支持
- 如果出现重载,优先支持普通函数调用,如果要强行调用模板函数,可以使用空参列表
template<typename T>
void mySwap(T& a, T& b){
T tmp = a;
a = b;
b = tmp;
}
void mySwap(int a,int b){
cout << "普通函数" << endl;
}
int main(int argc, const char * argv[]) {
int a=10;
int b=20;
mySwap(a, b); //优先调用普通函数
mySwap<>(a,b) //使用空参列表调用模板函数
}
- 通过模板生成的函数叫做模板函数,模板函数才能直接调用
- 模板会二次编译,在声明的地方对模板代码进行编译,调用的地方替换参数后,进行二次编译。
函数模板的局限性及解决
模板不能解决所有的类型情况,特殊情况可以声明模板的特殊情况(具体化技术)
class Person{
public:
int age;
};
template<typename T>
bool myCompare(T& a, T& b){
return a==b;
}
//具体化函数(第三代具体化),优先匹配
template<>
bool myCompare<Person>(Person& a,Person& b){
return a.age == b.age;
}
类模板
template<class NameType, class AgeType>
class Person{
public:
NameType name;
AgeType age;
}
类模板不支持自动类型推导
从类模板看成员函数的创建问题
下面的代码编译的时候,不会报错,运行的时候才报错,因为Person1没有show2函数。
这说明成员函数是在运行时第一次调用的时候动态创建的。
class Person1{
public:
void show1(){
cout << "person1" << endl;
}
};
class Person2{
public:
void show2(){
cout << "person2" << endl;
}
};
template<class T>
class Show{
T person;
public:
void show1(){
person.show1();
}
void show2(){
person.show2();
}
};
int main(int argc, const char * argv[]) {
Show<Person1> s;
s.show2(); //运行的时候报错,因为person2没有show2函数
}
模板不能分文件编写,使用hpp,这个之前有记录过,不再重复记录。