std::max_element返回迭代器而非值以支持灵活操作；使用时需确保迭代器范围正确（[first, last)），空容器须判空，自定义比较函数third参数为二元谓词，默认less找最大值。
max_element 找不到最大值？先确认迭代器范围对不对
用 std::max_element 却返回奇怪值，大概率是传了错误的迭代器边界。它不检查越界，只按你给的 [first, last) 范围找——last 必须指向“最后一个元素的下一个位置”，不是最后一个元素本身。
- 数组：用
&arr[0]和&arr[n]，别用&arr[n-1] + 1这种绕弯写法，容易算错 - std::vector：直接用
v.begin()和v.end()，别手写v.begin() + v.size() - 空容器调用会返回
end()，解引用前必须检查：if (it != v.end()) { *it; }
为什么 max_element 返回迭代器而不是值？
因为通用性——它不知道你要值、地址，还是想顺带改原值。返回迭代器让你能灵活操作：取值、修改、计算下标、甚至 erase。
- 取值：
*std::max_element(v.begin(), v.end()) - 取下标：
std::max_element(v.begin(), v.end()) - v.begin() - 修改最大值：
*std::max_element(v.begin(), v.end()) = 999; - 如果只要值，且确定非空，用
*std::max_element(...)比先判空再取更常见
自定义比较时，less 和 greater 别搞反
第三个参数是二元谓词，决定“谁算更大”。默认是 std::less（升序逻辑，即返回 true 表示左边小于右边），所以默认找最大值。但如果你传 std::greater)，它反而会返回最小值的位置。
- 找最大值：保持默认，或显式传
std::less() - 找最小值：传
std::greater，或者直接用() std::min_element - 自定义类型：确保谓词满足严格弱序，比如两个对象相等时必须返回 false，否则行为未定义
数组长度为 1 或编译期已知时，别忘了 constexpr 友好写法
模板推导在编译期已知大小的数组上完全可行，但必须用引用形式接收，否则数组退化为指针，size 信息就丢了。
立即学习“C++免费学习笔记（深入）”；
- 安全写法：
templateint get_max(const int (&a)[N]) { return *std::max_element(a, a + N); } - 错误写法：
int get_max(int a[]) {...}—— 此时a是指针，N无法推导 - 注意：C++20 起支持
std::span，可替代裸数组传参，更清晰也更安全
最常被忽略的是空容器场景和自定义比较谓词的语义方向——前者导致崩溃，后者导致逻辑翻转。写完记得测一下空输入和全相同元素的情况。
