c++第七天（模板）

泛型可以使用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);
}

函数模板和普通函数的区别

1. 普通函数支持隐式类型转换，函数模板不支持
2. 如果出现重载，优先支持普通函数调用，如果要强行调用模板函数，可以使用空参列表

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)	//使用空参列表调用模板函数
}

3. 通过模板生成的函数叫做模板函数，模板函数才能直接调用
4. 模板会二次编译，在声明的地方对模板代码进行编译，调用的地方替换参数后，进行二次编译。

函数模板的局限性及解决

模板不能解决所有的类型情况，特殊情况可以声明模板的特殊情况（具体化技术）

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，这个之前有记录过，不再重复记录。