定义于头文件<map>
template< class Key, | (1) | |
namespace pmr { template <class Key, class T, class Compare = std::less<Key>> | (2) | (C++17 起) |
std::map
是有序键值对容器,它的元素的键是唯一的。用比较函数 Compare
排序键。搜索、移除和插入操作拥有对数复杂度。 map 通常实现为红黑树。
在每个标准库使用比较 (Compare) 概念的位置,以等价关系检验唯一性。不精确而言,若二个对象 a
与 b
互相比较不小于对方 : !comp(a, b) && !comp(b, a)
,则认为它们等价(非唯一)。
std::map
满足容器 (Container) 、具分配器容器 (AllocatorAwareContainer) 、关联容器 (AssociativeContainer) 和可逆容器 (ReversibleContainer) 的要求。
成员函数
构造 map
std::map<Key,T,Compare,Allocator>::map
map(); explicit map( const Compare& comp, const Allocator& alloc = Allocator() ); | (1) | |
explicit map( const Allocator& alloc ); | (1) | (C++11 起) |
template< class InputIt > map( InputIt first, InputIt last, | (2) | |
template< class InputIt > map( InputIt first, InputIt last, const Allocator& alloc ); | (C++14 起) | |
map( const map& other ); | (3) | |
map( const map& other, const Allocator& alloc ); | (3) | (C++11 起) |
map( map&& other ); | (4) | (C++11 起) |
map( map&& other, const Allocator& alloc ); | (4) | (C++11 起) |
map( std::initializer_list<value_type> init, const Compare& comp = Compare(), const Allocator& alloc = Allocator() ); | (5) | (C++11 起) |
map( std::initializer_list<value_type> init, | (C++14 起) |
从各种数据源构造新容器,可选地使用用户提供的分配器 alloc
或比较函数对象 comp
。
1) 构造空容器。
2) 构造容器,使之拥有范围 [first, last)
的内容。若范围中的多个元素拥有比较等价的关键,则插入哪个元素是未指定的(待决的 LWG2844 )。
3) 复制构造函数。构造容器,使之拥有 other
的内容副本。若不提供 alloc
,则通过调用 std::allocator_traits<allocator_type>::select_on_container_copy_construction(other.get_allocator()) 获得分配器。
4) 移动构造函数。用移动语义构造容器,使之拥有 other
的内容。若不提供 alloc
,则从属于 other
的分配器移动构造分配器
5) 构造容器,使之拥有 initializer_list init
的内容。若范围中的多个元素拥有比较等价的关键,则插入哪个元素是未指定的(待决的 LWG2844 )。
参数
alloc | - | 用于此容器所有内存分配的分配器 |
comp | - | 用于所有关键比较的比较函数对象 |
first, last | - | 复制元素来源的范围 |
other | - | 要用作源以初始化容器元素的另一容器 |
init | - | 用以初始化容器元素的 initializer_list |
类型要求 | ||
- InputIt 必须满足遗留输入迭代器 (LegacyInputIterator) 的要求。 | ||
- Compare 必须满足比较 (Compare) 的要求。 | ||
- Allocator 必须满足分配器 (Allocator) 的要求。 |
复杂度
1) 常数。
2) N log(N) ,其中通常有 N = std::distance(first, last) ,若范围已为 value_comp()
所排序则与 N
成线性。
3) 与 other
的大小成线性。
4) 常数。若给定 alloc
且 alloc != other.get_allocator() 则为线性。
5) N log(N) ,其中通常有 N = init.size()) ,若 init
已按照 value_comp()
排序则与 N
成线性 。
异常
对 Allocator::allocate
的调用可能抛出。
析构 map
std::map<Key,T,Compare,Allocator>::~map
~map(); |
销毁容器。调用元素的析构函数,然后解分配所用的存储。注意,若元素是指针,则不销毁所指向的对象。
复杂度
与容器大小成线性。
调用示例
#include <iostream>
#include <forward_list>
#include <string>
#include <iterator>
#include <algorithm>
#include <functional>
#include <map>
#include <time.h>
using namespace std;
struct Cell
{
int x;
int y;
Cell() = default;
Cell(int a, int b): x(a), y(b) {}
Cell &operator +=(const Cell &cell)
{
x += cell.x;
y += cell.y;
return *this;
}
Cell &operator +(const Cell &cell)
{
x += cell.x;
y += cell.y;
return *this;
}
Cell &operator *(const Cell &cell)
{
x *= cell.x;
y *= cell.y;
return *this;
}
Cell &operator ++()
{
x += 1;
y += 1;
return *this;
}
bool operator <(const Cell &cell) const
{
if (x == cell.x)
{
return y < cell.y;
}
else
{
return x < cell.x;
}
}
bool operator >(const Cell &cell) const
{
if (x == cell.x)
{
return y > cell.y;
}
else
{
return x > cell.x;
}
}
bool operator ==(const Cell &cell) const
{
return x == cell.x && y == cell.y;
}
};
struct myCompare
{
bool operator()(const int &a, const int &b)
{
return a < b;
}
};
std::ostream &operator<<(std::ostream &os, const Cell &cell)
{
os << "{" << cell.x << "," << cell.y << "}";
return os;
}
std::ostream &operator<<(std::ostream &os, const std::pair<const int, Cell> &pCell)
{
os << pCell.first << "-" << pCell.second;
return os;
}
int main()
{
auto genKey = []()
{
return std::rand() % 10 + 100;
};
auto generate = []()
{
int n = std::rand() % 10 + 100;
Cell cell{n, n};
return cell;
};
//1) 构造空容器。
std::map<int, Cell> map1;
std::cout << "map1 is empty: " << map1.empty() << std::endl;
for (size_t index = 0; index < 5; index++)
{
map1.insert({genKey(), generate()});
}
std::cout << std::endl;
//2) 构造容器,使之拥有范围 [first, last) 的内容。
std::map<int, Cell> map2(map1.begin(), map1.end());
std::cout << "map2: ";
std::copy(map2.begin(), map2.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
// 逆序
std::map<int, Cell, std::greater<int>> map8(map1.begin(), map1.end());
std::cout << "map8: ";
std::copy(map8.begin(), map8.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::cout << std::endl;
//3) 复制构造函数。构造容器,使之拥有 other 的内容副本。
std::map<int, Cell> map3(map2);
std::cout << "map3: ";
std::copy(map3.begin(), map3.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::map<int, Cell, std::greater<int>> map9(map8);
std::cout << "map9: ";
std::copy(map9.begin(), map9.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::cout << std::endl;
//4) 移动构造函数。用移动语义构造容器,使之拥有 other 的内容。
std::map<int, Cell> map4(std::move(map2));
std::cout << "map4: ";
std::copy(map4.begin(), map4.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::cout << "map2(move) is empty: " << map2.empty() << std::endl;
std::map<int, Cell, std::greater<int>> map10(std::move(map8));
std::cout << "map10: ";
std::copy(map10.begin(), map10.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::cout << "map8(move) is empty: " << map10.empty() << std::endl;
std::cout << std::endl;
//5) 构造容器,使之拥有 initializer_list init 的内容。
std::map<int, Cell> map5({{genKey(), generate()}, {genKey(), generate()},
{genKey(), generate()}, {genKey(), generate()}, {genKey(), generate()}});
std::cout << "map5: ";
std::copy(map5.begin(), map5.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::map<int, Cell, std::greater<int>> map11({{genKey(), generate()}, {genKey(), generate()},
{genKey(), generate()}, {genKey(), generate()}, {genKey(), generate()}});
std::cout << "map11: ";
std::copy(map11.begin(), map11.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::cout << std::endl;
//使用系统key比较函数
std::map<int, Cell, std::greater<int>> map6({{genKey(), generate()}, {genKey(), generate()},
{genKey(), generate()}, {genKey(), generate()}, {genKey(), generate()}});
std::cout << "map6: ";
std::copy(map6.begin(), map6.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
std::cout << std::endl;
//使用自定义key比较函数
std::map<int, Cell, myCompare> map7({{genKey(), generate()}, {genKey(), generate()},
{genKey(), generate()}, {genKey(), generate()}, {genKey(), generate()}});
std::cout << "map7: ";
std::copy(map7.begin(), map7.end(), std::ostream_iterator<std::pair<const int, Cell>>(std::cout, " "));
std::cout << std::endl;
return 0;
}
输出