std::is_sorted用于检查范围是否已按升序或自定义规则有序，只读遍历返回bool；判断逻辑为对每对相邻元素执行比较，若全部满足则返回true，否则false。
std::is_sorted 用法和基本判断逻辑
std::is_sorted 是 C++11 引入的算法，用于检查指定范围是否按升序（默认）或自定义比较规则有序。它不修改容器，只做只读遍历判断，返回 bool。
关键点：它检查的是「是否已排序」，不是「能否被排序」；只要相邻元素满足比较关系（默认 a ），就认为有序——允许相等，即支持非严格升序（如 <code>{1,2,2,3} 返回 true）。
- 头文件必须包含
<algorithm> - 适用于任意支持随机访问或前向迭代器的容器（
std::vector、std::list、std::array等） - 对空容器或单元素容器，始终返回
true
检查升序、降序与自定义比较的写法差异
默认行为是升序（使用 std::less<T>()），要检查降序需显式传入 std::greater<T>()；自定义规则（如按绝对值、字符串长度）则传入 lambda 或函数对象。
注意：比较函数签名必须是 bool( const T&, const T& )，且不能修改参数。
立即学习“C++免费学习笔记（深入）”；
std::vector<int> v = {5, 4, 3, 2, 1};
std::vector<int> w = {-3, -1, 0, 2};
std::vector<std::string> s = {"a", "bb", "ccc"};
<p>bool is_asc = std::is_sorted(v.begin(), v.end()); // false
bool is_desc = std::is_sorted(v.begin(), v.end(), std::greater<int>()); // true
bool is_abs_sorted = std::is_sorted(w.begin(), w.end(),
[](int a, int b) { return std::abs(a) < std::abs(b); }); // true: |−3| > |−1| → false? 等等 —— 实际上 w 是 {−3,−1,0,2}，abs 是 {3,1,0,2}，不满足升序，所以结果为 false
bool by_len = std::is_sorted(s.begin(), s.end(),
[](const std::string& a, const std::string& b) { return a.size() < b.size(); }); // true常见误用和编译/运行时陷阱
最常踩的坑不是逻辑错，而是迭代器范围或类型不匹配：
- 传入
end()但忘了减一？不用——std::is_sorted接收的是[first, last)半开区间，直接传v.begin()和v.end()即可 - 对
std::list使用std::is_sorted？可以，但它内部用前向迭代器遍历，时间复杂度仍是O(n)，无性能损失 - 比较函数捕获了局部变量但作用域已结束？lambda 若含引用捕获（
[&]）且在函数返回后调用，会导致未定义行为 - 对
float或double直接用==或<比较？可能因精度问题误判；建议用带 epsilon 的比较封装后再传入
性能与替代方案权衡
std::is_sorted 是单次线性扫描，不可跳过检查，最坏和平均都是 O(n)。没有内置的「快速失败」优化（比如不会先查首尾再决定是否继续）。
如果你只关心「是否完全升序」且容器很大、预期大概率无序，自己手写循环并在第一次违反时 break 和标准库行为一致，性能无差别；但没必要重复造轮子。
注意：std::is_sorted_until 可以返回首个无序位置，适合需要定位问题点的调试场景：
auto bad_pos = std::is_sorted_until(v.begin(), v.end());
if (bad_pos != v.end()) {
std::cout << "first violation at index " << (bad_pos - v.begin()) << "\n";
}真正容易被忽略的是：它不检查容器是否「部分有序」或「几乎有序」——只回答「整个范围是否满足给定顺序」。如果业务需要容忍若干逆序对，就得自己实现统计逻辑。
