STL、算法知识点和常见面试题
STL、算法知识点和常见面试题
基本概念
标准模板库，STL组成的六大部件有容器、算法、迭代器、仿函数、分配器、空间配置器。
通过迭代器访问容器中的数据，并进行算法操作。
所有代码采用模板类和模板函数的方式。
容器
容器的分类
序列式容器
每个元素都有固定位置，该位置取决于插入时机和地点，和元素值无关。
vector,deque,list,stack,queue
关联式容器
元素位置取决于特定的排序准则，和插入顺序无关。
set multiset map multimap
vector容器
连续存储的动态数组，类似于数组，不过是动态的，可以添加移除元素。
尾部添加移除元素方便，但是中部或头部比较麻烦，复杂度为O(n)。
vector的定义
//无参构造
vector<int> int1darray;
vector<vector<int>> int2darray;
//带参数构造
vector(start, end);//左闭右开[start,end)
vector(n, elem);//拷贝n个elem
vector(const vector &vec);//拷贝构造函数
比如：
int arr[5] = {0};
vector<int> int1darray1(arr,arr+5);//拷贝arr
vector<int> int1darray2(3, 10);//存储3个10
vector<int> int1darray3(int1darray1);//拷贝int1darray1
vector的赋值
vector.assign(beg,end);//将[beg,end)区间的数据拷贝给本身
vector.assign(n,elem);//将n个elem拷贝赋值给本身
vector &operator=(consr vector &vec);//重载等号操作符
vector.swap(vec);将vec与本身元素交换
比如：
vector<int> v1,v2,v3,v4;
int array[] = {1,2,3,4,5};
v1.assign(array,array+5);
v2.assign(3,10);
v3 = v2;
v4.swap(v3);
vector的大小
vector.size();//容器元素的个数
vector.empty();//判断容器是否为空
vector.resize(num);//重新指定容器长度为num，多余删除，不够添加默认值
vector.resize(num,elem);//重新指定容器长度为num，多余删除，不够添加elem
比如：
vector<int> v1(3,10);
v1.size();//3
v1.empty();//False
v1.resize(5);//10,10,10,0,0
v1.resize(5,3);//10,10,10,3,3
vector的访问方式
[]下标法和.at(idx)
但是[]下标法的下标有时候会越界，导致程序异常终止，但不会抛出异常信息，和数组同理。
采用.at(idx)，如果出现越界情况，抛出异常信息out_of_range。
vector的元素操作
//在末尾插入移除元素
vector.push_back(elem);//末尾插入
vector.pop_back(elem);//末尾删除
// 可在任意位置插入删除，但是复杂度不同
注意pos必须是指针(v1.begin())
vector.insert(pos,elem);//在pos位置插入一个elem的拷贝，返回新数据的位置
vector.insert(pos,n,elem);//在pos位置插入n个elem的拷贝，无返回
vector.insert(pos,beg,end);//在pos位置插入[beg,end)的数据，无返回
比如：
vector<int> v1(3,10);//10,10,10
v1.insert(v1.begin()+2,3);//10,10,3,10 返回2
v1.insert(v1.begin()+2,2,4);//10,10,4,4,3,10
int array[] = {1,2,3};
v1.insert(v1.beign()+2,array,array+3);//10,10,1,2,3,4,4,3,10
deque容器
double-ended queue。
deque是双端数组，而vector是单端数组。deque的许多操作和vector相似。
单端：长度可以沿着一个方向变化 O(n)
双端：长度可以沿着两个方向变化
deque头部和尾部添加移除元素很快，但是中部比较麻烦。
#include <deque>
deque.push_front(elem);//头部添加
deque.pop_front();//头部删除
deque<int> d1 = {1,2,3,4};
d1.push_front(5);//5,1,2,3,4
d1.pop_front();//1,2,3,4
list容器
基本概念
查找时间复杂度O(n),插入和删除时间复杂度O(n)。
插入和删除效率比vector高。
list是一个双向链表容器。不支持.at()和[]操作符。
#include <list>
list的构造
//默认的无参构造
list<int> lst;
//有参构造
list(n,elem);//构造函数将n个elem拷贝给本身
list(beg,end);//构造函数将[beg,end)的元素拷贝给本身
list(const list &lst);拷贝构造函数
list的查询
list.front();//返回第一个元素，可赋值
list.back();//返回最后一个元素，可赋值
比如：
list.front() = 20;
list的添加删除操作
list.push_back(elem);//尾部插入元素
list.push_front(elem);//头部插入元素
list.pop_back(elem);//尾部删除元素
list.pop_front(elem);//头部删除元素
list的插入
list.insert(pos,elem);//在pos位置插入elem的拷贝，返回新数据的位置
list.insert(pos,n,elem);//在pos位置插入n个elem的拷贝，无返回
list.insert(pos,beg,end);//在pos位置[beg,end)的数据，无返回
list的删除
list.clear();//移除所有元素
list.erase(beg,end);//删除[beg,end)的数据，返回下一个数据的位置
list.erase(pos);//删除pos位置的元素，返回下一个数据的位置
list.remove(elem);//删除容器中所有与elem匹配的元素
list的赋值
//assign是覆盖式，不是追加
list.assign(beg,end);//将[beg,end)区间中的数据拷贝赋值给本身
list.assign(n,elem);//将n个elem拷贝赋值给本身
list& operator=(const list &lst);//重载等号操作符
list.swap(lst);//将lst与本身的元素互换
list的大小
list.size();//返回容器元素个数
list.empty();//判断容器是否为空
list.resize(num);//重新指定容器长度为num，不够填充0，多余删除
list.resize(num,elem);//重新指定容器长度为num，不够填充elem，多余删除
list的反序排列
list.reverse();//反转链表
stack容器
stack是不可遍历的，没有迭代器
stack容器的构造
// 默认构造
stack<int> stk;
//带参构造
stack(const stack &stk);//拷贝构造函数
stack& operator=(const stack &stk);重载等号操作符
stack容器的出栈和入栈
stack.push(elem);//栈顶入栈
stack.pop();//栈顶出栈，无返回值
stack.top();//查看栈顶元素
stack容器的大小
stack.size();
stack.empty();
queue容器
queue是不可遍历的，没有迭代器
queue容器的构造
//默认无参构造
queue<int> que;
//有参构造
queue(const queue &que);//拷贝构造函数
queue& operator=(const queue &que);//重载等号操作符
queue容器的出队和入队
queue<int> que;
que.push(elem);//队尾入队
que.pop();//队头出队
queue容器的其他操作
queue.front();//查看队列第一个元素，可作为左值
queue.back();//查看队列最后一个元素，可作为左值
queue.size();
queue.empty();
set和multiset容器
基本概念
-
集合中的元素是唯一的，按一定的顺序(默认升序)排列，不能指定插入位置。
-
set采用红黑树变体的数据结构实现，红黑树实现平衡二叉树。在插入操作和删除操作上比vector快
-
set不可以直接存取元素。
-
set支持唯一键值，multiset中同一值可以出现多次。
-
不可以直接修改集合中的元素值，因为该容器是自动排序的，必须先删除原有的元素，再插入新的元素。
set的构造
//默认无参构造
set<int> setInt;
multiset<int> multisetInt;
//有参构造
set(const set &st);//拷贝构造函数
set& operator=(const set &st);//重载赋值运算符
set.swap(st);//交换两个集合容器
set的插入
set.insert(elem);容器插入一个元素
set的删除
set.clear();
set.erase(pos);//不支持使用反向迭代器对元素进行删除
set.erase(beg,end);
set.erase(elem);
set的大小
set.size();//返回容器元素个数
set.empty();//判断容器是否为空
set的排序方式
set<int, less<int>> setIntA;该容器是按升序方式排列元素 -> 相当于set<int>
set<int, greater<int>> setIntB;该容器是按降序方式排列元素
less<int>和greater<int>
函数对象（伪函数）
//重载()操作符
//greater和less就是两个函数对象：
class greater{
bool operator()(const int& iLeft, const int& iRight)
{
return (iLeft > iRight);
}
}
//利用函数对象制定了容器对元素的排序规则。
//可通过自定义函数对象实现对应的功能：
class myfunctor{
bool operator()(const int& iLeft, const int& iRight)
{
return (iLeft > iRight);
}
}
set<int, myfunctor> s;
set的查找
set.find(elem);//查找elem元素，返回指向elem元素的迭代器，找不到返回end()迭代器
set.count(elem);//返回容器中值为elem的元素个数
set.lower_bound(elem);//返回第一个>=elem元素的迭代器
set.upper_bound(elem);//返回第一个>elem元素的迭代器
set.equal_range(elem);//返回容器中与elem相等的上下限的两个迭代器，范围是[上,下)，并且被封装在pair中。
//上返回的就是set.lower_bound(elem)，下返回的就是set.upper_bound(elem)
//根据编译器的不同，找不到返回end()或者指向最后一个元素的迭代器
pair对组
pair<T1, T2>//T1和T2可以是两种不同的数据类型，pair.first是第一个值，pair.second是第二个值
pair<set<int>>::iterator, set<int>>::iterator> pairIt = setInt.equal_range(5);
map和multimap容器
基本概念
map是STL的一个关联容器，它提供一对一（其中第一个可以称为关键字，每个关键字只能在map中出现一次，第二个可能称为该关键字的值）的数据 处理能力，由于这个特性，它完成有可能在我们处理一对一数据的时候，在编程上提供快速通道。这里说下map内部数据的组织，map内部自建一颗红黑树(一 种非严格意义上的平衡二叉树)，这颗树具有对数据自动排序的功能，所以在map内部所有的数据都是有序的，后边我们会见识到有序的好处。
map的构造
//默认构造，T1是Key,T2是Value，T1和T2可以是不同类型，
map<T1, T2> mapTT;
multimap<T1, T2> multimapTT;
map的插入
map.insert(pair<int,string>(key,value));插入元素，返回pair
map.insert(map<int, string>::value_type(key,value));//通过value_type方式
mapstu[key] = value;//key存在则修改（删除再添加），不存在则插入
int key_ = mapstu[key];//key存在才赋值，不存在则插入
map的查找
map.find()是C++ STL中的内置函数，该函数返回一个迭代器或常量迭代器，该迭代器或常量迭代器引用键在映射中的位置。如果键不存在于Map容器中，则它返回引用map.end()的迭代器或常量迭代器
map[key];//key存在才查找，不存在则插入
map.find(key);//成功返回对应迭代器，失败返回end()，常用
mep.at(key);
迭代器
基本概念
迭代器是一种检查容器内元素并且遍历容器内元素的数据类型。
常用于提供对一个容器中的对象的访问方法，并且定义了容器中对象的范围。
统一了对所有容器的访问方式，提高编程效率。
vector的随机迭代器
//定义vector迭代器对象
vector<int>::iterator iter;
vector<int> v1(3,10);
v1.begin();//返回指向容器的第一个元素的正向迭代器
v1.end();//返回指向容器最后元素的下一个位置的正向迭代器
//迭代器指向第一个元素
vector<int> v1(3,10);
iter = v1.begin();
//使用迭代器遍历容器
for(iter = v1.begin();iter != v1.end();iter++)
cout<< *it << " ";
注意：iter++可以实现的原因是迭代器本身实现了++运算符的重载，* 同理。
vector迭代器失效
//插入元素失效
vector<int> v1;
v1.push_back(1);
v1.push_back(2);
v1.push_back(3);
v1.push_back(4);
vector<int>::iterator it = v.begin() + 3;
v.insert(it, 8);
cout<<*it<<endl;//输出0或4
/*
编译器在插入元素时，会新new一个内存空间再把原来的容器拷贝过去。
那么针对之前的空间，不同编译器处理的方式也不同，有些是保持不动，有些覆盖为0。
而it迭代器依然指向原来的内存空间，所以输出有可能是4或0。这就是迭代器失效（变成了野指针）。
解决办法；
insert函数会返回新的迭代器或采用深拷贝。
*/
//删除元素失效
vector<int> v1 = {1,2,3,3,3,4};
vector<int>::iterator it;
for(it = v1.begin();it != v1.end();it++)
{
if(*it == 3)
v1.erase(it);
}
for(it = v1.begin();it != v1.end();it++)
{
cout<< *it << " ";//输出1,2,3,4
}
/*
删除是覆盖的操作，并且删除之后it会向前移动，导致遗漏。
*/
修改之后；
for(it = v1.begin();it != v1.end();)
{
if(*it == 3)
v1.erase(it);
else
it++；
}
或者使用erase函数返回的新迭代器
总结：在使用迭代器进行插入或删除的操作时，需要对迭代器重新赋值以保证迭代器一直有效。
list的双向迭代器
list.begin();//返回容器中第一个元素的正向迭代器
list.end();//返回容器中最后一个元素之后的正向迭代器
list.rbegin();//返回容器中倒数第一个元素的反向迭代器
list.rend();//返回容器中倒数最后一个元素之后的反向迭代器
list<int>::reverse_iterator it1;
it1 = lst.rbegin();
注意，list的迭代器只能++或--，不支持其他的运算符。
list迭代器失效
//删除结点导致迭代器失效
list<int> lst1(3,5);//5 5 5
list.push_back(1);//5 5 5 1
for(it1 = lst1.begin();it1!= lst1.end();it++)
{
if(*it == 1)
lst1.erase(it);
}
//删除结点时，导致结点的指针域也被删除（清空），迭代器变成野指针
//所以无法继续访问下一个结点，会异常退出
改进之后：
for(it1 = lst1.begin();it1!= lst1.end();)
{
if(*it == 1)
it = lst1.erase(it);
else
it++;
}
set的双向迭代器
set.begin();//返回容器中第一个元素的正向迭代器
set.end();//返回容器中最后一个元素之后的正向迭代器
set.rbegin();//返回容器中倒数第一个元素的反向迭代器
set.rend();//返回容器中倒数最后一个元素之后的反向迭代器
算法
基本概念
STL算法部分主要由头文件
STL中算法大致分为四类：
1、非可变序列算法：指不直接修改其所操作的容器内容的算法。
2、可变序列算法：指可以修改它们所操作的容器内容的算法。
3、排序算法：包括对序列进行排序和合并的算法、搜索算法以及有序序列上的集合操作。
4、数值算法：对容器内容进行数值计算。
具体算法
以下对所有算法进行细致分类并标明功能：
1.1 查找算法(13个)：判断容器中是否包含某个值
adjacent_find: 在iterator对标识元素范围内，查找一对相邻重复元素，找到则返回指向这对元素的第一个元素的ForwardIterator。否则返回last。重载版本使用输入的二元操作符代替相等的判断。
binary_search: 在有序序列中查找value，找到返回true。重载的版本实用指定的比较函数对象或函数指针来判断相等。
count: 利用等于操作符，把标志范围内的元素与输入值比较，返回相等元素个数。
count_if: 利用输入的操作符，对标志范围内的元素进行操作，返回结果为true的个数。
equal_range: 功能类似equal，返回一对iterator，第一个表示lower_bound，第二个表示upper_bound。
find: 利用底层元素的等于操作符，对指定范围内的元素与输入值进行比较。当匹配时，结束搜索，返回该元素的一个InputIterator。
find_end: 在指定范围内查找"由输入的另外一对iterator标志的第二个序列"的最后一次出现。找到则返回最后一对的第一个ForwardIterator，否则返回输入的"另外一对"的第一个ForwardIterator。重载版本使用用户输入的操作符代替等于操作。
find_first_of: 在指定范围内查找"由输入的另外一对iterator标志的第二个序列"中任意一个元素的第一次出现。重载版本中使用了用户自定义操作符。
find_if: 使用输入的函数代替等于操作符执行find。
lower_bound: 返回一个ForwardIterator，指向在有序序列范围内的可以插入指定值而不破坏容器顺序的第一个位置。重载函数使用自定义比较操作。
upper_bound: 返回一个ForwardIterator，指向在有序序列范围内插入value而不破坏容器顺序的最后一个位置，该位置标志一个大于value的值。重载函数使用自定义比较操作。
search: 给出两个范围，返回一个ForwardIterator，查找成功指向第一个范围内第一次出现子序列(第二个范围)的位置，查找失败指向last1。重载版本使用自定义的比较操作。
search_n: 在指定范围内查找val出现n次的子序列。重载版本使用自定义的比较操作。
1.2 排序和通用算法(14个)：提供元素排序策略
inplace_merge: 合并两个有序序列，结果序列覆盖两端范围。重载版本使用输入的操作进行排序。
merge: 合并两个有序序列，存放到另一个序列。重载版本使用自定义的比较。
nth_element: 将范围内的序列重新排序，使所有小于第n个元素的元素都出现在它前面，而大于它的都出现在后面。重载版本使用自定义的比较操作。
partial_sort: 对序列做部分排序，被排序元素个数正好可以被放到范围内。重载版本使用自定义的比较操作。
partial_sort_copy: 与partial_sort类似，不过将经过排序的序列复制到另一个容器。
partition: 对指定范围内元素重新排序，使用输入的函数，把结果为true的元素放在结果为false的元素之前。
random_shuffle: 对指定范围内的元素随机调整次序。重载版本输入一个随机数产生操作。
reverse: 将指定范围内元素重新反序排序。
reverse_copy: 与reverse类似，不过将结果写入另一个容器。
rotate: 将指定范围内元素移到容器末尾，由middle指向的元素成为容器第一个元素。
rotate_copy: 与rotate类似，不过将结果写入另一个容器。
sort: 以升序重新排列指定范围内的元素。重载版本使用自定义的比较操作。
stable_sort: 与sort类似，不过保留相等元素之间的顺序关系。
stable_partition: 与partition类似，不过不保证保留容器中的相对顺序。
1.3 删除和替换算法(15个)
copy: 复制序列
copy_backward: 与copy相同，不过元素是以相反顺序被拷贝。
iter_swap: 交换两个ForwardIterator的值。
remove: 删除指定范围内所有等于指定元素的元素。注意，该函数不是真正删除函数。内置函数不适合使用remove和remove_if函数。
remove_copy: 将所有不匹配元素复制到一个制定容器，返回OutputIterator指向被拷贝的末元素的下一个位置。
remove_if: 删除指定范围内输入操作结果为true的所有元素。
remove_copy_if: 将所有不匹配元素拷贝到一个指定容器。
replace: 将指定范围内所有等于vold的元素都用vnew代替。
replace_copy: 与replace类似，不过将结果写入另一个容器。
replace_if: 将指定范围内所有操作结果为true的元素用新值代替。
replace_copy_if: 与replace_if，不过将结果写入另一个容器。
swap: 交换存储在两个对象中的值。
swap_range: 将指定范围内的元素与另一个序列元素值进行交换。
unique: 清除序列中重复元素，和remove类似，它也不能真正删除元素。重载版本使用自定义比较操作。
unique_copy: 与unique类似，不过把结果输出到另一个容器。
1.4 排列组合算法(2个)：提供计算给定集合按一定顺序的所有可能排列组合
next_permutation: 取出当前范围内的排列，并重新排序为下一个排列。重载版本使用自定义的比较操作。
prev_permutation: 取出指定范围内的序列并将它重新排序为上一个序列。如果不存在上一个序列则返回false。重载版本使用自定义的比较操作。
1.5 算术算法(4个)
accumulate: iterator对标识的序列段元素之和，加到一个由val指定的初始值上。重载版本不再做加法，而是传进来的二元操作符被应用到元素上。
partial_sum: 创建一个新序列，其中每个元素值代表指定范围内该位置前所有元素之和。重载版本使用自定义操作代替加法。
inner_product: 对两个序列做内积(对应元素相乘，再求和)并将内积加到一个输入的初始值上。重载版本使用用户定义的操作。
adjacent_difference: 创建一个新序列，新序列中每个新值代表当前元素与上一个元素的差。重载版本用指定二元操作计算相邻元素的差。
1.6 生成和异变算法(6个)
fill: 将输入值赋给标志范围内的所有元素。
fill_n: 将输入值赋给first到first+n范围内的所有元素。
for_each: 用指定函数依次对指定范围内所有元素进行迭代访问，返回所指定的函数类型。该函数不得修改序列中的元素。
generate: 连续调用输入的函数来填充指定的范围。
generate_n: 与generate函数类似，填充从指定iterator开始的n个元素。
transform: 将输入的操作作用与指定范围内的每个元素，并产生一个新的序列。重载版本将操作作用在一对元素上，另外一个元素来自输入的另外一个序列。结果输出到指定容器。
1.7 关系算法(8个)
equal: 如果两个序列在标志范围内元素都相等，返回true。重载版本使用输入的操作符代替默认的等于操作符。
includes: 判断第一个指定范围内的所有元素是否都被第二个范围包含，使用底层元素的<操作符，成功返回true。重载版本使用用户输入的函数。
lexicographical_compare: 比较两个序列。重载版本使用用户自定义比较操作。
max: 返回两个元素中较大一个。重载版本使用自定义比较操作。
max_element: 返回一个ForwardIterator，指出序列中最大的元素。重载版本使用自定义比较操作。
min: 返回两个元素中较小一个。重载版本使用自定义比较操作。
min_element: 返回一个ForwardIterator，指出序列中最小的元素。重载版本使用自定义比较操作。
mismatch: 并行比较两个序列，指出第一个不匹配的位置，返回一对iterator，标志第一个不匹配元素位置。如果都匹配，返回每个容器的last。重载版本使用自定义的比较操作。
1.8 集合算法(4个)
set_union: 构造一个有序序列，包含两个序列中所有的不重复元素。重载版本使用自定义的比较操作。
set_intersection: 构造一个有序序列，其中元素在两个序列中都存在。重载版本使用自定义的比较操作。
set_difference: 构造一个有序序列，该序列仅保留第一个序列中存在的而第二个中不存在的元素。重载版本使用自定义的比较操作。
set_symmetric_difference: 构造一个有序序列，该序列取两个序列的对称差集(并集-交集)。
1.9 堆算法(4个)
make_heap: 把指定范围内的元素生成一个堆。重载版本使用自定义比较操作。
pop_heap: 并不真正把最大元素从堆中弹出，而是重新排序堆。它把first和last-1交换，然后重新生成一个堆。可使用容器的back来访问被"弹出"的元素或者使用pop_back进行真正的删除。重载版本使用自定义的比较操作。
push_heap: 假设first到last-1是一个有效堆，要被加入到堆的元素存放在位置last-1，重新生成堆。在指向该函数前，必须先把元素插入容器后。重载版本使用指定的比较操作。
sort_heap: 对指定范围内的序列重新排序，它假设该序列是个有序堆。重载版本使用自定义比较操作。
仿函数
基本概念
STL中提供的各种算法，往往有两个版本，其一就是最直观的默认的运算，其二则是运行用户以 “template参数来指定所要采取的策略” 。例如accumulate()，第一个版本是将指定范围内的所有元素相加，第二个版本则可以传入用户指定的操作，来替换这个相加的过程。
要将这种指定的操作当做算法的参数传入算法，唯一的办法是将该操作设计为一个函数，再将函数指针当做算法的一个参数；或者将该操作设计为一个仿函数（实质上是一个class对象），再以该仿函数创建一个对象作为函数的参数传入函数中。
仿函数的实质是一个行为类似于函数的对象，为了能够模拟函数的调用，仿函数就必须重载function call运算符 ，即小括号、operator()，因此我们就可以在仿函数对象后加上()，从而能够调用仿函数所定义的operator()。
仿函数的分类
根据仿函数的功能和特点，可以将其分为以下几种类型：
（1）一元仿函数：只接受一个参数的仿函数。例如：unary_function、negate、not1等。
（2）二元仿函数：接受两个参数的仿函数。例如：binary_function、plus、minus、multiplies等。
（3）关系仿函数：用于比较两个值的大小关系，通常返回bool类型的值。例如：less、greater、equal_to等。
（4）逻辑仿函数：用于逻辑运算，通常返回bool类型的值。例如：logical_and、logical_or、logical_not等。
（5）绑定仿函数：用于将一个或多个参数与函数绑定起来，形成一个新的函数对象。例如：bind1st、bind2nd、mem_fun等。
（6）适配仿函数：用于将一个仿函数适配成另一个仿函数，以满足不同的需求。例如：not2、compose1、compose2等。
优点：使用仿函数可以简化代码，提高效率。
可以将仿函数作为STL算法的参数，对容器中的元素进行处理，也可以在自定义容器中使用仿函数来实现排序、查找等操作。
https://blog.csdn.net/weixin_43972154/article/details/125425684
分配器
萃取器
萃取器是一定要从某件事物中提取出某些东西的。在STL中，Traits被广泛的用于泛型算法的优化上，他通过萃取出object的某些属性，对拥有特殊属性的object进行函数模板的偏特化，进而提高算法的效率。
分配器基本概念
分配器是容器的底层依靠，他为容器分配内存空间。也就是说，容器中的数据都是存在动态分配的内存中的，栈中的容器只含有一些用来维护这些内存空间的指针。
因为容器的这种特性，所以容器需要频繁的分配内存和回收内存。如果直接调用new或者malloc，其产生的空间和时间 上的开销也是相当大的。
正因为如此，容器使用分配器去为自己分配内存，降低分配内存时空间和时间 的开销。
空间配置器
基本概念
空间配置器是操作系统开辟的一大段内存空间。STL需要扩容申请内存时，就从空间配置器中申请，不需要再经过操作系统。并且，它还能回收释放的空间，供下一次使用。
特点：
1.提高效率
STL容器申请空间不需要频繁向操作系统申请，而是需要向空间适配器申请，只是当空间适配器空间不够时，才会向操作系统申请。
空间适配器还可以回收STL容器释放的空间，供下一次使用。
2.避免内存碎片
3.更好的管理内存
