stl源码剖析_《STL源码剖析》第一章

1 STL概论与版本简介

1.1 STL概述

STL提供六大组件，彼此可以组合套用：

容器（Containers）：各种数据结构，如：vector、list、deque、set、map。用来存放数据。从实现的角度来看，STL容器是一种class template。

算法（algorithms）：各种常用算法，如：sort、search、copy、erase。从实现的角度来看，STL算法是一种 function template。

迭代器（iterators）：容器与算法之间的胶合剂，是所谓的“泛型指针”。共有五种类型，以及其他衍生变化。从实现的角度来看，迭代器是一种将 operator*、operator->、operator++、operator- - 等指针相关操作进行重载的class template。所有STL容器都有自己专属的迭代器，只有容器本身才知道如何遍历自己的元素。原生指针(native pointer)也是一种迭代器。

仿函数（functors）：行为类似函数，可作为算法的某种策略（policy）。从实现的角度来看，仿函数是一种重载了operator()的class或class template。一般的函数指针也可视为狭义的仿函数。

配接器（adapters）：一种用来修饰容器、仿函数、迭代器接口的东西。例如：STL提供的queue 和 stack，虽然看似容器，但其实只能算是一种容器配接器，因为它们的底部完全借助deque，所有操作都由底层的deque供应。改变 functors接口者，称为function adapter；改变 container 接口者，称为container adapter；改变iterator接口者，称为iterator adapter。

配置器（allocators）：负责空间配置与管理。从实现的角度来看，配置器是一个实现了动态空间配置、空间管理、空间释放的class template。

1.2六大组件相互交互

STL六大组件的交互关系：container 通过 allocator 取得数据存储空间，algorithm通过iterator存储container内容，functor可以协助algorithm完成不同的策略变化，adapter可以修饰或套接functor。

1.3 一些可能令人困惑的C++语法：

1.静态常量整数成员(double就不行)在class内部直接初始化

2.静态成员只能在类外初始化，且初始化时不加static

3.基类够构造函数中调用virtual函数实际调用的是基类中的virtual函数(这点和Java不同)

4.任何一个STL算法，都需要获得有一对迭代器(泛型指针)所指示的区间用以表示操作的范围。这一对迭代器表示的就是前闭后开区间