5.子类模板访问基类模板
在子类模板中访问那些在基类模板中声明且依赖于模板参数的符号,应该在它前面加上作用域限定符"::" 或者显示使用this指针
否则,编译器将试图在全局域中寻找该符号,引发错误。
参见:inherit.h
6.模板型模板参数
类模板的模板参数如果结合的实参不是具体类型而是另一个模板,那么不能使用typename关键字声明该参数,而是写明其所结合的类模板实参的原型:
template<模板形参表> class 模板型模板参数名
参见ta.cpp
对于函数模板,GNU编译器允许为其传递模板型模板参数,但是从C++标准并不支持。
7.嵌套模板的外部定义
如果将嵌套于一个类模板的内部模板放到包装模板的外部定义,需要按照作用域层次的顺序,从外到内,从前到后一次使用独立template字句声明其模板参数表
8.“零”初始化
基本类型不存在缺省构造函数,所以未被显示初始化的局部变量和成员变量具有一个未定义的初值。如果希望模板函数或者模板类中所有参数花类型的变量,无论是基本类型还是类类型,都能以缺省方式被初始化,就必须显示进行缺省构造(写出构造函数),即“零”初始化。
T var = T(); //局部变量
...:m_var()...//成员变量
参见:init.cpp
9.虚函数和多态
(1)类模板中可以声明虚函数,而且只要实例化该模板时所提供的类型实参不违背虚函数有效覆盖的条件,就可以形成多态
(2)由于模板函数的延迟编译要晚于类或者类模板中虚表的构建,因此模板函数不能同时又是虚函数
参见vf.cpp
列出不能被声明为虚函数的函数:
全局函数,静态成员函数,构造函数,模板型成员函数
四 、编译模型
1.单一模型:将函数,类和模板的声明,实现和使用放在同一
声明
实现
使用
优点:一目了然,构建方便
缺点:难以维护,难以复用,不利于协作开发
2.分离模型:将函数、类和模板的声明、实现和使用分别放在不同的源代码文件中
优点:易于维护,易于复用,便于协作开发
缺点:需要编写专门的构建脚本————makefile
致命:编译模板实现代码时,编译器看不到对模板的使用,因此所生成的目标模块中没有关于该模板的二进制指令,
最终导致链接失败
参见:div/
3.包含模型:在模板声明文件的尾部包含模板实现文件,保证所有使用该模板的代码在头肩扩展以后都实际包含了该模板的声明和使用,保证延迟编译的顺利进行,链接成功。
优点:解决了分离模型的致命问题——链接失败
缺点:模板的实现代码必须公开,延长编译时间。
参见:inc/
4.实例模型:在模板的实现中包含对该模板的显示实例化代码,旨在迫使编译器在看到对模板使用之前,提前二次编译,
保证链接通过。
优点:模板的实现代码不必公开,编译时间不受影响
缺点:实例化类型有限,无法实现绝对通用。
5.导出模型:通过export关键字将模板声明导出,编译器会将该模板一次编译之后形成的内部表示缓存到其目标文件(.o)中
在链接阶段结合使用该模板的代码所提供的类型实参,完成二次编译
优点:代码分离、实现不公开、编译速度快,类型通用。
缺点:绝大多数编译器并不支持该模型。
GNU / MIicrosoft / IBM / Oralce / HP 都不支持
C++2011 / 2014 / 2017 已经废弃此模型。export关键字已经被挪作他用。
五、容器、迭代器和泛型算法
容器:基于类模板语法实现泛型数据结构
泛型算法:基于函数模板语法实现泛型常用算法。
迭代器:基于指针语法实现面向不同容器的同一访问方式。
双向线性链表容器:
正向顺序可写迭代器:
线性查找算法:
体现的算法======>工具 是给别人用的,好用,方便,接口,简单易用并且高效
如果一个类中含有 指针成员,并且指向的是动态分配的内存,这个时候往往需要自己给出 支持深拷贝的构造构造和拷贝赋值操作符函数