is_sorted(nums.rbegin(), nums.rend()) 的作用

1. is_sorted 函数的功能

• is_sorted 是 C++ 标准库中的函数（需要包含 <algorithm> 头文件）。

• 默认行为是检查给定的迭代器范围是否满足非递减（升序）排序。

• 例如：

  cpp

  复制

  vector<int> nums = {1, 2, 3, 4};
  bool is_ascending = is_sorted(nums.begin(), nums.end()); // true

---

2. 反向迭代器的含义

• nums.rbegin()：返回指向数组最后一个元素的反向迭代器。

• nums.rend()：返回指向数组第一个元素前一个位置的反向迭代器。

• 反向迭代器的遍历方向是从后向前，即 nums.rbegin() → nums.rend() 相当于从最后一个元素遍历到第一个元素。

---

3. is_sorted(nums.rbegin(), nums.rend()) 的逻辑

• 当使用反向迭代器时，is_sorted 会检查数组是否满足从后向前的非递减顺序。

• 这等价于原数组是否满足从前往后的**非递增（降序）**顺序。

示例：

cpp

复制

vector<int> nums = {5, 4, 3, 2, 1};
bool is_descending = is_sorted(nums.rbegin(), nums.rend()); // true

• 反向遍历顺序是 1 → 2 → 3 → 4 → 5。

• is_sorted 检查是否 1 <= 2 <= 3 <= 4 <= 5（满足升序），对应原数组 5 >= 4 >= 3 >= 2 >= 1（降序）。

---

4. 与自定义比较函数的等价写法

另一种判断降序的方法是使用 greater<> 比较器：

cpp

复制

bool is_descending = is_sorted(nums.begin(), nums.end(), greater<int>());

• 这两种写法是等价的，但使用反向迭代器更直观。

---

5. 边界情况

• 如果数组元素全部相等，is_sorted 返回 true（因为 <= 和 >= 都成立）。

  cpp

  复制

  vector<int> nums = {2, 2, 2, 2};
  bool result = is_sorted(nums.rbegin(), nums.rend()); // true

---

6. 实际应用场景

假设需要判断一个数组是否是单调递减的：

cpp

复制

#include <algorithm>
#include <vector>
using namespace std;

bool isMonotonicDecreasing(vector<int>& nums) {
    return is_sorted(nums.rbegin(), nums.rend());
}

int main() {
    vector<int> arr1 = {5, 4, 3, 2, 1}; // true
    vector<int> arr2 = {1, 3, 2};       // false
    bool res1 = isMonotonicDecreasing(arr1);
    bool res2 = isMonotonicDecreasing(arr2);
    return 0;
}

---

7. 常见错误

• 忘记包含头文件：

  cpp

  复制

  #include <algorithm> // 必须包含此头文件

• 误用迭代器范围：

  cpp

  复制

  // 错误！反向迭代器的范围是 [rbegin, rend)，对应原数组的 [end, begin)
  bool wrong = is_sorted(nums.rend(), nums.rbegin());

---

总结

• is_sorted(nums.rbegin(), nums.rend()) 判断数组是否是降序排序。

• 本质是通过反向迭代器将原数组的降序转换为逻辑上的升序进行检查。

• 比自定义比较函数更简洁，但需要理解反向迭代器的方向。