C++递归实现数组升序判断的代码逻辑相关疑问

你这段递归实现的核心思路是每次递归只校验当前子数组的第一对相邻元素，剩余部分的校验交给下一层递归处理，两个问题的具体解答如下：

为什么比较arr[0]和arr[1]，而非arr[i]/arr[i+1]的写法 #

这个实现没有额外维护遍历游标i，原因是每次递归传入的arr+1已经把当前处理的子数组起始位置向后移动了一位。对当前递归层来说，拿到的arr指针正好对准当前需要比较的相邻元素对的第一个元素，所以用相对偏移0、1取值就等价于循环写法里的arr[i]、arr[i+1]。
举个实际运行的例子：对原数组[1,3,4,5]

• 第一层递归arr指向元素1，arr[0]=1、arr[1]=3，对应循环里i=0的比较
• 传入arr+1进入下一层后，arr指向元素3，arr[0]=3、arr[1]=4，对应循环里i=1的比较
• 再下一层arr指向元素4，arr[0]=4、arr[1]=5，对应循环里i=2的比较
  整个过程和循环遍历逐次比较相邻元素的效果完全一致，不需要额外定义i变量。

为什么递归传参要同步把长度设为size-1，会不会遗漏末尾元素 #

不会遗漏元素。这里的size从来不是原数组的固定长度，它的语义是当前arr指针指向的子数组的有效元素个数。
当你把arr指针后移一位，新的子数组是从原数组的第二个元素开始的，有效长度自然比上一层少1，必须同步传size-1才能保证：

1. 递归终止条件正常触发：当子数组长度剩1的时候，说明前面所有相邻对都校验通过，直接返回true
2. 数组访问不越界：不会读到子数组有效范围外的内存
   还是拿长度为4的原数组做推演：
3. 第一层：arr指向原数组首地址，size=4，比较前两个元素后进入下一层
4. 第二层：arr指向原数组索引1的位置，size=3，比较当前子数组前两个元素（原数组索引1、2）后进入下一层
5. 第三层：arr指向原数组索引2的位置，size=2，比较当前子数组前两个元素（原数组索引2、3，也就是最后一对需要比较的相邻元素）后进入下一层
6. 第四层：arr指向原数组索引3的位置，size=1，触发终止条件返回true，所有元素都完成了校验
   如果这里不同步减size，一直传入原数组长度，那么递归到第三层的时候，访问arr[1]就会读到原数组索引4的越界位置，触发未定义行为。

补充说明：你当前的代码在size=0或size=1时直接返回true的边界处理是正确的，唯一需要注意的是调用函数时传入的size必须和实际数组长度一致，否则会出现逻辑错误。

内容的提问来源于stack exchange，提问作者abcd efgh