1、什么是泛型编程?与模板和STL有何关系?
一般来说程序是由数据结构和算法构成的,在面向过程的设计语言中这一点特别明显。而且基于不同的数据结构,算法的具体实现过程可能有很大的区别。这种特性在OOP语言中可能就令人不太舒服了,所以就在想有没有一种方法可以把数据结构和算法分开,算法-也就是实现方法固定,可以匹配不同的数据对象,这种思想就是泛型编程。
在C++中实现泛型编程这种设计思想的技术基础是通过模板(templates),STL(标准模板库)是依据泛型编程思想并通过模板技术实现的一个标准库。STL提供了标准数据结构和对应的通用算法。
2、STL与C++标准库函数的关系
STL是最新的C++标准函数库中的一个子集,这个庞大的子集占据了整个库的大约80%的分量。而作为在实现STL过程中扮演关键角色的模板则充斥了几乎整个C++标准函数库。
3、STL六大组件的关系
下面摘自《STL源码剖析》1.2节。
STL提供六大组件,彼此可以组合套用:
1、容器(Containers):各种数据结构,如Vector,List,Deque,Set,Map,用来存放数据。从实现的角度来看,STL容器是一各class template,就体积而言,这一部分很像冰山载海面的比率。 2、算法(Algorithms):各种常用算法如Sort,Search,Copy,Erase。从实现的角度来看,STL算法是一种Function Templates。 3、迭代器(Iterators):扮演容器与算法之间的胶合剂,是所谓的“泛型指针”,共有五种类型,以及其它衍生变化,从实现的角度来看,迭代器是一种将:Operators*,Operator->,Operator++,Operator--等相关操作予以重载的Class Template。所有STL容器都附带有自己专属的迭代器——是的,只有容器设计者才知道如何遍历自己的元素,原生指针(Native pointer)也是一迭代器。 4、仿函数(Functors): 行为类似函数,可作为算法的某种策略(Policy),从实现的角度来看,仿函数是一种重载了Operator()的Class 或 Class Template。一般函数指针可视为狭义的仿函数。 5、配接器(Adapters):一种用来修饰容器(Containers)或仿函数(Functors)或迭代器(Iterators)接口的东西,例如:STL提供的Queue和Stack,虽然看似容器,其实只能算是一种容器配接器,因为它们的底部完全借助Deque,所有操作有底层的Deque供应。改变Functor接口者,称为Function Adapter;改变Container接口者,称为Container Adapter;改变Iterator接口者,称为Iterator Adapter。配接器的实现技术很难一言蔽之,必须逐一分析。 6、配置器(Allocators):负责空间配置与管理,从实现的角度来看,配置器是一个实现了动态空间配置、空间管理、空间释放的Class Template。
这六大组件的交互关系:container(容器) 通过 allocator(配置器) 取得数据储存空间,algorithm(算法)通过 iterator(迭代器)存取 container(容器) 内容,functor(仿函数) 可以协助 algorithm(算法) 完成不同的策略变化,adapter(配接器) 可以修饰或套接 functor(仿函数)。