c++oding="utf-8" ?>
std::ranges::max 可直接传 std::vector（c++20 起 vector 是 range），但需启用 c++20、支持 ranges 的标准库；它返回值而非迭代器，空 range 会异常，自定义比较需显式占位投影参数。
std::ranges::max 要求容器支持单次遍历，不能直接传 vector？
不是不能传，而是 std::ranges::max 不接受容器对象本身（比如 std::vector），它只接受范围（range）——也就是一对迭代器，或满足 std::ranges::range 概念的对象。C++20 起，std::vector 本身是 range，所以可以直接传，但必须确保编译器启用 C++20 且标准库支持 ranges（如 libstdc++ 12+、libc++ 15+ 或 MSVC 2019 16.11+）。
常见错误是写成：std::ranges::max(v) 却报错 “no matching function”，往往因为：
- 编译选项没开
-std=c++20（GCC/Clang）或没设语言标准为 C++20（MSVC） - 用的是老旧 libc++ 或未更新的 MinGW 版本
- 误用了老式头文件（比如只包含
<algorithm></algorithm>但没确认它是否导出 ranges 版本）——实际只需<algorithm></algorithm>，C++20 标准已将 ranges 版本放在这里
std::ranges::max 返回的是值，不是迭代器
和 std::max_element 不同，std::ranges::max 默认返回最大元素的副本（类型为 T），不是迭代器。这意味着：
- 对大对象（如
std::string或自定义结构体）会触发拷贝，可能有性能开销 - 无法直接修改原容器中的元素（因为返回的是值，不是引用或迭代器）
- 如果需要位置信息，得改用
std::ranges::max_element
示例：
std::vector<int> v = {3, 1, 4, 1, 5};
int m = std::ranges::max(v); // ✅ 返回 int，不是 iterator</int>
若想避免拷贝，可传入投影（projection）配合引用类型，但更常用的是直接用 max_element 获取位置再解引用。
自定义比较时，std::ranges::max 的 comp 参数位置和 std::max 不同
std::ranges::max 的函数签名是：template<:ranges::range r class proj="std::identity," std::indirect_strict_weak_order>, Proj>> Comp = std::less</:ranges::range>，也就是说：比较器 comp 在投影 proj 之后、且必须显式传参（不能靠重载默认参数“隐藏”）。
常见误写：std::ranges::max(v, std::greater{}) —— 这是错的，因为缺少投影参数占位。正确写法是：
std::ranges::max(v, {}, std::greater{}); // ✅ {} 占位 proj，第三个才是 comp
或者更清晰地命名：
std::ranges::max(v, std::identity{}, std::greater{});
如果不需要投影，就用空大括号 {} 占位；漏掉它，编译器会尝试把 std::greater{} 当作投影，导致类型不匹配错误。
空 range 调用 std::ranges::max 会抛异常
std::ranges::max 对空 range 的行为是未定义的（标准规定：要求 range 非空）。运行时多数实现会直接 std::terminate 或抛 std::out_of_range（取决于库），而不是返回默认值或 optional。
安全做法始终要先检查：
if (!v.empty()) {
auto m = std::ranges::max(v);
// ...
}
注意：v.empty() 是 O(1)；不要用 std::ranges::begin(v) == std::ranges::end(v) 替代，没必要且易读性差。另外，没有像 std::optional<t></t> 那样的“安全 wrapper”版本——这是设计选择，不是遗漏。
真正容易被忽略的是：当你把 std::ranges::max 封装进工具函数时，很容易忘记加空检查，尤其在模板上下文中，编译期无法捕获这个逻辑错误。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
