STL学习一（六大部件）

STL概述

• 泛型程序设计

  泛型编程（generic programming）,将程序写得尽可能通用,将算法从数据结构中抽象出来，成为通用的。C++的模板为泛型程序设计奠定了关键的基础。

• 什么是STL

1、STL（Standard Template Library），即标准模板库，是一个高效的C++程序库。
2、包含了诸多在计算机科学领域里常用的基本数据结构和基本算法。为广大C++程序员们提供了一个可扩展的应用框架，高度体现了软件的可复用性。
3、从逻辑层次来看，在STL中体现了泛型化程序设计的思想（generic programming）。在这种思想里，大部分基本算法被抽象，被泛化，独立于与之对应的数据结构，用于以相同或相近的方式处理各种不同情形。
4、从实现层次看，整个STL是以一种类型参数化（type parameterized）的方式实现的，即基于模板(template)。

标准模板库VS标准库

• C++标准库是std名字空间中的所有内容，如vector、cstdio、iostream。其中std::string，及IO流都不属于STL，但它们是STL兼容的，可以应用迭代器，算法等。虽然std::string和IO流也是模板类，但并不属于STL。
• STL即标准模板库（Standard Template
  Library），是标准库的子集。它包括六大类组件：算法、容器、迭代器、函数对象、适配器、分配器。
  

STL六大组件及关系

#include <vector>
#include <algorithm>
#include <functional>
#include <iostream>
#include <list>
using namespace std;

int main ()
{
	  cout << "\ntest_all_components().......... \n";
  	int ia[7] = {27, 210, 12, 47, 109, 83, 40};
  	vector<int,allocator<int>> vi(ia,ia+7);

   	cout << count_if(vi.begin(), vi.end(), 
              not1(bind2nd(less<int>(), 40)));  //5 ：整个函数式目的在于遍历容器vi，计算其中int型数据>=40的参数个数。
    
    cout << endl;
    return 0;
}

//count_if前两个参数是iterator(迭代器)，表示查找 半闭合区间 的前后两个位置，第三个参数为一个用户定义的predicate function object，
// 而 predicate意思就是说是一个返回值是bool型的仿函数(function object，也称functor)。
// not1在这里是函数适配器，为自适应一元谓词，构造一个与谓词结果相反的一元函数对象，接受bool型的函数符转换成相反的bool型的仿函数，
// bind2nd在这里是函数适配器，是自适应二元谓词，将二元函数符less<int>的第二个参数和40绑定，整体作为一个一元函数符
// less<int>在这里是二元函数符

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()，使这个类具有了类似函数的行为，就是一个仿函数类了。一般函数指针、回调函数可视为狭义的仿函数。以操作数的个数划分，可分为一元和二元仿函数；以功能划分，可分为算术运算（加：plus、减：minus）、关系运算（等于：equal_to，不等于：not_equal_to）、逻辑运算三大类。这部分内建的仿函数，均放在头文件里，使用时需引入头文件。
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配置器）