STL
网站
- github . huihut/note/STL.md
- cplusplus . stl
- cppreference . C++ 参考手册
- CSDN专栏:STL学习笔记
组成
- 容器(containers)
- 算法(algorithms)
- 迭代器(iterators)
- 仿函数(functors)
- 配接器(adapters)
- 空间配置器(allocator)
容器(containers)
- 序列式容器(sequence containers):元素都是可序(ordered),但未必是有序(sorted)
- 关联式容器(associattive containers)
array
array是固定大小的顺序容器,它们保存了一个以严格的线性顺序排列的特定数量的元素。
在内部,一个数组除了它所包含的元素(甚至不是它的大小,它是一个模板参数,在编译时是固定的)以外不保存任何数据。存储大小与用语言括号语法([])声明的普通数组一样高效。这个类只是增加了一层成员函数和全局函数,所以数组可以作为标准容器使用。
与其他标准容器不同,数组具有固定的大小,并且不通过分配器管理其元素的分配:它们是封装固定大小数组元素的聚合类型。因此,他们不能动态地扩大或缩小。
零大小的数组是有效的,但是它们不应该被解除引用(成员的前面,后面和数据)。
与标准库中的其他容器不同,交换两个数组容器是一种线性操作,它涉及单独交换范围内的所有元素,这通常是相当低效的操作。另一方面,这允许迭代器在两个容器中的元素保持其原始容器关联。
数组容器的另一个独特特性是它们可以被当作元组对象来处理:array头部重载get函数来访问数组元素,就像它是一个元组,以及专门的tuple_size和tuple_element类型。
1 | template < class T, size_t N > class array; |
array::begin
返回指向数组容器中第一个元素的迭代器。
1 | iterator begin() noexcept; |
Example
1 |
|
Output
1 | myarray contains: 2 16 77 34 50 |
array::end
返回指向数组容器中最后一个元素之后的理论元素的迭代器。
1 | iterator end() noexcept; |
Example
1 |
|
Output
1 | myarray contains: 5 19 77 34 99 |
array::rbegin
返回指向数组容器中最后一个元素的反向迭代器。
1 | reverse_iterator rbegin()noexcept; |
Example
1 |
|
Output
1 | myarray contains: 14 80 26 4 |
array::rend
返回一个反向迭代器,指向数组中第一个元素之前的理论元素(这被认为是它的反向结束)。
1 | reverse_iterator rend() noexcept; |
Example
1 |
|
Output
1 | myarray contains: 14 80 26 4 |
array::cbegin
返回指向数组容器中第一个元素的常量迭代器(const_iterator);这个迭代器可以增加和减少,但是不能用来修改它指向的内容。
1 | const_iterator cbegin()const noexcept; |
Example
1 |
|
Output
1 | myarray contains: 2 16 77 34 50 |
array::cend
返回指向数组容器中最后一个元素之后的理论元素的常量迭代器(const_iterator)。这个迭代器可以增加和减少,但是不能用来修改它指向的内容。
1 | const_iterator cend() const noexcept; |
Example
1 |
|
Output
1 | myarray contains: 2 16 77 34 50 |
array::crbegin
返回指向数组容器中最后一个元素的常量反向迭代器(const_reverse_iterator)
1 | const_reverse_iterator crbegin()const noexcept; |
Example
1 |
|
Output
1 | myarray backwards: 60 50 40 30 20 10 |
array::crend
返回指向数组中第一个元素之前的理论元素的常量反向迭代器(const_reverse_iterator),它被认为是其反向结束。
1 | const_reverse_iterator crend() const noexcept; |
Example
1 |
|
Output
1 | myarray backwards: 60 50 40 30 20 10 |
array::size
返回数组容器中元素的数量。
1 | constexpr size_type size()noexcept; |
Example
1 |
|
Possible Output
1 | size of myints: 5 |
array::max_size
返回数组容器可容纳的最大元素数。数组对象的max_size与其size一样,始终等于用于实例化数组模板类的第二个模板参数。
1 | constexpr size_type max_size() noexcept; |
Example
1 |
|
Output
1 | size of myints: 10 |
array::empty
返回一个布尔值,指示数组容器是否为空,即它的size()是否为0。
1 | constexpr bool empty() noexcept; |
Example
1 |
|
Output:
1 | first is empty |
array::operator[]
返回数组中第n个位置的元素的引用。与array::at相似,但array::at会检查数组边界并通过抛出一个out_of_range异常来判断n是否超出范围,而array::operator[]不检查边界。
1 | reference operator[] (size_type n); |
Example
1 |
|
Output
1 | myarray contains: 0 1 2 3 4 5 6 7 8 9 |
array::at
返回数组中第n个位置的元素的引用。与array::operator[]相似,但array::at会检查数组边界并通过抛出一个out_of_range异常来判断n是否超出范围,而array::operator[]不检查边界。
1 | reference at ( size_type n ); |
Example
1 |
|
Output
1 | myarray contains: 0 1 2 3 4 5 6 7 8 9 |
array::front
返回对数组容器中第一个元素的引用。array::begin返回的是迭代器,array::front返回的是直接引用。
在空容器上调用此函数会导致未定义的行为。
1 | reference front(); |
Example
1 |
|
Output
1 | front is: 2 |
array::back
返回对数组容器中最后一个元素的引用。array::end返回的是迭代器,array::back返回的是直接引用。
在空容器上调用此函数会导致未定义的行为。
1 | reference back(); |
Example
1 |
|
Output
1 | front is: 5 |
array::data
返回指向数组对象中第一个元素的指针。
由于数组中的元素存储在连续的存储位置,所以检索到的指针可以偏移以访问数组中的任何元素。
1 | value_type* data() noexcept; |
Example
1 |
|
Output
1 | Test string |
array::fill
用val填充数组所有元素,将val设置为数组对象中所有元素的值。
1 | void fill (const value_type& val); |
Example
1 |
|
Output
1 | myarray contains: 5 5 5 5 5 5 |
array::swap
通过x的内容交换数组的内容,这是另一个相同类型的数组对象(包括相同的大小)。
与其他容器的交换成员函数不同,此成员函数通过在各个元素之间执行与其大小相同的单独交换操作,以线性时间运行。
1 | void swap (array& x) noexcept(noexcept(swap(declval<value_type&>(),declval<value_type&>()))); |
Example
1 |
|
Output
1 | first: 11 22 33 44 55 |
get(array)
形如:std::get<0>(myarray);传入一个数组容器,返回指定位置元素的引用。
1 | template <size_t I,class T,size_t N> T&get(array <T,N>&arr)noexcept; |
Example
1 |
|
Output
1 | first element in myarray: 30 |
relational operators (array)
形如:arrayA != arrayB、arrayA > arrayB;依此比较数组每个元素的大小关系。
1 | (1) |
Example
1 |
|
Output
1 | a and b are equal |
vector
vector是表示可以改变大小的数组的序列容器。
就像数组一样,vector为它们的元素使用连续的存储位置,这意味着它们的元素也可以使用到其元素的常规指针上的偏移来访问,而且和数组一样高效。但是与数组不同的是,它们的大小可以动态地改变,它们的存储由容器自动处理。
在内部,vector使用一个动态分配的数组来存储它们的元素。这个数组可能需要重新分配,以便在插入新元素时增加大小,这意味着分配一个新数组并将所有元素移动到其中。就处理时间而言,这是一个相对昂贵的任务,因此每次将元素添加到容器时矢量都不会重新分配。
相反,vector容器可以分配一些额外的存储以适应可能的增长,并且因此容器可以具有比严格需要包含其元素(即,其大小)的存储更大的实际容量。库可以实现不同的策略的增长到内存使用和重新分配之间的平衡,但在任何情况下,再分配应仅在对数生长的间隔发生尺寸,使得在所述载体的末端各个元件的插入可以与提供分期常量时间复杂性。
因此,与数组相比,载体消耗更多的内存来交换管理存储和以有效方式动态增长的能力。
与其他动态序列容器(deques,lists和 forward_lists )相比,vector非常有效地访问其元素(就像数组一样),并相对有效地从元素末尾添加或移除元素。对于涉及插入或移除除了结尾之外的位置的元素的操作,它们执行比其他位置更差的操作,并且具有比列表和 forward_lists 更不一致的迭代器和引用。
针对 vector 的各种常见操作的复杂度(效率)如下:
- 随机访问 - 常数 O(1)
- 在尾部增删元素 - 平摊(amortized)常数 O(1)}}
- 增删元素 - 至 vector 尾部的线性距离 O(n)}}
1 | template < class T, class Alloc = allocator<T> > class vector; |
vector::vector
(1)empty容器构造函数(默认构造函数)
构造一个空的容器,没有元素。
(2)fill构造函数
用n个元素构造一个容器。每个元素都是val的副本(如果提供)。
(3)范围(range)构造器
使用与[ range,first,last]范围内的元素相同的顺序构造一个容器,其中的每个元素都是emplace -从该范围内相应的元素构造而成。
(4)复制(copy)构造函数(并用分配器复制)
按照相同的顺序构造一个包含x中每个元素的副本的容器。
(5)移动(move)构造函数(和分配器移动)
构造一个获取x元素的容器。
如果指定了alloc并且与x的分配器不同,那么元素将被移动。否则,没有构建元素(他们的所有权直接转移)。
x保持未指定但有效的状态。
(6)初始化列表构造函数
构造一个容器中的每个元件中的一个拷贝的IL,以相同的顺序。
1 | default (1) |
Example
1 |
|
Output
1 | The contents of fifth are: 16 2 77 29 |
vector::~vector
销毁容器对象。这将在每个包含的元素上调用allocator_traits::destroy,并使用其分配器释放由矢量分配的所有存储容量。
1 | ~vector(); |
vector::operator=
将新内容分配给容器,替换其当前内容,并相应地修改其大小。
1 | copy (1) |
Example
1 | #include <iostream> |
Output
1 | Size of foo: 0 |
vector::begin
vector::end
vector::rbegin
vector::rend
vector::cbegin
vector::cend
vector::rcbegin
vector::rcend
vector::size
返回vector中元素的数量。
这是vector中保存的实际对象的数量,不一定等于其存储容量。
1 | size_type size() const noexcept; |
Example
1 |
|
Output
1 | 0. size: 0 |
vector::max_size
返回该vector可容纳的元素的最大数量。由于已知的系统或库实现限制,
这是容器可以达到的最大潜在大小,但容器无法保证能够达到该大小:在达到该大小之前的任何时间,仍然无法分配存储。
1 | size_type max_size() const noexcept; |
Example
1 |
|
A possible output for this program could be:
1 | size: 100 |
vector::resize
调整容器的大小,使其包含n个元素。
如果n小于当前的容器size,内容将被缩小到前n个元素,将其删除(并销毁它们)。
如果n大于当前容器size,则通过在末尾插入尽可能多的元素以达到大小n来扩展内容。如果指定了val,则新元素将初始化为val的副本,否则将进行值初始化。
如果n也大于当前的容器的capacity(容量),分配的存储空间将自动重新分配。
注意这个函数通过插入或者删除元素的内容来改变容器的实际内容。
1 | void resize (size_type n); |
Example
1 |
|
Output
1 | myvector contains: 1 2 3 4 5 100 100 100 0 0 0 0 |
vector::capacity
返回当前为vector分配的存储空间的大小,用元素表示。这个capacity(容量)不一定等于vector的size。它可以相等或更大,额外的空间允许适应增长,而不需要重新分配每个插入。
1 | size_type capacity() const noexcept; |
Example
1 |
|
A possible output for this program could be:
1 | size: 100 |
vector::empty
返回vector是否为空(即,它的size是否为0)
1 | bool empty() const noexcept; |
Example
1 |
|
Output
1 | total: 55 |
vector::reserve
请求vector容量至少足以包含n个元素。
如果n大于当前vector容量,则该函数使容器重新分配其存储容量,从而将其容量增加到n(或更大)。
在所有其他情况下,函数调用不会导致重新分配,并且vector容量不受影响。
这个函数对vector大小没有影响,也不能改变它的元素。
1 | void reserve (size_type n); |
Example
1 |
|
Possible output
1 | making foo grow: |
vector::shrink_to_fit
要求容器减小其capacity(容量)以适应其尺寸。
该请求是非绑定的,并且容器实现可以自由地进行优化,并且保持capacity大于其size的vector。 这可能导致重新分配,但对矢量大小没有影响,并且不能改变其元素。
1 | void shrink_to_fit(); |
Example
1 |
|
Possible output
1 | 1. capacity of myvector: 100 |
vector::operator[]
vector::at
vector::front
vector::back
vector::data
vector::assign
将新内容分配给vector,替换其当前内容,并相应地修改其大小。
在范围版本(1)中,新内容是从第一个和最后一个范围内的每个元素按相同顺序构造的元素。
在填充版本(2)中,新内容是n个元素,每个元素都被初始化为一个val的副本。
在初始化列表版本(3)中,新内容是以相同顺序作为初始化列表传递的值的副本。
所述内部分配器被用于(通过其性状),以分配和解除分配存储器如果重新分配发生。它也习惯于摧毁所有现有的元素,并构建新的元素。
1 | range (1) |
Example
1 |
|
Output
1 | Size of first: 7 |
补充:vector::assign 与 vector::operator= 的区别:
- vector::assign 实现源码
1 | void assign(size_type __n, const _Tp& __val) { _M_fill_assign(__n, __val); } |
- vector::operator= 实现源码
1 | template <class _Tp, class _Alloc> |
vector::push_back
在vector的最后一个元素之后添加一个新元素。val的内容被复制(或移动)到新的元素。
这有效地将容器size增加了一个,如果新的矢量size超过了当前vector的capacity,则导致所分配的存储空间自动重新分配。
1 | void push_back (const value_type& val); |
Example
1 |
|
vector::pop_back
删除vector中的最后一个元素,有效地将容器size减少一个。
这破坏了被删除的元素。
1 | void pop_back(); |
Example
1 |
|
Output
1 | The elements of myvector add up to 600 |
vector::insert
通过在指定位置的元素之前插入新元素来扩展该vector,通过插入元素的数量有效地增加容器大小。 这会导致分配的存储空间自动重新分配,只有在新的vector的size超过当前的vector的capacity的情况下。
由于vector使用数组作为其基础存储,因此除了将元素插入到vector末尾之后,或vector的begin之前,其他位置会导致容器重新定位位置之后的所有元素到他们的新位置。与其他种类的序列容器(例如list或forward_list)执行相同操作的操作相比,这通常是低效的操作。
1 | single element (1) |
Example
1 |
|
Output
1 | myvector contains: 501 502 503 300 300 400 400 200 100 100 100 |
补充:insert 迭代器野指针错误:
1 | int main() |
改正:应该把vi = v.begin();
放到v.push_back(10);
后面
vector::erase
从vector中删除单个元素(position)或一系列元素([first,last))。
这有效地减少了被去除的元素的数量,从而破坏了容器的大小。
由于vector使用一个数组作为其底层存储,所以删除除vector结束位置之后,或vector的begin之前的元素外,将导致容器将段被擦除后的所有元素重新定位到新的位置。与其他种类的序列容器(例如list或forward_list)执行相同操作的操作相比,这通常是低效的操作。
1 | iterator erase (const_iterator position); |
Example
1 |
|
Output
1 | myvector contains: 4 5 7 8 9 10 |
vector::swap
通过x的内容交换容器的内容,x是另一个相同类型的vector对象。尺寸可能不同。
在调用这个成员函数之后,这个容器中的元素是那些在调用之前在x中的元素,而x的元素是在这个元素中的元素。所有迭代器,引用和指针对交换对象保持有效。
请注意,非成员函数存在具有相同名称的交换,并使用与此成员函数相似的优化来重载该算法。
1 | void swap (vector& x); |
Example
1 |
|
Output
1 | foo contains: 200 200 200 200 200 |
vector::clear
从vector中删除所有的元素(被销毁),留下size为0的容器。
不保证重新分配,并且由于调用此函数, vector的capacity不保证发生变化。强制重新分配的典型替代方法是使用swap:vector<T>().swap(x); // clear x reallocating
1 | void clear() noexcept; |
Example
1 |
|
Output
1 | 50 50 50 50 50 |
vector::emplace
通过在position位置处插入新元素args来扩展容器。这个新元素是用args作为构建的参数来构建的。
这有效地增加了一个容器的大小。
分配存储空间的自动重新分配发生在新的vector的size超过当前向量容量的情况下。
由于vector使用数组作为其基础存储,因此除了将元素插入到vector末尾之后,或vector的begin之前,其他位置会导致容器重新定位位置之后的所有元素到他们的新位置。与其他种类的序列容器(例如list或forward_list)执行相同操作的操作相比,这通常是低效的操作。
该元素是通过调用allocator_traits::construct来转换args来创建的。插入一个类似的成员函数,将现有对象复制或移动到容器中。
1 | template <class... Args> |
Example
1 |
|
Output
1 | myvector contains: 10 200 100 20 30 300 |
vector::emplace_back
在vector的末尾插入一个新的元素,紧跟在当前的最后一个元素之后。这个新元素是用args作为构造函数的参数来构造的。
这有效地将容器大小增加了一个,如果新的矢量大小超过了当前的vector容量,则导致所分配的存储空间自动重新分配。
该元素是通过调用allocator_traits :: construct来转换args来创建的。
与push_back相比,emplace_back可以避免额外的复制和移动操作。
1 | template <class... Args> |
Example
1 |
|
Output
1 | emplace_back: |
vector::get_allocator
返回与vector关联的构造器对象的副本。
1 | allocator_type get_allocator() const noexcept; |
Example
1 |
|
Output
1 | The allocated array contains: 0 1 2 3 4 |
relational operators (vector)
swap (vector)
vector
deque
deque([‘dek])(双端队列)是double-ended queue 的一个不规则缩写。deque是具有动态大小的序列容器,可以在两端(前端或后端)扩展或收缩。
特定的库可以以不同的方式实现deques,通常作为某种形式的动态数组。但是在任何情况下,它们都允许通过随机访问迭代器直接访问各个元素,通过根据需要扩展和收缩容器来自动处理存储。
因此,它们提供了类似于vector的功能,但是在序列的开始部分也可以高效地插入和删除元素,而不仅仅是在结尾。但是,与vector不同,deques并不保证将其所有元素存储在连续的存储位置:deque通过偏移指向另一个元素的指针访问元素会导致未定义的行为。
两个vector和deques提供了一个非常相似的接口,可以用于类似的目的,但内部工作方式完全不同:虽然vector使用单个数组需要偶尔重新分配以增长,但是deque的元素可以分散在不同的块的容器,容器在内部保存必要的信息以提供对其任何元素的持续时间和统一的顺序接口(通过迭代器)的直接访问。因此,deques在内部比vector更复杂一点,但是这使得他们在某些情况下更有效地增长,尤其是在重新分配变得更加昂贵的很长序列的情况下。
对于频繁插入或删除开始或结束位置以外的元素的操作,deques表现得更差,并且与列表和转发列表相比,迭代器和引用的一致性更低。
deque上常见操作的复杂性(效率)如下:
- 随机访问 - 常数O(1)
- 在结尾或开头插入或移除元素 - 摊销不变O(1)
- 插入或移除元素 - 线性O(n)
1
template < class T, class Alloc = allocator<T> > class deque;
deque::deque
构造一个deque容器对象,根据所使用的构造函数版本初始化它的内容:
Example
1 |
|
Output
1 | The contents of fifth are: 16 2 77 29 |
deque::push_back
在当前的最后一个元素之后 ,在deque容器的末尾添加一个新元素。val的内容被复制(或移动)到新的元素。
这有效地增加了一个容器的大小。
1 | void push_back (const value_type& val); |
Example
1 |
|
deque::push_front
在deque容器的开始位置插入一个新的元素,位于当前的第一个元素之前。val的内容被复制(或移动)到插入的元素。
这有效地增加了一个容器的大小。
1 | void push_front (const value_type& val); |
Example
1 |
|
Output
1 | 300 200 100 100 |
deque::pop_back
删除deque容器中的最后一个元素,有效地将容器大小减少一个。
这破坏了被删除的元素。
1 | void pop_back(); |
Example
1 |
|
Output
1 | The elements of mydeque add up to 60 |
deque::pop_front
删除deque容器中的第一个元素,有效地减小其大小。
这破坏了被删除的元素。
1 | void pop_front(); |
Example
1 |
|
Output
1 | Popping out the elements in mydeque: 100 200 300 |
deque::emplace_front
在deque的开头插入一个新的元素,就在其当前的第一个元素之前。这个新的元素是用args作为构建的参数来构建的。
这有效地增加了一个容器的大小。
该元素是通过调用allocator_traits::construct来转换args来创建的。
存在一个类似的成员函数push_front,它可以将现有对象复制或移动到容器中。
1 | template <class... Args> |
Example
1 |
|
Output
1 | mydeque contains: 222 111 10 20 30 |
deque::emplace_back
在deque的末尾插入一个新的元素,紧跟在当前的最后一个元素之后。这个新的元素是用args作为构建的参数来构建的。
这有效地增加了一个容器的大小。
该元素是通过调用allocator_traits::construct来转换args来创建的。
存在一个类似的成员函数push_back,它可以将现有对象复制或移动到容器中
1 | template <class... Args> |
Example
1 |
|
Output
1 | mydeque contains: 10 20 30 100 200 |
forward_list
forward_list(单向链表)是序列容器,允许在序列中的任何地方进行恒定的时间插入和擦除操作。
forward_list(单向链表)被实现为单链表; 单链表可以将它们包含的每个元素存储在不同和不相关的存储位置中。通过关联到序列中下一个元素的链接的每个元素来保留排序。forward_list容器和列表
之间的主要设计区别容器是第一个内部只保留一个到下一个元素的链接,而后者每个元素保留两个链接:一个指向下一个元素,一个指向前一个元素,允许在两个方向上有效的迭代,但是每个元素消耗额外的存储空间并且插入和移除元件的时间开销略高。因此,forward_list对象比列表对象更有效率,尽管它们只能向前迭代。
与其他基本的标准序列容器(array,vector和deque),forward_list通常在插入,提取和移动容器内任何位置的元素方面效果更好,因此也适用于密集使用这些元素的算法,如排序算法。
的主要缺点修饰符Modifiers S和列表相比这些其它序列容器s是说,他们缺乏可以通过位置的元素的直接访问; 例如,要访问forward_list中的第六个元素,必须从开始位置迭代到该位置,这需要在这些位置之间的线性时间。它们还消耗一些额外的内存来保持与每个元素相关联的链接信息(这可能是大型小元素列表的重要因素)。
该修饰符Modifiersclass模板的设计考虑到效率:按照设计,它与简单的手写C型单链表一样高效,实际上是唯一的标准容器,为了效率的考虑故意缺少尺寸成员函数:由于其性质作为一个链表,具有一个需要一定时间的大小的成员将需要它保持一个内部计数器的大小(如列表所示)。这会消耗一些额外的存储空间,并使插入和删除操作效率稍低。要获取forward_list对象的大小,可以使用距离算法的开始和结束,这是一个需要线性时间的操作。
forward_list::forward_list
1 | default (1) |
Example
1 |
|
Possible output
1 | forward_list constructor examples: |
forward_list::~forward_list
forward_list::before_begin
返回指向容器中第一个元素之前的位置的迭代器。
返回的迭代器不应被解除引用:它是为了用作成员函数的参数emplace_after,insert_after,erase_after或splice_after,指定序列,其中执行该动作的位置的开始位置。
1 | iterator before_begin() noexcept; |
Example
1 |
|
Output
1 | mylist contains: 11 20 30 40 50 |
forward_list::cbefore_begin
返回指向容器中第一个元素之前的位置的const_iterator。
一个常量性是指向常量内容的迭代器。这个迭代器可以增加和减少(除非它本身也是const),就像forward_list::before_begin返回的迭代器一样,但不能用来修改它指向的内容。
返回的价值不得解除引用。
1 | const_iterator cbefore_begin() const noexcept; |
Example
1 |
|
Output
1 | mylist contains: 19 77 2 16 |
list
stack
queue
priority_queue
set
multiset
map
map 是关联容器,按照特定顺序存储由 key value (键值) 和 mapped value (映射值) 组合形成的元素。
在映射中,键值通常用于对元素进行排序和唯一标识,而映射的值存储与此键关联的内容。该类型的键和映射的值可能不同,并且在部件类型被分组在一起VALUE_TYPE,这是一种对类型结合两种:
1 | typedef pair<const Key, T> value_type; |
在内部,映射中的元素总是按照由其内部比较对象(比较类型)指示的特定的严格弱排序标准按键排序。映射容器通常比unordered_map容器慢,以通过它们的键来访问各个元素,但是它们允许基于它们的顺序对子集进行直接迭代。 在该映射值地图可以直接通过使用其相应的键来访问括号运算符((操作符[] )。 映射通常如实施
1 | template < class Key, // map::key_type |
map::map
构造一个映射容器对象,根据所使用的构造器版本初始化其内容:
(1)空容器构造函数(默认构造函数)
构造一个空的容器,没有元素。
(2)范围构造函数
构造具有一样多的元素的范围内的容器[第一,最后一个),其中每个元件布设构造的从在该范围内它的相应的元件。
(3)复制构造函数(并用分配器复制)
使用x中的每个元素的副本构造一个容器。
(4)移动构造函数(并与分配器一起移动)
构造一个获取x元素的容器。
如果指定了alloc并且与x的分配器不同,那么元素将被移动。否则,没有构建元素(他们的所有权直接转移)。
x保持未指定但有效的状态。
(5)初始化列表构造函数
用il中的每个元素的副本构造一个容器。
1 | empty (1) |
Example
1 |
|
map::begin
返回引用map容器中第一个元素的迭代器。
由于map容器始终保持其元素的顺序,所以开始指向遵循容器排序标准的元素。
如果容器是空的,则返回的迭代器值不应被解除引用。
1 | iterator begin() noexcept; |
Example
1 |
|
Output
1 | a => 200 |
map::key_comp
返回容器用于比较键的比较对象的副本。
1 | key_compare key_comp() const; |
Example
1 |
|
Output
1 | mymap contains: |
map::value_comp
返回可用于比较两个元素的比较对象,以获取第一个元素的键是否在第二个元素之前。
1 | value_compare value_comp() const; |
Example
1 |
|
Output
1 | mymap contains: |
map::find
在容器中搜索具有等于k的键的元素,如果找到则返回一个迭代器,否则返回map::end的迭代器。
如果容器的比较对象自反地返回假(即,不管元素作为参数传递的顺序),则两个key被认为是等同的。
另一个成员函数map::count可以用来检查一个特定的键是否存在。
1 | iterator find (const key_type& k); |
Example
1 |
|
Output
1 | elements in mymap: |
map::count
在容器中搜索具有等于k的键的元素,并返回匹配的数量。
由于地图容器中的所有元素都是唯一的,因此该函数只能返回1(如果找到该元素)或返回零(否则)。
如果容器的比较对象自反地返回错误(即,不管按键作为参数传递的顺序),则两个键被认为是等同的。
1 | size_type count (const key_type& k) const; |
Example
1 |
|
Output
1 | a is an element of mymap. |
map::lower_bound
将迭代器返回到下限
返回指向容器中第一个元素的迭代器,该元素的键不会在k之前出现(即,它是等价的或者在其后)。
该函数使用其内部比较对象(key_comp)来确定这一点,将迭代器返回到key_comp(element_key,k)将返回false的第一个元素。
如果map类用默认的比较类型(less)实例化,则函数返回一个迭代器到第一个元素,其键不小于k。
一个类似的成员函数upper_bound具有相同的行为lower_bound,除非映射包含一个key值等于k的元素:在这种情况下,lower_bound返回指向该元素的迭代器,而upper_bound返回指向下一个元素的迭代器。
1 | iterator lower_bound (const key_type& k); |
Example
1 |
|
Output
1 | a => 20 |
map::upper_bound
将迭代器返回到上限
返回一个指向容器中第一个元素的迭代器,它的关键字被认为是在k之后。
该函数使用其内部比较对象(key_comp)来确定这一点,将迭代器返回到key_comp(k,element_key)将返回true的第一个元素。
如果map类用默认的比较类型(less)实例化,则函数返回一个迭代器到第一个元素,其键大于k。
类似的成员函数lower_bound具有与upper_bound相同的行为,除了map包含一个元素,其键值等于k:在这种情况下,lower_bound返回指向该元素的迭代器,而upper_bound返回指向下一个元素的迭代器。
1 | iterator upper_bound (const key_type& k); |
Example
1 |
|
Output
1 | a => 20 |
map::equal_range
获取相同元素的范围
返回包含容器中所有具有与k等价的键的元素的范围边界。 由于地图容器中的元素具有唯一键,所以返回的范围最多只包含一个元素。
如果没有找到匹配,则返回的范围具有零的长度,与两个迭代器指向具有考虑去后一个密钥对所述第一元件ķ根据容器的内部比较对象(key_comp)。如果容器的比较对象返回false,则两个键被认为是等价的。
1 | pair<const_iterator,const_iterator> equal_range (const key_type& k) const; |
Example
1 |
|
Output
1 | lower bound points to: 'b' => 20 |
multimap
无序容器(Unordered Container):unordered_set、unordered_multiset、unordered_map、unordered_multimap
包括:
- unordered_set
- unordered_multiset
- unordered_map
- unordered_multimap
都是以哈希表实现的。
unordered_set、unodered_multiset结构:
unordered_map、unodered_multimap结构:
unordered_set
unordered_multiset
unordered_map
unordered_multimap
tuple
元组是一个能够容纳元素集合的对象。每个元素可以是不同的类型。
1 | template <class... Types> class tuple; |
Example
1 |
|
Output
1 | foo contains: 100 y |
tuple::tuple
构建一个 tuple(元组)对象。
这涉及单独构建其元素,初始化取决于调用的构造函数形式:
(1)默认的构造函数
构建一个 元组对象的元素值初始化。
(2)复制/移动构造函数
该对象使用tpl的内容进行初始化 元组目的。tpl
的相应元素被传递给每个元素的构造函数。
(3)隐式转换构造函数
同上。tpl中的
所有类型都可以隐含地转换为构造中它们各自元素的类型元组 目的。
(4)初始化构造函数
用elems中的相应元素初始化每个元素。elems
的相应元素被传递给每个元素的构造函数。
(5)对转换构造函数
该对象有两个对应于pr.first和的元素pr.second。PR中的所有类型都应该隐含地转换为其中各自元素的类型元组 目的。
(6)分配器版本
和上面的版本一样,除了每个元素都是使用allocator alloc构造的。
1 | default (1) |
Example
1 |
|
Output
1 | sixth contains: 30 and c |
pair
这个类把一对值(values)结合在一起,这些值可能是不同的类型(T1 和 T2)。每个值可以被公有的成员变量first、second访问。
pair是tuple(元组)的一个特例。
pair的实现是一个结构体,主要的两个成员变量是first second 因为是使用struct不是class,所以可以直接使用pair的成员变量。
应用:
- 可以将两个类型数据组合成一个如map<key, value>
- 当某个函数需要两个返回值时
1 | template <class T1, class T2> struct pair; |
pair::pair
构建一个pair对象。
这涉及到单独构建它的两个组件对象,初始化依赖于调用的构造器形式:
(1)默认的构造函数
构建一个 对对象的元素值初始化。
(2)复制/移动构造函数(和隐式转换)
该对象被初始化为pr的内容 对目的。pr
的相应成员被传递给每个成员的构造函数。
(3)初始化构造函数
会员 第一是由一个和成员构建的第二与b。
(4)分段构造
构造成员 first 和 second 到位,传递元素first_args 作为参数的构造函数 first,和元素 second_args 到的构造函数 second 。
1 | default (1) |
Example
1 |
|
Output
1 | The price of lightbulbs is $0.99 |