STL——概述

注：本文主要参考自《STL 源码剖析》，故涉及到的文件及源码均基于SGI STL(GCC采用)

一、STL六大组件

---

1、容器（containers）：STL内部封装好的数据结构，一种class template，常用的包括vector、list、deque、set、map、multiset、multimap等
2、算法（algorithm）：一种function template，常用的有sort、search、copy、erase等
3、迭代器(iterator)：泛型指针，是一种智能指针，是一种将operator*，operator->，operator++，operator–等指针相关操作予以重载的class template。所有STL容器都附带自己的迭代器
4、仿函数(functor)：行为类似函数，就是使一个类的使用看上去象一个函数，具有可配接性。它的具体实现就是通过在类中重载了operator()，使这个类具有了类似函数的行为，就是一个仿函数类了。一般函数指针、回调函数可视为狭义的仿函数。以操作数的个数划分，可分为一元和二元仿函数；以功能划分，可分为算术运算、关系运算、逻辑运算三大类。这部分内建的仿函数，均放在<stl_functional>头文件里，使用时需引入<functional>头文件
STL内建仿函数分类包括：
  1）算术类仿函数
     加：plus<T>
     减：minus<T>
     乘：multiplies<T>
     除：divides<T>
     模取：modulus<T>
     否定：negate<T>
  2）关系运算类仿函数
     等于：equal_to<T>
     不等于：not_equal_to<T>
     大于：greater<T>
     大于等于：greater_equal<T>
     小于：less<T>
     小于等于：less_equal<T>
  3）逻辑运算仿函数
     逻辑与：logical_and<T>
     逻辑或：logical_or<T>
     逻辑否：logical_no<T>
使用举例如下：

#include <iostream>  
#include <numeric>  
#include <vector>   
#include <functional>   
using namespace std;  

int main()  
{  
    int ia[]={
  1,2,3,4,5};  
    vector<int> iv(ia,ia+5);  
    cout<<accumulate(iv.begin(),iv.end(),1,multiplies<int>())<<endl;   
    multiplies<int> multipliesobj;
    cout<<multipliesobj(3,5)<<endl;  
    sort(iv.begin(),iv.end(),greater<int>());    
    modulus<int>  modulusObj;  
    cout<<modulusObj(3,5)<<endl; // 3   
    return 0;   
}   

5、配接器(adapter)：一种用来修饰容器(container)或仿函数(functor)或迭代器(iterator)接口的东西。如queue和stack。它们的底部完全借助deque，所有操作都由底层的deque供应。改变functor接口者，称为functor adapter，改变container接口者，称为container adapter；改变iterator接口者，称为iterator adapter。
6、配置器(allocator)：负责空间配置与管理。是一个实现了动态空间配置、空间管理、空间释放的class template。一般SGI STL为每一个容器都指定其缺省的空间配置器为alloc（SGI配置器）

二、从配置器剖析STL内存机制

---

一般而言，我们习惯的C++内存配置操作和释放操作是这样的：

class Foo {
  ...};
Foo *pf = new Foo;
delete pf;

这其中的new算式内含两阶段操作：
     （1）调用::operator new配置内存；
     （2）调用Foo::Foo() 构造对象内容
delete算式也内含两阶段操作：
     （1）调用Foo::~Foo()析构对象内容
     （2）调用::operator delete释放内存

STL allocator将这两阶段操作区分开来，内存配置由alloc::allocate()负责，内存释放操作由alloc::deallocate()负责，存放在<stl_alloc.h>中；对象构造操作由::construct()负责，对象析构操作由::destroy()负责，定义在<stl_construct.h>中，整个配置器定义于<memory>之中

其中，构造、析构函数被设计为全局函数，同时，配置器中也必须拥有construct()和destroy()两个成员函数，具体实现也不算复杂，看过源码之后应该大概可以理解，只是根据不同的情况重载了几个版本，这里不做重点讨论，下面就空间的配置与释放进行详细展开。

首先我们要先了解SGI设计alloc时的几个基准：
（1）需要实现向系统堆栈申请空间
（2）考虑多线程状态
（3）考虑内存不足时的应变策略
（4）考虑过多“小型区块”可能造成的内存碎片问题
内存的配置：
首先是申请内存空间的问题，SGI中使用malloc()和free()完成内存的配置与释放；考虑到内存碎片的问题，SGI设计了双层级配置器来解决这一问题

所谓的双层级配置器，即设计了第一级配置器和第二级配置器以应对不同的内存需求。
第一级配置器直接使用malloc()和free()，realloc(),并实现出类似C++ new-handler机制。所谓的C++ new-handler机制，即指可以要求系统在内存配置需求无法满足时，调用一个你所指定的函数（由客端提供）。对于::operator new来说，指定的函数即被称为new-hand