57、deque容器的底层原理
(1)deque的存储结构
deque容器存储数据的空间是由一段一段等长的连续空间构成的,各段空间之间不一定是连续的,可以位于内存的不同区域。为了管理这些连续的内存空间,deque容器用一个数组(map)来存放各段连续空间的首地址,也就是说map存放的是指针,以此来访问各段连续空间中存储的元素。当map数组满了,就会申请一块更大的内存来供map使用,原本的数据(指针)拷贝到新的数组中,释放旧的内存空间。
(2)deque的迭代器
deque是一个双端队列,头尾都可以插入元素,这得益于其存储结构和迭代器。deque有两个迭代器start和finish,每个迭代器有四个指针:
#1 cur_ptr:指向当前正在遍历的元素
#2 first_ptr:指向当前连续空间的首地址
#3 last_ptr:指向当前连续空间的末尾地址
#4 node_ptr:是一个二级指针,用于指向map数组中存储的指向当前连续空间的指针
![](https://i-blog.csdnimg.cn/blog_migrate/88f63baae09b72dca974ff9930a47f58.png)
58、list底层实现原理
list底层是一个双向链表,以结点为单位存放数据,结点的地址在内存中不一定连续,每次插入或者删除一个元素,就配置或者释放一个元素的空间。list不支持随机存取,适合需要大量的插入和删除,而不关心随即存取的应用场景。与之对应的还有以单链表为底层的forward_list(C++11新增)。
![](https://i-blog.csdnimg.cn/blog_migrate/9a39ae5e6b0d7ab1c0852beb6cfded45.png)
59、什么情况下使用vector,什么情况下使用deque,什么情况下使用list?
(1)vector可以随机存储元素,但是非尾部插入或者删除元素效率低,适合对象数量变化不大,随机访问频繁的情况。
(2)deque的底层结构比vector复杂,占用内存高,所以只有需要首尾插入或删除,并且兼顾随机访问的时候才用deque,否则用vector
(3)list适合需要大量的插入和删除数据,不在乎存取时间的情况。
60、map、set、multiset、multimap的底层实现原理
(1)map、set、multiset、multimap的底层是由红黑树来实现的,epoll模型的底层数据结构也红黑树
(2)红黑树的特性
#1 每个结点要么是红色要么是黑色
#2 根结点一定为黑色
#3 叶子结点也是黑色
#4 如果一个结点为红色,则他的两个儿子均为黑色
#5 每个结点到其子孙结点的所有路径上包含相同的黑色结点
(3)map、set、multiset、multimap的特点
set和multiset会根据特定的排序准则自动将元素排序,set中元素不能重复,而multiset可以重复
map和multimap将key和value组成的pair作为元素,根据key的排序准则自动将元素排序,map中的key不允许重复,但multimap可以重复
map和set的增删改查速度都为log(n)
(4)map、unordered_map的几种插入方式
#include<map>
#include<unordered_map>
std::map<int,string>tempmap;
tempmap.insert(pair<int,string>(1,"Mike"));
tempmap.insert(map<int,string>::value_type(2,"May"));
tempmap.insert(make_pair(3,"Jane"));
tempmap[4] = "LiHua";
std::unordered_map<int,string>hashmap;
hashmap.insert(pair<int,string>(1,"Mike"));
hashmap.insert(map<int,string>::value_type(2,"May"));
hashmap.insert(make_pair(3,"Jane"));
hashmap[4] = "LiHua";
61、unordered_map、unordered_set底层实现原理
(1)unordered_map和unordered_set的底层是一个防冗余的哈希表,哈希表最大的优点就是把数据的存储和查询消耗的时间大大降低,时间复杂度为O(1);而代价是消耗比较多的内存。
(2)实现原理:
使用一个下标范围比较大的数组来存储元素。可以设计一个哈希函数,也叫散列函数,使得每个元素的key都与一个函数值相对应,用这个数组来存储这个元素。但是不能保证每个元素的key都与函数值一一对应,因此极有可能出现对于不同的元素,却计算出相同的函数值,这就产生了哈希冲突,这一般可以用开链法解决。
用vector来存放各链表的头指针,每个键值对存放在通过哈希计算得到对应的链表上,当产生哈希冲突时,链表继续添加元素。但是链表长度不宜过程,否则效率很低,所以这就要求哈希函数尽量设计的分散一些。
![](https://i-blog.csdnimg.cn/blog_migrate/d63a6648cec7f7595c53b625083fad5f.png)
62、unordered_map和map的区别以及使用场景
(1)构造函数不一样:unordered_map需要hash函数,而map需要比较函数(默认小于函数)
(2)存储结构不一样:unordered_map采用hash表存储,map采用红黑树实现
(3)查找速度:一般情况下unordered_map比map快,而且查找的速度与数据量大小无关,属于常数级别;而map查找速度为log(n)。但是并不一定常数就比log(n)小,因为hash还有hash函数的耗时
(4)使用场景:如果考虑效率,特别是数量达到一定级别,那么使用unordered_map;但若是对内存使用特别严格,希望程序尽可能消耗较小的内存,那么使用map
63、STL的空间配置器allocate
STL的内存管理是使用两级内存配置器
(1)第一级配置器
第一级配置器是对malloc函数和free函数的简单封装,在allocate内掉哟个malloc,在deallocate内调用free,使用与分配大于128字节的空间
(2)第二级配置器
第一级配置器直接调用malloc和free带来了几个问题:
#1 内存分配/释放的效率低
#2 当配置大量的小内存块时,会导致内存碎片比较严重
#3 配置内存时,需要额外的部分空间存储内存块的信息,所以配置大量的小内存块时,还会导致额外的内存负担
第二级配置器是用内存池来管理的,适用于分配内存块小于128字节,内部维护了一个自由链表数组,每次需要分配内存的时候,直接从相应的链表上取出一个内存节点就完成工作,效率大大提高。
![](https://i-blog.csdnimg.cn/blog_migrate/429c87d76240e8d3b672fda590d05be3.jpeg)
详细可以查看:https://zhuanlan.zhihu.com/p/34725232