std::ranges::min_max 是 C++20 中真正单趟、无迭代器失效、支持所有范围的现代解法，但只返回值而非迭代器，且要求范围非空或显式防护；而 std::minmax_element 是传统迭代器算法，需手动传 begin/end，返回迭代器，支持前向迭代器以上。
别用 std::minmax_element 了，C++20 的 std::ranges::min_max 才是真·单趟、无迭代器失效、支持所有范围的现代解法——但它不返回迭代器，只返回值，且要求范围非空或显式处理哨兵。
std::ranges::min_max 和 std::minmax_element 的根本区别
前者是 std::ranges 算法，接受任意 range（包括 std::vector、std::array、字符串视图、甚至生成器），自动推导 begin/end；后者是传统迭代器算法，必须手动传两个迭代器，且仅支持前向迭代器及以上（std::list 可用，但 std::forward_list 不行）。
最关键的是：
- std::ranges::min_max 返回 std::pair<const t const></const>（引用），不拷贝元素；
- std::minmax_element 返回 std::pair<it it></it>（迭代器），你要自己解引用才能拿到值；
- 两者都做约 1.5N 次比较，但 ranges 版本省去了手写 .begin()/.end() 的冗余，也规避了迭代器悬垂风险（比如容器在调用中途被移动）。
常见错误现象：std::ranges::min_max(v) 编译失败 → 忘记包含 <algorithm> 或没启用 C++20；std::minmax_element(v) 直接报错 → 误把容器当迭代器传，正确写法是 std::minmax_element(v.begin(), v.end())。
空 range 时 std::ranges::min_max 会崩溃
它不检查空范围，直接调用会触发未定义行为（UB），不像 std::minmax_element 至少还能安全返回 {end, end}。
立即学习“C++免费学习笔记（深入）”；
必须显式防护：
- 用
if (!r.empty())（适用于有.empty()成员的容器） - 或更通用的
if (std::ranges::begin(r) != std::ranges::end(r)) - 或封装一层：用
std::optional<:pair t const>></:pair>包装返回值（需自己实现）
注意：即使你用了 std::ranges::size(r) > 0，对某些 lazy range（如 std::views::filter）可能引发 O(n) 遍历开销，慎用。
自定义比较逻辑必须满足严格弱序
和所有 STL 排序/极值算法一样，传入的 comp 参数（比如 lambda）必须满足严格弱序：即对任意 a、b、c，要保证 comp(a, a) == false，且若 comp(a, b) 和 comp(b, c) 为 true，则 comp(a, c) 也必须为 true。
典型翻车点：
- 用
!=或>=当比较器 → 行为未定义 - 浮点数直接用
<而不处理 NaN → NaN 与任何数比较都为 false，导致最小值“消失” - 结构体字段比较时漏判相等情况：比如只比
a.x < b.x，但 x 相等时没比 y → 违反传递性
正确写法示例（按绝对值找最值）：
auto p = std::ranges::min_max(v, [](int a, int b) {
return std::abs(a) < std::abs(b);
});
性能陷阱：不是所有 range 都能高效执行
std::ranges::min_max 对随机访问 range（如 std::vector、原生数组）是真正单趟 O(n)；但对单向 range（如 std::forward_list、输入流迭代器），它内部仍得遍历两次——因为无法回退，第一次找 min 后，第二次找 max 时已丢失起点。
所以实际使用前应确认 range category：
- 查类型：用
std::is_same_v<std::ranges::range_category_t<R>, std::random_access_iterator_tag> - 更务实的做法：对已知是单向的 range（比如从文件读取的整数流），老实用打擂台法手写循环，避免隐式低效
- 别指望
std::execution::par_unseq——std::ranges::min_max当前不支持执行策略重载
最后提醒一句：如果你需要的是最大/最小元素的**位置**（比如后续要 erase、modify），std::ranges::min_max 就不合适了——它只给值。这时候还是得回到 std::ranges::min_max_element（C++20 新增），它才返回迭代器，且同样支持任意 range。
