编写不依赖于具体数据类型的程序

算法从特定的数据结构中抽象出来,成为通用的

C++的模板为泛型程序设计奠定了关键的基础

术语:概念 Concept

  • 用来界定具备一定功能的数据类型。例如:
    • 将“可以比大小的所有数据类型(有比较运算符)”这一概念记为Comparable
    • 将“具有公有的复制构造函数并可以用‘=’赋值的数据类型”这一概念记为Assignable
    • 将“可以比大小、具有公有的复制构造函数并可以用‘=’赋值的所有数据类型”这个概念记作Sortable
  • 对于两个不同的概念A和B,如果概念A所需求的所有功能也是概念B所需求的功能,那么就说概念B是概念A的子概念。例如:
    • Sortable既是Comparable的子概念,也是Assignable的子概念(这里有种继承的感觉)

术语:模型Model

  • 符合一个概念的数据类型称为该概念的模型,例如:
    • int型是Comparable概念的模型。(或者说实现)
    • 静态数组类型不是Assignable概念的模型(无法用“=”给整个静态数组赋值)

用概念做模板参数名

  • 很多STL的实现代码就是使用概念来命名模板参数的。
  • 为概念赋予一个名称,并使用该名称作为模板参数名。
    例如,表示insertionSort这样一个函数模板的原型:cpp template <class Sortable> void insertionSort(Sortable a[], int n);

总结:概念就是对一类数据类型的总结描述(描述的角度从算法出发),而模型是概念的具体化。

A new level of abstraction!

STL

标准模板库(Standard Template Library,简称STL)提供了一些非常常用的数据结构和算法

  • 标准模板库(Standard Template Library,简称STL)定义了一套概念体系,为泛型程序设计提供了逻辑基础
  • STL中的各个类模板、函数模板的参数都是用这个体系中的概念来规定的。
  • 使用STL的模板时,类型参数既可以是C++标准库中已有的类型,也可以是自定义的类型——只要这些类型是所要求概念的模型。

STL的基本组件

  • 容器(container)
  • 迭代器(iterator)
  • 函数对象(function object)
  • 算法(algorithms)

STL的基本组件间的关系
  • Iterators(迭代器)是算法和容器的桥梁。
  • 将迭代器作为算法的参数、通过迭代器来访问容器而不是把容器直接作为算法的参数。
  • 函数对象作为算法的参数而不是将函数所执行的运算作为算法的一部分。
  • 使用STL中提供的或自定义的迭代器和函数对象,配合STL的算法,可以组合出各种各样的功能。
  • 还有适配器可以产生函数对象

1236659027212111872.png

STL的基本组件——容器(container)

容纳、包含一组元素的对象。

基本容器类模板

  • unordered_set (无序集合)、unordered_multiset(无序多重集合)
  • unordered_map(无序映射)、unorder_multimap(无序多重映射)
  • set(集合)、multiset(多重集合)、map(映射)、multimap(多重映射)
  • array(数组)、vector(向量)、deque(双端队列)、forward_list(单链表)、list(列表)
  • 顺序容器
  • (有序)关联容器
  • 无序关联容器

容器适配器

  • stack(栈)、queue(队列)、priority_queue(优先队列)

使用容器,需要包含对应的头文件

STL的基本组件——迭代器(iterator)

  • 迭代器是泛化的指针,提供了顺序访问容器中每个元素的方法
  • 提供了顺序访问容器中每个元素的方法;
  • 可以使用“++”运算符来获得指向下一个元素的迭代器;
  • 可以使用“*”运算符访问一个迭代器所指向的元素,如果元素类型是类或结构体,还可以使用“->”运算符直接访问该元素的一个成员;
  • 有些迭代器还支持通过“—”运算符获得指向上一个元素的迭代器;
  • 迭代器是泛化的指针:指针也具有同样的特性,因此指针本身就是一种迭代器;
  • 使用独立于STL容器的迭代器,需要包含头文件

STL的基本组件——函数对象(function object)

  • 一个行为类似函数的对象,对它可以像调用函数一样调用。
  • 函数对象是泛化的函数:任何普通的函数和任何重载了“()” 运算符的类的对象都可以作为函数对象使用
  • 使用STL的函数对象,需要包含头文件

STL的基本组件——算法(algorithms)

STL包括70多个算法

  • 例如:排序算法,消除算法,计数算法,比较算法,变换算法,置换算法和容器管理等

可以广泛用于不同的对象和内置的数据类型。

使用STL的算法,需要包含头文件

例10-1从标准输入读入几个整数,存入向量容器,输出它们的相反数

例10-1:STL程序实例

transform算法的一种实现:

image-20200403193042807.png

  1. template <class InputIterator, class OutputIterator, class UnaryFunction>
  2. OutputIterator transform(InputIterator first, InputIterator last, OutputIterator result, UnaryFunction op) {
  3. for (;first != last; ++first, ++result)
  4. *result = op(*first);
  5. return result;
  6. }
  • transform算法顺序遍历firstlast两个迭代器所指向的元素;
  • 将每个元素的值作为函数对象op的参数;
  • 将op的返回值通过迭代器result顺序输出;
  • 遍历完成后result迭代器指向的是输出的最后一个元素的下一个位置,transform会将该迭代器返回

一、迭代器

迭代器是算法和容器的桥梁

  • 迭代器用作访问容器中的元素
  • 算法不直接操作容器中的数据,而是通过迭代器间接操作
    • 算法和容器独立
    • 增加新的算法,无需影响容器的实现
    • 增加新的容器,原有的算法也能适用

1.1输入流迭代器和输出流迭代器

输入流迭代器

  1. istream_iterator<T>
  • 以输入流(如cin)为参数构造
  • 可用*(p++)获得下一个输入的元素

输出流迭代器

  1. ostream_iterator<T>
  • 构造时需要提供输出流(如cout)
  • 可用(*p++) = x将x输出到输出流

二者都属于适配器

  • 适配器是用来为已有对象提供新的接口的对象
  • 输入流适配器和输出流适配器为流对象提供了迭代器的接口

例10-2从标准输入读入几个实数,分别将它们的平方输出

  1. //10_2.cpp
  2. #include <iterator>
  3. #include <iostream>
  4. #include <algorithm>
  5. using namespace std;
  6. //求平方的函数
  7. double square(double x) {
  8. return x * x;
  9. }
  10. int main() {
  11. //从标准输入读入若干个实数,分别将它们的平方输出
  12. transform(istream_iterator<double>(cin), istream_iterator<double>(),
  13. ostream_iterator<double>(cout, "\t"), square);
  14. cout << endl;
  15. return 0;
  16. }

1.2迭代器的分类

迭代器是泛化的指针,提供了类似指针的操作(诸如++、*、->运算符)

1236659800931176448.png

迭代器支持的操作

输入迭代器

  • 可以用来从序列中读取数据,如输入流迭代器

输出迭代器

  • 允许向序列中写入数据,如输出流迭代器

前向迭代器

  • 既是输入迭代器又是输出迭代器,并且可以对序列进行单向的遍历

双向迭代器

  • 与前向迭代器相似,但是在两个方向上都可以对数据遍历

随机访问迭代器

  • 也是双向迭代器,但能够在序列中的任意两个位置之间进行跳转,如指针、使用vector的begin()、end()函数得到的迭代器

1.4 迭代器的区间

两个迭代器表示一个区间:[p1, p2) ,左闭合区间长度 = p1-p1

STL算法常以迭代器的区间作为输入,传递输入数据

  • p1经过n次(n > 0)自增(++)操作后满足p1 == p2

例10-3 综合运用几种迭代器的示例

程序涉及到输入迭代器、输出迭代器、随机访问迭代器这三个迭代器概念,并且以前两个概念为基础编写了一个通用算法。

//10_3.cpp
#include <algorithm>
#include <iterator>
#include <vector>
#include <iostream>
using namespace std;

//将来自输入迭代器的n个T类型的数值排序,将结果通过输出迭代器result输出
template <class T, class InputIterator, class OutputIterator>
void mySort(InputIterator first, InputIterator last, OutputIterator result) {
    //通过输入迭代器将输入数据存入向量容器s中
    vector<T> s;
    for (;first != last; ++first)
        s.push_back(*first);
    //对s进行排序,sort函数的参数必须是随机访问迭代器
    sort(s.begin(), s.end());  
    copy(s.begin(), s.end(), result);   //将s序列通过输出迭代器输出
}

int main() {
    //将s数组的内容排序后输出
    double a[5] = { 1.2, 2.4, 0.8, 3.3, 3.2 };
    mySort<double>(a, a + 5, ostream_iterator<double>(cout, " "));
    cout << endl;
    //从标准输入读入若干个整数,将排序后的结果输出
    mySort<int>(istream_iterator<int>(cin), istream_iterator<int>(), ostream_iterator<int>(cout, " "));
    cout << endl;
    return 0;
}
/*
运行结果:
0.8 1.2 2.4 3.2 3.3
2 -4 5 8 -1 3 6 -5
-5 -4 -1 2 3 5 6 8
*/

迭代器的辅助函数

advance(p, n)

  • 对p执行n次自增操作

distance(first, last)

  • 计算两个迭代器first和last的距离,即对first执行多少次“++”操作后能够使得first == last

二、容器基本功能

容器类是容纳、包含一组元素或元素集合的对象。

基于容器中元素的组织方式:顺序容器、关联容器

按照与容器所关联的迭代器类型划分:可逆容器、随机访问容器

下图箭头表示子集。

1236661238482735104.png

容器的通用功能

  • 容器的通用功能
    • 用默认构造函数构造空容器
    • 支持关系运算符:==、!=、<、<=、>、>=
    • begin()、end():获得容器首、尾迭代器
    • clear():将容器清空
    • empty():判断容器是否为空
    • size():得到容器元素个数
    • s1.swap(s2):将s1和s2两容器内容交换
  • 相关数据类型(S表示容器类型)
    • S::iterator:指向容器元素的迭代器类型
    • S::const_iterator:常迭代器类型

对可逆容器的访问

STL为每个可逆容器都提供了逆向迭代器,逆向迭代器可以通过下面的成员函数得到:

  • rbegin() :指向容器尾的逆向迭代器
  • rend():指向容器首的逆向迭代器

逆向迭代器的类型名的表示方式如下:

  • S::reverse_iterator:逆向迭代器类型
  • S::const_reverse_iterator:逆向常迭代器类型

随机访问容器

随机访问容器支持对容器的元素进行随机访问

  • s[n]:获得容器s的第n个元素

三、顺序容器

元素线性排列,可以随时在指定位置插入元素和删除元素。

必须符合Assignable这一概念(即具有公有的拷贝构造函数并可以用“=”赋值)。

  • 向量(vector)
  • 双端队列(deque)
  • 列表(list)
  • 单向链表(forward_list) (以上四种在逻辑上可看作是一个长度可扩展的数组)
  • 数组(array)
  • array对象的大小固定,forward_list有特殊的添加和删除操作。

顺序容器的接口(不包含单向链表(forward_list)和数组(array))

  • 构造函数
  • 赋值函数
    • assign
  • 插入函数
    • insert, push_front(只对list和deque), push_back,emplace,emplace_front
    • 删除函数
    • erase,clear,pop_front(只对list和deque) ,pop_back,emplace_back
  • 首尾元素的直接访问
    • front,back
  • 改变大小
    • resize

Array

对数组的封装,使用更加安全和规范。

Vector

vector是一个可扩充的数组。

  • 可随机访问,在尾部插入或者删除元素快。
  • vector底层实现时,会一次性扩充好旧空间的2倍。
  • 容量(capacity):实际分配空间的大小
  • s.capacity() :返回当前容量
  • s.reserve(n):若容量小于n,则对s进行扩展,使其容量至少为n
#include<vector>
#include<iostream>
using namespace std;
int main()
{
    vector<int>test;
    test.clear()               //清除容器中所有数据
    test.empty()               //判断容器是否为空
    test.erase(pos)            //删除pos位置的数据
    test.erase(beg,end)        //删除[beg,end)区间的数据
    test.front()               //传回第一个数据
    test.insert(pos,elem)      //在pos位置插入一个elem拷贝
    test.pop_back()            //删除最后一个数据
    test.push_back(elem)       //在尾部加入一个数据
    test.resize(num)           //重新设置该容器的大小
    test.size()                //返回容器中实际数据的个数
    test.begin()               //返回指向容器第一个元素的迭代器
    test.end()                 //返回指向容器最后一个元素的迭代器

    //Example
    test.push_back(3); //将 3 (int型)追加到容器末尾 
    test.clear(); //清除(移除容器中所有元素) 
    vector<int>().swap(test); //释放内存 使vector离开其自身的作用域,从而强制释放vector所占的内存空间
}

Deque

16858913-8b7a172f90935d8d.png

双端队列(deque)是指允许两端都可以进行入队和出队操作的队列,deque 是 “double ended queue” 的简称。那就说明元素可以从队头出队和入队,也可以从队尾出队和入队。

  • 两端插入或者删除元素快
  • 中间插入或者删除元素慢
  • 随机访问较快,但是比vector慢

List

20180815085846638.png

list 由双向链表(doubly linked list)实现而成,元素也存放在堆中,每个元素都是放在一块内存中,他的内存空间可以是不连续的,通过指针来进行数据的访问,这个特点使得它的随机存取变得非常没有效率,因此它没有提供 [] 操作符的重载。但是由于链表的特点,它可以很有效率的支持任意地方的插入和删除操作。

  • 在任意位置插入和删除元素都很快
  • 支持接合(splice)操作
  • 不支持随机访问

forward_list

16858913-b9db7495592db2c9.png

  • 单向链表每个结点只有指向下个结点的指针,没有简单的方法来获取一个结点的前驱;
  • 未定义insert、emplace和erase操作,而定义了insert_after、emplace_after和erase_after操作,其参数与list的insert、emplace和erase相同,但并不是插入或删除迭代器p1所指的元素,而是对p1所指元素之后的结点进行操作;
  • 不支持size操作。

顺序容器选型

REG泛型程序设计与C  模板库 - 图8

C++11 emplace

emplace 最大的作用是避免产生不必要的临时变量,因为它可以完成 in place 的构造,举个例子:

struct Foo {
    Foo(int n, double x);
};

std::vector<Foo> v;
v.emplace(someIterator, 42, 3.1416);        // 没有临时变量产生
v.insert(someIterator, Foo(42, 3.1416));    // 需要产生一个临时变量
v.insert(someIterator, {42, 3.1416});       // 需要产生一个临时变量

这是 emplace 和 insert 最大的区别点。emplace 的语法看起来不可思议,在上 面的例子中后面两个参数自动用来构造 vector 内部的 Foo 对象。做到这一点主要 使用了 C++11 的两个新特性 变参模板变参模板 和 完美转发完美转发。”变参模板”使得 emplace 可以接受任意参数,这样就可以适用于任意对象的构建。
”完美转发”使得接收下来的参数 能够原样的传递给对象的构造函数,这带来另一个方便性就是即使是构造函数声明为 explicite它还是可以正常工作,因为它不存在临时变量和隐式转换。

struct Bar {
    Bar(int a) {}
    explicit Bar(int a, double b) {}
};

int main(void)
{
    vector<Bar> bv;
    bv.push_back(1);        // 隐式转换生成临时变量
    bv.push_back(Bar(1));   // 显示构造临时变量
    bv.emplace_back(1);     // 没有临时变量

    //bv.push_back({1, 2.0});   //  无法进行隐式转换
    bv.push_back(Bar(1, 2.0));  //  显示构造临时变量
    bv.emplace_back(1, 2.0);    //  没有临时变量

    return 0;
}

例10-4 顺序容器的基本操作

//10_4.cpp
#include <iostream>
#include <list>
#include <deque>

//输出指定的顺序容器的元素
template <class T>
void printContainer(const char* msg, const T& s) {
    cout << msg << ": ";
    copy(s.begin(), s.end(), ostream_iterator<int>(cout, " "));
    cout << endl;
}

int main() {
    //从标准输入读入10个整数,将它们分别从s的头部加入
    deque<int> s;
    for (int i = 0; i < 10; i++) {
        int x;
        cin >> x;
        s.push_front(x);
    }
    printContainer("deque at first", s);
    //用s容器的内容的逆序构造列表容器l
    list<int> l(s.rbegin(), s.rend());
    printContainer("list at first", l);

    //将列表容器l的每相邻两个元素顺序颠倒
    list<int>::iterator iter = l.begin();
    while (iter != l.end()) {
        int v = *iter;  
        iter = l.erase(iter);
        l.insert(++iter, v);
    }
    printContainer("list at last", l);
    //用列表容器l的内容给s赋值,将s输出
    s.assign(l.begin(), l.end());
    printContainer("deque at last", s);
    return 0;
}
/*  
运行结果如下: 
0 9 8 6 4 3 2 1 5 4
deque at first: 4 5 1 2 3 4 6 8 9 0
list at first: 0 9 8 6 4 3 2 1 5 4
list at last: 9 0 6 8 3 4 1 2 4 5
deque at last: 9 0 6 8 3 4 1 2 4 5
/*

顺序容器的插入迭代器与适配器

顺序容器的插入迭代器

  • 用于向容器头部、尾部或中间指定位置插入元素的迭代器
  • 包括前插迭代器(front_inserter)、后插迭代器(back_insrter)和任意位置插入迭代器(inserter)
  • 例:cpp list<int> s; back_inserter iter(s); *(iter++) = 5; //通过iter把5插入s末尾

顺序容器的适配器

  • 以顺序容器为基础构建一些常用数据结构,是对顺序容器的封装
    • 栈(stack):最先压入的元素最后被弹出
    • 队列(queue):最先压入的元素最先被弹出
    • 优先级队列(priority_queue):最“大”的元素最先被弹出

栈和队列模板

  • 栈模板template <class T, class Sequence = deque<T> > class stack;

  • 队列模板template <class T, class FrontInsertionSequence = deque<T> > class queue;

  • 栈可以用任何一种顺序容器作为基础容器,而队列只允许用前插顺序容器(双端队列或列表)

栈和队列共同支持的操作
  • s1 op s2 op可以是==、!=、<、<=、>、>=之一,它会对两个容器适配器之间的元素按字典序进行比较
  • s.size() 返回s的元素个数
  • s.empty() 返回s是否为空
  • s.push(t) 将元素t压入到s中
  • s.pop() 将一个元素从s中弹出,对于栈来说,每次弹出的是最后被压入的元素,而对于队列,每次被弹出的是最先被压入的元素
  • 不支持迭代器,因为它们不允许对任意元素进行访问

栈和队列不同的操作
  • 栈的操作
    • s.top() 返回栈顶元素的引用
  • 队列操作
    • s.front() 获得队头元素的引用
    • s.back() 获得队尾元素的引用

例10-7 利用栈反向输出单词
//10_7.cpp, 省略头部分
int main() {
    stack<char> s;
    string str;
    cin >> str; //从键盘输入一个字符串
    //将字符串的每个元素顺序压入栈中
    for (string::iterator iter = str.begin(); iter != str.end(); ++iter)
        s.push(*iter);
    //将栈中的元素顺序弹出并输出
    while (!s.empty()) {
        cout << s.top();
        s.pop();
    }
    cout << endl;
    return 0;
}
运行结果如下:
congratulations
snoitalutargnoc

优先级队列

  • 优先级队列也像栈和队列一样支持元素的压入和弹出,但元素弹出的顺序与元素的大小有关,每次弹出的总是容器中最“大”的一个元素。template <class T, class Sequence = vector<T> > class priority_queue;

  • 优先级队列的基础容器必须是支持随机访问的顺序容器。

  • 支持栈和队列的size、empty、push、pop几个成员函数,用法与栈和队列相同。
  • 优先级队列并不支持比较操作。
  • 与栈类似,优先级队列提供一个top函数,可以获得下一个即将被弹出元素(即最“大”的元素)的引用。

例10-8 细胞分裂模拟

一种细胞在诞生(即上次分裂)后会在500到2000秒内分裂为两个细胞,每个细胞又按照同样的规律继续分裂。

// 10.8.cpp, 头部分省略
const int SPLIT_TIME_MIN = 500;    //细胞分裂最短时间
const int SPLIT_TIME_MAX = 2000;  //细胞分裂最长时间

class Cell;
priority_queue<Cell> cellQueue;

class Cell {    //细胞类
private:
    static int count;   //细胞总数
    int id;     //当前细胞编号
    int time;   //细胞分裂时间
public:
    Cell(int birth) : id(count++) { //birth为细胞诞生时间
        //初始化,确定细胞分裂时间
        time = birth + (rand() % (SPLIT_TIME_MAX - SPLIT_TIME_MIN))+ SPLIT_TIME_MIN;
    }
    int getId() const { return id; }        //得到细胞编号
    int getSplitTime() const { return time; }   //得到细胞分裂时间
    bool operator < (const Cell& s) const      //定义“<”
    { return time > s.time; }
    void split() {  //细胞分裂
        Cell child1(time), child2(time);    //建立两个子细胞
        cout << time << "s: Cell #" << id << " splits to #"
        << child1.getId() << " and #" << child2.getId() << endl;
        cellQueue.push(child1); //将第一个子细胞压入优先级队列
        cellQueue.push(child2); //将第二个子细胞压入优先级队列
    }
};
int Cell::count = 0;
int main() {
    srand(static_cast<unsigned>(time(0)));
    int t;  //模拟时间长度
    cout << "Simulation time: ";
    cin >> t;
    cellQueue.push(Cell(0));    //将第一个细胞压入优先级队列
    while (cellQueue.top().getSplitTime() <= t) {
        cellQueue.top().split();    //模拟下一个细胞的分裂
        cellQueue.pop();    //将刚刚分裂的细胞弹出
    }
    return 0;
}
/*
运行结果如下:
Simulation time: 5000
971s: Cell #0 splits to #1 and #2
1719s: Cell #1 splits to #3 and #4
1956s: Cell #2 splits to #5 and #6
2845s: Cell #6 splits to #7 and #8
3551s: Cell #3 splits to #9 and #10
3640s: Cell #4 splits to #11 and #12
3919s: Cell #5 splits to #13 and #14
4162s: Cell #10 splits to #15 and #16
4197s: Cell #8 splits to #17 and #18
4317s: Cell #7 splits to #19 and #20
4686s: Cell #13 splits to #21 and #22
4809s: Cell #12 splits to #23 and #24
4818s: Cell #17 splits to #25 and #26
*/

四、关联容器

  • 关联容器的特点
    • 每个关联容器都有一个键(key)
    • 可以根据键高效地查找元素
  • 接口
    • 插入:insert
    • 删除:erase
    • 查找:find
    • 定界:lower_bound、upper_bound、equal_range
    • 计数:count

四种关联容器概念图

15659274373284.png

  • 单重关联容器(set和map)
    • 键值是唯一的,一个键值只能对应一个元素
  • 多重关联容器(multiset和multimap)
    • 键值是不唯一的,一个键值可以对应多个元素
  • 简单关联容器(set和multiset)
    • 容器只有一个类型参数,如set、multiset,表示键类型
    • 容器的元素就是键本身
  • 二元关联容器(map和multimap)
    • 容器有两个类型参数,如map、multimap,分别表示键和附加数据的类型
    • 容器的元素类型是pair,即由键类型和元素类型复合而成的二元组

无序关联容器

  • C++11新标准中定义了4个无序关联容器
    • unordered_set、unordered_map、unordered_multiset、unordered_multimap
  • 不是使用比较运算符来组织元素的,而是通过一个哈希函数和键类型的==运算符。
  • 提供了与有序容器相同的操作
  • 可以直接定义关键字是内置类型的无序容器。
  • 不能直接定义关键字类型为自定义类的无序容器,如果需要,必须提供我们自己的hash模板

Set

集合用来存储一组无重复的元素。由于集合的元素本身是有序的,可以高效地查找指定元素,也可以方便地得到指定大小范围的元素在容器中所处的区间。

insert的返回类型为pair<iterator,bool>

输入一串实数,将重复的去掉,取最大和最小者的中值,分别输出小于等于此中值和大于等于此中值的实数

//10_9.cpp
#include <set>
#include <iterator>
#include <utility>
#include <iostream>
using namespace std;

int main() {
    set<double> s;
    while (true) {
        double v;
        cin >> v;
        if (v == 0) break;  //输入0表示结束
        //尝试将v插入
       pair<set<double>::iterator,bool> r=s.insert(v); 
        if (!r.second)  //如果v已存在,输出提示信息
           cout << v << " is duplicated" << endl;
    }
  //得到第一个元素的迭代器
    set<double>::iterator iter1=s.begin();
    //得到末尾的迭代器
    set<double>::iterator iter2=s.end();    
  //得到最小和最大元素的中值    
    double medium=(*iter1 + *(--iter2)) / 2;    
    //输出小于或等于中值的元素
    cout<< "<= medium: ";
    copy(s.begin(), s.upper_bound(medium), ostream_iterator<double>(cout, " "));
    cout << endl;
    //输出大于或等于中值的元素
    cout << ">= medium: ";
    copy(s.lower_bound(medium), s.end(), ostream_iterator<double>(cout, " "));
    cout << endl;
    return 0;
}
运行结果如下:
  1 2.5 5 3.5 5 7 9 2.5 0
  5 is duplicated
  2.5 is duplicated
  <= medium: 1 2.5 3.5 5
  >= medium: 5 7 9

Map

template < class Key,                                   //map::key_tpe
           class T,                                     //map::mapped_type
           class Compare = less<Key>,                   //map::key_compare
           class Alloc = allocator<pair<const Key, T>>  //map::allocator_type
            >
class map;

映射与集合同属于单重关联容器,它们的主要区别在于,集合的元素类型是键本身,而映射的元素类型是由键和附加数据所构成的二元组。

在集合中按照键查找一个元素时,一般只是用来确定这个元素是否存在,而在映射中按照键查找一个元素时,除了能确定它的存在性外,还可以得到相应的附加数据。

统计一句话中每个字母出现的次数

// 10_11.cpp
#include <iostream>
#include <map>
#include <cctype>
using namespace std;
int main() {
    map<char, int> s;   //用来存储字母出现次数的映射
    char c;     //存储输入字符
    do {
      cin >> c; //输入下一个字符
      if (isalpha(c)){ //判断是否是字母
          c = tolower(c); //将字母转换为小写
          s[c]++;      //将该字母的出现频率加1
      }
    } while (c != '.'); //碰到“.”则结束输入
    //输出每个字母出现次数
    for (map<char, int>::iterator iter = s.begin(); iter != s.end(); ++iter)
        cout << iter->first << " " << iter->second << "  ";
    cout << endl;
    return 0;
}

Multiset & Multimap

  • 多重集合是允许有重复元素的集合,多重映射是允许一个键对应多个附加数据的映射。
  • 多重集合与集合、多重映射与映射的用法差不多,只在几个成员函数上有细微差异,其差异主要表现在去除了键必须唯一的限制。

例10-12 上课时间查询

//10_12.cpp
#include <iostream>
#include <map>
#include <utility>
#include <string>
using namespace std;
int main() {
    multimap<string, string> courses;
    typedef multimap<string, string>::iterator CourseIter;

    //将课程上课时间插入courses映射中
    courses.insert(make_pair("C++", "2-6"));
    courses.insert(make_pair("COMPILER", "3-1"));
    courses.insert(make_pair("COMPILER", "5-2"));
    courses.insert(make_pair("OS", "1-2"));
    courses.insert(make_pair("OS", "4-1"));
    courses.insert(make_pair("OS", "5-5"));
    //输入一个课程名,直到找到该课程为止,记下每周上课次数
    string name;
    int count;
    do {
        cin >> name;
        count = courses.count(name);
        if (count == 0)
          cout << "Cannot find this course!" << endl;
    } while (count == 0);
    //输出每周上课次数和上课时间
    cout << count << " lesson(s) per week: ";
    pair<CourseIter, CourseIter> range = courses.equal_range(name);
    for (CourseIter iter = range.first; iter != range.second; ++iter)
        cout << iter->second << " ";
    cout << endl;

    return 0;
}
运行结果如下:
JAVA
Cannot find this course!
OS
3 lesson(s) per week: 1-2 4-1 5-5

五、函数对象

一个行为类似函数的对象

可以没有参数,也可以带有若干参数

其功能是获取一个值,或者改变操作的状态。

  • 普通函数就是函数对象
  • 重载了“()”运算符的类的实例是函数对象

5.1 函数对象概念图

1236665578106785792.png

例10-13、例10-14:

  • 使用两种方式定义表示乘法的函数对象
    • 通过定义普通函数(例10-13)
    • 通过重载类的“()”运算符(例10-14)
  • 用到以下算法:template<class InputIterator, class Type, class BinaryFunction> Type accumulate(InputIterator first, InputIterator last, Type val, BinaryFunction binaryOp);

    • 对[first, last)区间内的数据进行累“加”,binaryOp为用二元函数对象表示的“加”运算符,val为累“加”的初值
#include <iostream>   
#include <numeric> //包含数值算法头文件
using namespace std;

//定义一个普通函数
int mult(int x, int y) { return x * y; };   

int main() {
    int a[] = { 1, 2, 3, 4, 5 };
    const int N = sizeof(a) / sizeof(int);
    cout << "The result by multipling all elements in a is "
        << accumulate(a, a + N, 1, mult)
        << endl;
    return 0;
}
//10_14.cpp
#include <iostream>
#include <numeric> //包含数值算法头文件
using namespace std;
class MultClass{  //定义MultClass类
public:
  //重载操作符operator()
    int operator() (int x, int y) const { return x * y; }   
};
int main() {
    int a[] = { 1, 2, 3, 4, 5 };
    const int N = sizeof(a) / sizeof(int);
    cout << "The result by multipling all elements in a is "
        << accumulate(a, a + N, 1, MultClass()) //将类multclass传递给通用算法
        << endl;
    return 0;
}

5.2 STL提供的函数对象

  • 用于算术运算的函数对象:
    • 一元函数对象(一个参数) :negate
    • 二元函数对象(两个参数) :plus、minus、multiplies、divides、modulus
  • 用于关系运算、逻辑运算的函数对象(要求返回值为bool)
    • 一元谓词(一个参数):logical_not
    • 二元谓词(两个参数):equal_to、not_equal_to、greater、less、greaterequal、lessequal、logical_and、logical_or

例10-15 利用STL标准函数对象

//10_15.cpp
#include <iostream>   
#include <numeric>   //包含数值算法头文件
#include <functional>  //包含标准函数对象头文件
using namespace std;    
int main() {
    int a[] = { 1, 2, 3, 4, 5 };
    const int N = sizeof(a) / sizeof(int);
    cout << "The result by multipling all elements in A is “
            << accumulate(a, a + N, 1, multiplies<int>())
         << endl; //将标准函数对象传递给通用算法
    return 0;
}

例10-16利用STL中的二元谓词函数对象

// 10_16.cpp
#include <functional>
#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

int main() {
    int intArr[] = { 30, 90, 10, 40, 70, 50, 20, 80 };
    const int N = sizeof(intArr) / sizeof(int);
    vector<int> a(intArr, intArr + N);
    cout << "before sorting:" << endl;
    copy(a.begin(),a.end(),ostream_iterator<int>(cout,"\t"));
    cout << endl;

    sort(a.begin(), a.end(), greater<int>());

    cout << "after sorting:" << endl;
    copy(a.begin(),a.end(),ostream_iterator<int>(cout,"\t"));
    cout << endl;
    return 0;
}

5.3 函数适配器

  • 绑定适配器:bind1st、bind2nd
    • 将n元函数对象的指定参数绑定为一个常数,得到n-1元函数对象。
  • 组合适配器:not1、not2
    • 将指定谓词的结果取反。
  • 函数指针适配器:ptr_fun
    • 将一般函数指针转换为函数对象,使之能够作为其它函数适配器的输入。
    • 在进行参数绑定或其他转换的时候,通常需要函数对象的类型信息,例如bind1st和bind2nd要求函数对象必须继承于binary_function类型。但如果传入的是函数指针形式的函数对象,则无法获得函数对象的类型信息。
  • 成员函数适配器:men_fun、men_fun_ref
    • 对成员函数指针使用,把n元成员函数适配为n + 1元函数对象,该函数对象的第一个参数为调用该成员函数时的目的对象
  • 也就是需要将“object->method()”转为“method(object)”形式。将“object->method(arg1)”转为二元函数“method(object, arg1)”。

1 绑定适配器

  • binder2nd的实例构造通常比较冗长,bind2nd函数用于辅助构造binder2nd,产生它的一个实例。
  • binder1st和bind1st,将一个具体值绑定到二元函数的第一个参数。

例10-17:函数适配器实例——找到数组中第一个大于40的元素
//10_17.cpp
#include <functional>
#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

int main() {
    int intArr[] = { 30, 90, 10, 40, 70, 50, 20, 80 };
    const int N = sizeof(intArr) / sizeof(int);
    vector<int> a(intArr, intArr + N);
    vector<int>::iterator p = find_if(a.begin(), a.end(), bind2nd(greater<int>(), 40));
    if (p == a.end())
        cout << "no element greater than 40" << endl;
    else
        cout << "first element greater than 40 is: " << *p << endl;
    return 0;
}

注:
find_if算法在STL中的原型声明为:
template<class InputIterator, class UnaryPredicate>
InputIterator find_if(InputIterator first, InputIterator last, UnaryPredicate pred);
它的功能是查找数组[first, last)区间中第一个pred(x)为真的元素。

2 组合适配器

  • 对于一般的逻辑运算,有时可能还需要对结果求一次逻辑反。
  • unary_negate和binary_negate实现了这一适配功能。STL还提供了not1和not2辅助生成相应的函数对象实例,分别用于一元谓词和二元谓词的逻辑取反。

例10-18 ptr_fun、not1和not2产生函数适配器实例
// 10_18.cpp
#include <functional>
#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

bool g(int x, int y) {
    return x > y;
}

int main() {
    int intArr[] = { 30, 90, 10, 40, 70, 50, 20, 80 };
    const int N = sizeof(intArr) / sizeof(int);
    vector<int> a(intArr, intArr + N);
    vector<int>::iterator p;
    p = find_if(a.begin(), a.end(), bind2nd(ptr_fun(g), 40));
    if (p == a.end())
        cout << "no element greater than 40" << endl;
    else
        cout << "first element greater than 40 is: " << *p << endl;
    p = find_if(a.begin(), a.end(), not1(bind2nd(greater<int>(), 15)));
    if (p == a.end())
        cout << "no element is not greater than 15" << endl;
    else
        cout << "first element that is not greater than 15 is: " << *p << endl;

    p = find_if(a.begin(), a.end(), bind2nd(not2(greater<int>()), 15));
    if (p == a.end())
        cout << "no element is not greater than 15" << endl;
    else
        cout << "first element that is not greater than 15 is: " << *p << endl;
    return 0;
}

3 成员函数适配器

men_fun 要求传入参数是 对象的指针

men_fun_ref 要求传入参数是 对象的引用

例10-19 成员函数适配器实例
//10_19.cpp
#include <functional>
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

struct Car {
    int id;
    Car(int id) { this->id = id; }
    void display() const { cout << "car " << id << endl; }
};

int main() {
    vector<Car *> pcars;
    vector<Car> cars;
    for (int i = 0; i < 5; i++)
        pcars.push_back(new Car(i));
    for (int i = 5; i < 10; i++)
        cars.push_back(Car(i));
    cout << "elements in pcars: " << endl;
    for_each(pcars.begin(), pcars.end(), std::mem_fun(&Car::display));
    cout << endl;

    cout << "elements in cars: " << endl;
    for_each(cars.begin(), cars.end(), std::mem_fun_ref(&Car::display));
    cout << endl;

    for (size_t i = 0; i < pcars.size(); ++i)
        delete pcars[i];

    return 0;
}

六、算法

STL算法本身是一种函数模版,STL算法是通用的,独立于具体的数据类型、容器类型

  • 通过迭代器获得输入数据
  • 通过函数对象对数据进行处理
  • 通过迭代器将结果输出

STL算法分类

  • 不可变序列算法
  • 可变序列算法
  • 排序和搜索算法
  • 数值算法

6.1不可变序列算法

  • 不直接修改所操作的容器内容的算法
  • 用于查找指定元素、比较两个序列是否相等、对元素进行计数等
  • 例:template<class InputIterator, class UnaryPredicate> InputIterator find_if(InputIterator first, InputIterator last, UnaryPredicate pred);
    查找[first, last)区间内pred(x)为真的首个元素

6.2可变序列算法

  • 可以修改它们所操作的容器对象
  • 包括对序列进行复制、删除、替换、倒序、旋转、交换、分割、去重、填充、洗牌的算法及生成一个序列的算法
  • 例:template<class ForwardIterator, class T> InputIterator find_if(ForwardIterator first, ForwardIterator last, const T& x);
    将[first, last)区间内的元素全部改写为x。

6.3排序和搜索算法

  • 对序列进行排序
  • 对两有序序列进行合并
  • 对有序序列进行搜索
  • 有序序列的集合操作
  • 堆算法

v2-b7907d351809293c60658b0b87053c66_b.webp

  • 例:template <class RandomAccessIterator , class UnaryPredicate> void sort(RandomAccessIterator first, RandomAccessIterator last, UnaryPredicate comp);
    以函数对象comp为“<”,对 [first, last)区间内的数据进行排序

6.4数值算法

  • 求序列中元素的“和”、部分“和”、相邻元素的“差”或两序列的内积
  • 求“和”的“+”、求“差”的“-”以及求内积的“+”和“·”都可由函数对象指定
  • 例:template<class InputIterator, class OutputIterator, class BinaryFunction> OutputIterator partial_sum(InputIterator first, InputIterator last, OutputIterator result, BinaryFunction op);

对[first, last)内的元素求部分“和”(所谓部分“和”,是一个长度与输入序列相同的序列,其第n项为输入序列前n个元素的“和”),以函数对象op为“+”运算符,结果通过result输出,返回的迭代器指向输出序列最后一个元素的下一个元素

6.5算法应用举例