STL（八）：关联式容器

前言

关联式容器与序列式容器不同，元素插入关联式容器后，插入位置是由容器采用一定的算法计算的，与插入的时间无关。本文介绍STL中哈系表、集合和map等关联式容器。

哈希表

hashtable是SGI STL中的哈希表，标准库中使用unordered_map代替hashtable，但unordered_map也是以hashtable为基础的。哈希表是一种查找操作只需要o(1)时间复杂度的数据结构，哈希表由一串连续的的bucket构成，每个bucket上挂着一个链表，链表中储存的就是用户的数据，哈系表通过散列函数将用户数据与bucket的下标对应起来，然后挂到bucket链表的尾部。哈系表的结构可以由下图表示：

散列函数

哈希表接受一对键值对，通过散列函数将键与bucket对应起来，hashtable和unordered_map采用除留余数法，假设当前共有N个bucket，键为M，那么该键散列后的值为 M%N，值将插入到下标为M%N的bucket上的头节点处，用户也可以自定义散列函数传入hashtable。
用户查找某个键值对时，通过散列函数找到这个键对应的bucket，然后只需要在这条链表上查找目标键值对即可。

哈希碰撞和rehash

有时会遇到很多元素都挂在同一个bucket上的情况，如下图：