std:: map
|
定义于头文件
<map>
|
||
|
template
<
class
Key,
|
(1) | |
|
namespace
pmr
{
template
<
|
(2) | (C++17 起) |
std::map
是一种排序的关联容器,包含具有唯一键的键值对。通过比较函数
Compare
对键进行排序。搜索、删除和插入操作具有对数复杂度。映射通常实现为
红黑树
。
std::map
的迭代器按键的升序进行遍历,其中升序由构造时使用的比较方式定义。也就是说,给定
-
m
,一个
std::map - it_l 和 it_r ,指向 m 的可解引用迭代器,且满足 it_l < it_r 。
m. value_comp ( ) ( * it_l, * it_r ) == true (若使用默认比较规则则为升序排列)。
在标准库所有使用 Compare 要求的地方,唯一性都是通过等价关系来确定的。不严格地说,两个对象 a 和 b 被认为是等价的(非唯一),当且仅当它们互不小于对方: ! comp ( a, b ) && ! comp ( b, a ) 。
std::map
满足
Container
、
AllocatorAwareContainer
、
AssociativeContainer
与
ReversibleContainer
的要求。
std::map
的所有成员函数都是
constexpr
:可以在常量表达式的求值过程中创建和使用
std::map
对象。
然而,
|
(since C++26) |
目录 |
模板参数
|
本节内容不完整
原因:需补充模板参数的描述说明。 |
成员类型
| 类型 | 定义 | ||||
key_type
|
Key
|
||||
mapped_type
|
T
|
||||
value_type
|
std:: pair < const Key, T > | ||||
size_type
|
无符号整数类型(通常为 std::size_t ) | ||||
difference_type
|
有符号整数类型(通常为 std::ptrdiff_t ) | ||||
key_compare
|
Compare
|
||||
allocator_type
|
Allocator
|
||||
reference
|
value_type & | ||||
const_reference
|
const value_type & | ||||
pointer
|
|
||||
const_pointer
|
|
||||
iterator
|
指向
value_type
的
老式双向迭代器
且为
常量表达式迭代器
(C++26 起)
|
||||
const_iterator
|
指向 const value_type 的 老式双向迭代器 且为 常量表达式迭代器 (C++26 起) | ||||
reverse_iterator
|
std:: reverse_iterator < iterator > | ||||
const_reverse_iterator
|
std:: reverse_iterator < const_iterator > | ||||
node_type
(C++17 起)
|
表示容器节点的 节点句柄 特化 | ||||
insert_return_type
(C++17 起)
|
描述插入
node_type
结果的类型,为以下特化:
template
<
class
Iter,
class
NodeType
>
|
成员类
比较
value_type
类型的对象
(类) |
成员函数
构造
map
对象
(公开成员函数) |
|
析构
map
对象
(公开成员函数) |
|
|
为容器赋值
(公开成员函数) |
|
|
返回关联的分配器
(公开成员函数) |
|
元素访问 |
|
|
访问指定元素,带边界检查
(公开成员函数) |
|
|
访问或插入指定元素
(公开成员函数) |
|
迭代器 |
|
|
(C++11)
|
返回指向起始位置的迭代器
(公开成员函数) |
|
(C++11)
|
返回指向末尾位置的迭代器
(公开成员函数) |
|
(C++11)
|
返回指向起始位置的反向迭代器
(公开成员函数) |
|
(C++11)
|
返回指向末尾位置的反向迭代器
(公开成员函数) |
容量 |
|
|
检查容器是否为空
(公开成员函数) |
|
|
返回元素数量
(公开成员函数) |
|
|
返回可容纳的最大元素数量
(公开成员函数) |
|
修改器 |
|
|
清空内容
(公开成员函数) |
|
|
插入元素
或节点
(C++17 起)
(公开成员函数) |
|
|
(C++23)
|
插入元素范围
(公开成员函数) |
|
(C++17)
|
插入元素,若键已存在则赋值给当前元素
(公开成员函数) |
|
(C++11)
|
原位构造元素
(公开成员函数) |
|
(C++11)
|
使用提示原位构造元素
(公开成员函数) |
|
(C++17)
|
若键不存在则原位插入,否则不进行任何操作
(公开成员函数) |
|
擦除元素
(公开成员函数) |
|
非成员函数
|
(C++20 中移除)
(C++20 中移除)
(C++20 中移除)
(C++20 中移除)
(C++20 中移除)
(C++20)
|
按字典序比较两个
map
的值
(函数模板) |
|
特化
std::swap
算法
(函数模板) |
|
|
(C++20)
|
擦除所有满足特定条件的元素
(函数模板) |
推导指引 |
(C++17 起) |
注释
| 功能测试 宏 | 值 | 标准 | 功能 |
|---|---|---|---|
__cpp_lib_containers_ranges
|
202202L
|
(C++23) | 容器的范围构造与插入 |
__cpp_lib_constexpr_map
|
202502L
|
(C++26) |
constexpr
std::map
|
示例
#include <iostream> #include <map> #include <string> #include <string_view> void print_map(std::string_view comment, const std::map<std::string, int>& m) { std::cout << comment; // 使用 C++17 特性进行迭代 for (const auto& [key, value] : m) std::cout << '[' << key << "] = " << value << "; "; // C++11 替代方案: // for (const auto& n : m) // std::cout << n.first << " = " << n.second << "; "; // // C++98 替代方案: // for (std::map<std::string, int>::const_iterator it = m.begin(); it != m.end(); ++it) // std::cout << it->first << " = " << it->second << "; "; std::cout << '\n'; } int main() { // 创建包含三个(字符串,整数)对的映射 std::map<std::string, int> m{{"CPU", 10}, {"GPU", 15}, {"RAM", 20}}; print_map("1) 初始映射: ", m); m["CPU"] = 25; // 更新现有值 m["SSD"] = 30; // 插入新值 print_map("2) 更新后的映射: ", m); // 对不存在的键使用 operator[] 总会执行插入操作 std::cout << "3) m[UPS] = " << m["UPS"] << '\n'; print_map("4) 更新后的映射: ", m); m.erase("GPU"); print_map("5) 擦除后: ", m); std::erase_if(m, [](const auto& pair){ return pair.second > 25; }); print_map("6) 擦除后: ", m); std::cout << "7) m.size() = " << m.size() << '\n'; m.clear(); std::cout << std::boolalpha << "8) 映射为空: " << m.empty() << '\n'; }
输出:
1) 初始映射: [CPU] = 10; [GPU] = 15; [RAM] = 20; 2) 更新后的映射: [CPU] = 25; [GPU] = 15; [RAM] = 20; [SSD] = 30; 3) m[UPS] = 0 4) 更新后的映射: [CPU] = 25; [GPU] = 15; [RAM] = 20; [SSD] = 30; [UPS] = 0; 5) 擦除后: [CPU] = 25; [RAM] = 20; [SSD] = 30; [UPS] = 0; 6) 擦除后: [CPU] = 25; [RAM] = 20; [UPS] = 0; 7) m.size() = 3 8) 映射为空: true
缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的C++标准。
| 缺陷报告 | 适用范围 | 发布时行为 | 正确行为 |
|---|---|---|---|
| LWG 230 | C++98 |
Key
未被要求满足
CopyConstructible
(可能无法构造
Key
类型的键)
|
同时要求
Key
满足 CopyConstructible |
| LWG 464 | C++98 |
通过键访问 const
map
不够便利
|
提供
at
成员函数
|
参见
|
按键排序的键值对集合
(类模板) |
|
|
(C++11)
|
通过哈希存储的键值对集合,键具有唯一性
(类模板) |
|
(C++23)
|
适配两个容器以提供按键排序的键值对集合,键具有唯一性
(类模板) |