推荐优先使用C++17 CTAD（std::pair(a,b)），因其类型推导最准确；make_pair易致const char*误推，花括号初始化要求严格匹配且禁隐式转换。
直接用 std::pair 就行，不用封装结构体、不用写构造函数，两个值一绑就完事——但得选对初始化方式，否则容易隐式类型转换出错或编译失败。
怎么创建 pair：make_pair、花括号、CTAD 三者区别在哪
三种主流方式本质都是构造 std::pair，但类型推导行为和兼容性不同：
-
std::make_pair(a, b)：自动推导T1和T2，但会把const char*推成const char*而非std::string，可能导致后续赋值失败（比如存进std::map<:string int></:string>时 key 类型不匹配） -
std::pair{a, b}（花括号初始化）：C++11 起支持，要求a和b类型必须严格匹配模板参数，不进行用户定义转换；适合明确类型意图的场景 -
std::pair(a, b)（C++17 CTAD）：编译器根据实参推导完整类型，行为最接近手写std::pair<t1 t2></t1>，推荐在支持 C++17 的项目中作为默认选择
示例：auto p1 = std::make_pair("hello", 42); 得到的是 std::pair<const char int></const>；而 std::pair{"hello", 42} 编译报错（字符串字面量不能隐式转 std::string），std::pair{"hello"s, 42}（带 s 后缀）才安全。
访问和修改元素：first/second 是 public 成员，但别直接改 map 里的 pair
std::pair 是 struct，first 和 second 是公有成员，可读可写——但要注意使用上下文：
立即学习“C++免费学习笔记（深入）”；
- 独立变量：直接赋值没问题，
p.first = 100;合法且高效 - 在
std::map迭代器中：it->first是 const（key 不可变），it->second可改，但改it->first会导致未定义行为 - 传参时若用
const std::pair&，则.first和.second都不可修改
常见错误：for (auto& p : my_map) { p.first = "new_key"; } —— 编译不过，因为 my_map::value_type 是 const std::pair<const key value></const>。
pair 比较规则：字典序比较，但自定义类型要重载 operator<
std::pair 的 operator< 默认按字典序：先比 first，相等再比 second。这使得它能直接用作 std::set 或 std::map 的 key。
- 内置类型（
int、double、std::string）天然支持比较 - 若
first或second是自定义类，必须提供operator<（或传入自定义比较函数），否则编译失败 - 注意：
operator==也依赖成员类型的==，比如std::vector有，但裸指针没有
例如：std::pair<mystruct int></mystruct> 作为 std::set 元素时，MyStruct 必须可比较，否则报错 invalid operands to binary expression ('const MyStruct' and 'const MyStruct')。
嵌套 pair 和替代方案：超过两层就该换 tuple 或 struct
std::pair 支持嵌套，比如 std::pair<int std::pair double>></int>，但访问时变成 p.second.first，可读性骤降，调试困难。
- 两层嵌套尚可接受，三层及以上强烈建议改用
std::tuple（配合结构化绑定） - 如果两个以上字段有明确语义（如
id、name、score），应定义具名结构体，而非硬塞pair<pair>, ...></pair> - 性能无差异，但维护成本翻倍——
pair的设计初衷就是“临时打包两个值”，不是构建复杂数据结构
真正容易被忽略的是：当你开始写 p.first.second.first 这种链式访问时，说明抽象层级已经失控，该停下来重构了。
