std::minmax_element 返回 pair 是为单次遍历实现 O(1.5n) 时间复杂度，避免两次 O(n) 扫描；返回 std::pair<It, It>，first 为最小值迭代器，second 为最大值迭代器。
std::minmax_element 为什么返回 pair 而不是两个独立迭代器
因为要保证单次遍历完成，避免对同一容器重复扫描两次——std::min_element 和 std::max_element 各扫一遍是 O(2n)，而 std::minmax_element 是 O(1.5n)。标准库用 std::pair<It, It> 封装最小值和最大值的迭代器，第一个是 min，第二个是 max。
常见错误是直接解包成两个变量却忽略 std::pair 的字段名：auto [min_it, max_it] = std::minmax_element(...) 可行（C++17 结构化绑定），但老版本必须写 auto p = std::minmax_element(...); auto min_it = p.first; auto max_it = p.second;。
空容器或单元素容器调用时的行为
传入空范围（如 v.begin() == v.end()）会导致未定义行为，标准不保证抛异常，实际中多数实现会崩溃或返回非法迭代器。必须提前检查：
- 用
v.empty()判断是否为空 - 单元素容器合法：此时
first == second，两个迭代器指向同一位置 - 若用在
std::vector上，且已 reserve 但未 push，注意size() == 0仍属空范围
自定义比较函数要注意 operator< 的严格弱序
传入的比较函数（比如 std::greater<int>() 或 lambda）必须满足严格弱序：不可出现 a
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
典型误用：
auto cmp = [](int a, int b) { return a <= b; }; // 错！用了 <=，不满足严格弱序
std::minmax_element(v.begin(), v.end(), cmp); // UB！
正确写法是只用 < 或标准函数对象：std::less<int>()、std::greater<int>()，或 lambda 写成 [](int a, int b) { return a < b; }。
获取值而非迭代器时别忘了解引用
std::minmax_element 返回的是迭代器，不是值。直接打印或赋值给 int 会编译失败：
- 错：
int min_val = std::minmax_element(v.begin(), v.end()).first; - 对：
int min_val = *std::minmax_element(v.begin(), v.end()).first; - 更安全：先存 pair，再检查是否有效，再解引用 —— 尤其在非 trivial 类型（如
std::string）上，解引用前确保迭代器合法
如果容器是 std::vector<std::string>，且你写了 *p.first，那得到的是 std::string&，不是拷贝；需要拷贝时显式写 std::string min_str = *p.first;。
