C++基础三

C++基础三

函数模板使用

类型，逻辑非常相似
类型参数化 泛型编程—模板技术
template// 告诉编译器，下面如果出现T不报错，T是通用类型
template//与前者等价
mySwapT(a, b);
1.自动类型推导，必须有参数类型才可以推导
2.显示指定类型
mySwapT(a, b);
3.模板必须要指定T才可以使用

函数模板与普通函数的区别和实现

1. 函数模板不能隐士转换
2. 如果出现重载， 优先使用普通函数调用， 如果没有实现，则会出现错误
3. 如果想强制调用模板， 则可以使用空参数列表
4. 函数模板可以发生重载
5. 如果函数模板可以产生更好的匹配， 那么优先调用函数模板

模板实现机制

函数模板机制结论：

• 编译器并不是把函数模板处理成能够处理任何类型的函数
• 函数模板通过具体类型产生不同的函数
• 编译器会对函数模板进行两次编译，在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译

模板的机制

1. 模板并不是万能的， 不能通用所有的数据类型
2. 模板不能直接调用， 生成后的模板函数才可以调用
3. 二次编译， 第一次对模板进行编译，第二次对替换后的T类型后的代码进行编译

3 模板局限性

1. 模板不能解决所有的类型
2. 如果出现不能解决的类型，可以通过第三地具体化来解决问题
3. template<> 返回值 函数名<具体类型>（参数）

类模板

1、写法template <T…> 紧跟着是类
2、与函数模板区别，可以有默认类型参数
3、函数模板可以进行自动类型推导，而类模板不可以
4、类模板中的成员函数 一开始不会创建出来，而是在运行时才去创建

类模板做函数的参数

三种方式

显示指定类型
参数模板化
整体模板化

查看类型名称

cout << typeid(T).name() << endl;

当类模板碰到继承

基类如果是模板类，必须让子类告诉编译器 基类中的T到底是什么类型
如果不告诉，那么无法分配内存，编译不过
利用参数列表class Child :public Base

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

template <class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age)

类模板的分文件编写问题以及解决

.h .cpp分别写声明和实现
但是由于 类模板的成员函数运行阶段才去创建，导致包含.h头文件，不会创建函数的实现，无法解析外部命令
解决方案 保护 .cpp文件 （不推荐）
不要进行分文件编写，写到同一个文件中，进行声明和实现，后缀名改为.hpp
约定俗成的

类模板碰到友元函数

友元函数类内实现
friend void printPerson( Person<T1 ,T2> & p )
友元函数类外实现
friend void printPerson<>(Person<T1, T2> & p); //没有<>普通函数 声明 加上 <>模板函数声明
让编译器看到 函数 并且看到这个Person类型

C++类型转换

1. 静态转换 static_cast
2. 使用方式 static_cast<目标类型>(原始数据)
3. 可以进行基础类型转换
4. 父与子转换
5. 其他没有父子关系不可以

动态转换 dynamic_cast

不可以转换基础数据类型
父子之间可以转换
父转子 不可以
子转父 可以
发生多态 都可以
常量转换 const_cast
不能对非指针或者非引用进行转换
重新解释转换 reinterpret_cast
最不安全，最鸡肋 不推荐