侯捷STL 2. STL体系结构基本介绍

1.STL 六大部件

• 容器 (Containers) 用于存放数据
• 分配器 (Allocators) 用于内存管理
• 算法 (Algorithms) 比如：排序
• 迭代器 (Iterators) 泛化的指针
• 适配器 (Adapters) 起到转换作用
• 仿函式 (Functors) 作用像是函数

图解：

2.示例

#include <vector>
#include <algorithm>
#include <functional>
#include <iostream>

using namespace std;

int main()
{
    int ia[6] = { 27 , 210 , 12 , 47 , 109 , 83 };
    vector <int, allocator<int>> vi(ia, ia + 6);
    cout << count_if(vi.begin(), vi.end(),not1(bind2nd(less<int>(), 40)));
    return 0;
}

解读：

1. 头文件

• 用到的三个头文件，根据第一节课讲到的，这里的三个头文件都没有 .h 所以他们都是再 namespace "std" 之中的 vector 是容器 algorithm 是算法
• functional 定义了多个用于表示函数对象的类模板，包括算法操作、比较操作、逻辑操作以及用于绑定函数对象的实参值的绑定器(binder)

2. vector定义

• 这里定义 vector 模板有两个参数
• 第一个是存放的数据的数据类型 这里是 int
• 第二个是分配器 (allocator) 分配的类型是 int，所以模板参数是 int
• vi 后面的括号中 是将数组的一部分，即从 ia 起始位置 到 ia + 6 位置 ，将这部分数据赋值给vector容器

3.算法

• 这段代码用到了 count_if , 迭代器 .begin() .end() , not1() , bind2nd() , less<int>()
• count_if 是根据所给条件统计符合条件的数据个数
• 迭代器 .begin() .end() 类似于指针，指向容器的头和尾
• not1() 返回一个对谓词(一元函数)的结果取反的函数对象
• bind2nd() 该函数通过将二元函数对象 op 的第二个参数绑定到固定值 x 来构造一元函数对象
• less<int>() 这个函数实现如下，判断两个参数的大小，一个bool ， 这里是判断 迭代器所指的元素 的大小 bind2nd() 是替换 less 中的第二个参数 const T& y 即迭代器指向的元素的值小于四十
• 所以这段代码的意思，迭代器从 vi 的 起始位置 到 终止位置 判断条件是 迭代器所指向的值 小于 40 ，并且取反，所以是迭代器所指向的值 大于四十 输出符合条件的元素个数
• 根据上述代码，输出的应该是 4

template <class T> struct less {
  bool operator() (const T& x, const T& y) const {return x<y;}
  typedef T first_argument_type;
  typedef T second_argument_type;
  typedef bool result_type;
};

3.前闭后开区间 [ )

c.begin() 指向的是容器中的第一个元素

c.end() 指向的则是最后一个元素的下一个位置

begin 和 end 所指向的区间就是前开后闭区间

4.容器的遍历

Container<T> c;
···
for(auto it = c.begin(); it != c.end(); it++)
    ···

auto 的 类型 是 Container<T>::iterator

C++ 11 新语法 （增强for）

for ( decl : coll )
{
	statement;
}

//遍历数组
for(int i : { 2, 3, 5, 7, 9. 13, 17, 19})
{
    std::cout << i << std::endl;
}

//遍历容器
vector<double> vec;
···
for(auto elem : vec)
{
    std::cout << elem << std::endl;
}

for(auto& elem : vec)
{
    elem *= 3;
}

decl 是“declare type”的缩写，译为“声明类型”

coll 可以是容器或者数组

iterator 和 iterator& 的区别

iterator&是引用，取出来的每个元素都是引用，并将引用赋值给elem，才可以改变它的数据

iterator 是值迭代器，会将元素的副本赋值给elem，所以并不会改变容器中的元素