函数模板和类模板

函数模板和类模板

模板是泛型编程的基础，泛型编程即以一种独立于任何特定类型的方式编写代码。

模板是创建泛型类或函数的蓝图或公式。库容器，比如迭代器和算法，都是泛型编程的例子，它们都使用了模板的概念。

每个容器都有一个单一的定义，比如 向量，我们可以定义许多不同类型的向量，比如 vector 或 vector

函数模板

模板语法：

在创建模板函数或者模板类时，我们需要在前面加上这一句

template<typename T>//或者template<class T>

• template – 声明创建模板
• typename – 表明其后面的符号是一种数据类型，可以用class代替
• T – 通用的数据类型，名称可以替换，通常为大写字母

例子：

//实现两个数的交换
template<typename T>
void mySwap(T &a,T &b)
{
    T tmp = a;
    a = b;
    b = tmp;
}
int main(void)
{
    int a,b;
    //1.自动类型推导
    mySwap(a,b);
    //2.显示指定类型
    mySwap<int>(a,b);
}

普通函数与模板函数的区别：

• 普通函数调用时可以发生自动类型转换（隐式类型转换）
• 函数模板调用时，如果利用自动类型推导，不会发生隐式类型转换
• 如果利用显示指定类型的方式，可以发生隐式类型转换

函数模板注意事项：

• 自动类型推导，必须推导出一致的数据类型T，才可以使用
• 模板必须要确定出T的数据类型，才可以使用

调用规则：

1. 如果函数模板和普通函数都可以实现，优先调用普通函数
2. 可以通过空模板参数列表来强制调用函数模板
3. 函数模板也可以发生重载
4. 如果函数模板可以产生更好的匹配优先调用函数模板

模板的局限性：

template<class T>
void f(T a,T b)
{
    a=b;
}

在上述代码中提供的赋值操作，如果传入的a和b是一个数组，就无法实现了。

再例如：

template<class T>
void f(T a,T b)
{
    if(a > b)
    {
        ....
    }
}

在上述代码中，如果T传入的是自定义数据类型可能没有响应的比较符号，也无法正常运行

解决方法：可以为这些类型提供具体化的实现，程序在运行时会优先调用具体化函数

总结：

• 利用具体化的模板，可以解决自定义类型的通用化
• 学习模板并不是为了写模板，而是在STL能够运用系统提供的模板

类模板

类模板的语法与函数模板相同

template<class NameType,class AgeType>
class Person
{
public:
    Person(NameType name,AgeType age)
    {
        this->_name = name;
        this->_age = age;
    }
    ~Person(){}
    void showPerson();
private:
    NameType _name;
    AgeType _age;
}

和函数模板主要区别：

1. 类模板没有自动类型推导的使用方式，编译的时候回报错
2. 类模板在模板参数列表中可以有默认参数

template<class NameType,class AgeType = int>

类模板和普通类成员函数创建时机是不同的：

• 模板类的成员函数在调用时才创建，如果没有调用出错不会报错
• 普通类的成员函数一开始就可以创建

​ 因此分文件h和cpp的时候：cpp文件是独立编译的，而模板生成具体函数是二次编译的，当cpp编译成.o文件进行链接的时候，模板不能进行二次编译则找不到该函数的实现

​ 我们需要把模板文件的声明和定义写在同一个文件里，文件名以.hpp为后缀

类模板对象做函数参数：三种不同传入方式：最常用是第一种方式

//1.指定传入类型
void printPerson1(Person<string,int>&p)
{
    p.showPerson();
}
//2.参数模板化
template<class T1,class T2>
void printPerson1(Person<T1,T2>&p)
{
    p.showPerson();
}
//3.整个类模板化
template<class T>
void printPerson(T &p)
{
    p.showPerson();
}

类模板和继承，以下几点需要注意：

• 当子类继承的父类是一个模板类时，要指定出父类中T的类型
• 如果不指定，编译器无法给子类分配内存
• 如果想灵活指定出父类中的T类型，子类也需为类模板

//指定父类中T的类型
class Son : public Base<int>
{};
//子类也为模板类
template<class T1,class T2>
class Son : public Base<T2>
{};

类模板成员函数类外实现：在实现函数上面加上template

template<class T1,class T2>
void Person<T1,T2>::showPerson()
{}

类模板和友元函数：

• 全局函数类内实现 - 直接在类内声明友元即可
• 全局函数类外实现 - 需要提前让编译器知道全局函数的存在

template<class T1,class T2>
class Person;

template<class T1,class T2>
void printPerson(Person<T1,T2> p)
{
    //......
}

static成员变量：

类模板的static关键字，在生成具体类时会分别生成该具体类的变量，每个具体类只共享自己的static