什么是泛型编程?
这个问题要首先知道什么是泛型?
什么是类型?
任何语言都有类型系统,一般来说,编程语言会有两种类型:一种是内建类型(int、float、char等);一种是抽象类型(struct、class等)
类型系统也可能没有这么清晰,像python、JavaScript就是弱类型语言,数值的类型由语言本身帮助你识别(虽然这样很容易出现类型判断出错的问题,但是对于编程人员的任务反而减轻了)
类型的本质
- 类型是对内存的一种抽象 。不同的类型,会有不同的内存布局和内存分配的策略
- 不同的类型有不同的操作
泛型的本质
上面说了语言有强弱之分,而我们在强类型语言当中不可避免的就要针对不同的数据类型做出不同的操作,而泛型就是将数据类型再次屏蔽掉的方式(相当于自己写一个类型处理系统)
其本质是屏蔽掉数据和操作数据的细节,让算法更为同意通用,让编程者更多地关注算法的结构,而不是在算法中处理不同的数据类型
如何做到泛型编程
- 通过类的方式解决
- 通过模板到达类型和算法的妥协
- 通过虚函数和运行时类型识别
实现泛型编程成功的例子
那肯定是STL(Standard Template Library,标准模板库)了,于1994年被纳入了C++标准程序库,它强大且可扩充,包含了很多计算机基本算法和数据结构,而且将算法与数据结构完全分离,其中算法是泛型的,不与任何特定的数据结构或对象类型联系在一起。