【C++从0到1-黑马程序员】模板

C++从0到1 - 黑马程序员 课程学习笔记

课程链接：01 模板-模板的概念_哔哩哔哩_bilibili

1.模板的概念

C++中提供两种模板机制：函数模板 和 类模板

模板就是建立通用的模具，大大提高复用性

模板的特点：

• 模板不可以直接使用，只是一个框架
• 模板的通用并不是万能的

2. 函数模板

2.1 函数模板语法

函数模板作用：

        建立一个通用函数，函数返回值类型和形参类型可以不具体定制，用一个虚拟的类型来代表

// 函数模板语法：
template<typename T>
函数声明或定义
// 解释： template ———— 声明创建模板
//        typename ———— 表示其后的符号是一种数据类型，可以用class代替
//        T        ———— 通用的数据类型，名称可以替换，通常为大写字母

2.2 两种方式使用函数模板：

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

2.3 普通函数和函数模板区别：

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

2.4 普通函数和函数模板调用规则：

• 如果函数模板和普通函数都可以实现，优先调用普通函数
• 可以通过空模板参数列表强制调用函数模板 函数名<>(形参列表);
• 函数模板可以发生函数重载
• 如果函数模板可以产生更好的匹配，优先调用函数模板

2.5 模板的局限性

❗模板的通用性并不是万能的，有些特定数据类型，需要用具体化方式做特殊实现。

3. 类模板

3.1 类模板语法

类模板作用： 建立一个通用类，类中的成员数据类型可以不具体定制，用一个虚拟的类型来表示

// 类模板语法：
template<typename T>
类
// 解释： template ———— 声明创建模板
//        typename ———— 表示其后的符号是一种数据类型，可以用class代替
//        T        ———— 通用的数据类型，名称可以替换，通常为大写字母

3.2 类模板和函数模板区别：

• 类模板没有自动类型推导的使用方式
• 类模板在模板参数类表中可以有默认参数

3.3 类模板中成员函数创建时机

❗类模板中成员函数在调用时才去创建

3.4 类模板对象做函数参数

三种传递方式：

1. 指定传入类型 最常用
2. 参数模板化
3. 整个类模板化

3.5 类模板与继承

1. 当子类继承的父类是一个类模板时，子类在继承前必须指定父类中T的数据类型
2. 如果想灵活的指定父类中T类型，子类也需要编程类模板

3.6 类模板成员函数类外实现

template<class T1,class T2 ...> 返回值类型 类名<class T1,class T2 ...>::函数名称(形参列表）

3.7 类模板分文件编写

类模板中成员函数创建时机时在调用阶段，会导致分文件编写时链接不到

解决方法：

1. 直接包含.cpp源文件
2. 将声明和实现写到一个文件中，并更改后缀名为.hpp，hpp是约定的名称，并不是强制

3.8 类模板与友元

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