std::pair用于封装单个键值对，而非存储多组键值对；它仅提供first/second两个固定类型成员，不支持查找、插入等映射操作，适用场景包括函数多返回值、临时打包及作为map的value类型。
怎么用 std::pair 存键值对，而不是用 std::map
std::pair 不是为“存一堆键值对”设计的，它只存两个固定类型的值：first 和 second。你拿它当“单个键值对”用没问题，比如传参、返回两个结果、临时打包；但别指望它支持查找、插入、去重——那是 std::map 或 std::unordered_map 的事。
常见错误现象：auto p = make_pair("name", 42); 看起来像字典项，但一旦写成 vector<pair int>> v = {{"a",1},{"b",2}};</pair>，你就得自己遍历找 "b"，没有 v["b"] 这种语法。
- 适用场景：函数返回两个相关值（如
minmax_element返回迭代器对）、sort自定义比较时把 key 和 index 打包、作为map的 value 类型（如map<string pair string>></string>） - 类型推导要小心：
make_pair(1, 3.14)推出pair<int double></int>，但{1, 3.14}在初始化列表里可能触发模板推导失败，优先用make_pair或显式模板参数 - 性能上没额外开销，就是两个字段连续存放；但别误以为它比
map轻量——功能不同，不构成替代关系
first 和 second 的类型必须提前确定吗
必须。模板实例化时就锁死了类型，比如 pair<int string></int> 不能往 second 里塞 vector<double></double>，编译直接报错。
常见错误现象：pair<int int> p = {1, "hello"};</int> → 编译失败，字符串字面量转不了 int；又或者想动态决定第二个类型，比如“有时是 string，有时是 double”，这时 pair 就不合适了，该用 std::variant 或继承结构。
- 如果需要运行时类型可变，
pair不是解，别硬套 - 嵌套使用合法但易读性差：
pair<pair int>, double></pair>可以，但访问得写p.first.first，建议用结构体命名字段 - C++17 结构化绑定能缓解丑陋：
auto [k, v] = p;直接解出变量，但前提是类型已知且不涉及多态
和 std::tuple 比，什么时候该选 pair
当你**明确只需要两个元素**，且这两个元素语义清晰（比如“键-值”“坐标x-y”“起始-结束”），就用 pair。它比 tuple 更轻、接口更直白、可读性更高。
常见错误现象：为了“以后可能加第三个字段”而直接上 tuple<int></int>，结果每次访问都得记索引 get(t)，还容易混淆顺序；或者反过来，该用 tuple 处理多返回值（如 regex_match）却硬拆成多个 pair，徒增复杂度。
-
pair支持==、（按字典序比较 <code>first再second），tuple也支持，但pair的比较意图更明确 - STL 算法里大量用
pair：比如equal_range返回一对迭代器，insert返回pair<iterator bool></iterator>，这是约定俗成，别自己改成tuple - 兼容性上无差别，都是标准库组件，但老代码或接口契约里出现
pair，就别擅自替换成tuple
初始化和赋值最容易漏掉的细节
初始化方式看似随意，但混用会踩坑：统一用 make_pair 最安全，尤其涉及类型转换时。
常见错误现象：pair<double int> p{1, 2};</double> → 1 是 int，不会自动转 double，但 C++11 后列表初始化允许窄化转换警告（取决于编译器设置）；更危险的是 pair<string vector>> p{"abc", {1,2,3}};</string>，第二个参数的花括号可能被解释为 initializer_list 构造，而非 vector 构造，导致编译失败。
- 推荐写法：
auto p = make_pair(string{"abc"}, vector<int>{1,2,3});</int>或 C++17 后pair p{"abc", vector<int>{1,2,3}};</int>（注意外层是圆括号） - 赋值时注意移动语义：
p = make_pair(move(s), move(v));避免不必要的拷贝，尤其当second是大对象时 - 别在
const上下文中修改first/second：比如const pair<int> p{1,2}; p.first = 3;</int>直接编译不过
pair，而是想清楚“我到底需不需要一个能查、能删、能自动排序的键值容器”——这时候再回头看看 map 或 unordered_map。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
