c - 为什么即使没有基本情况，递归也能起作用？

Question

我正在学习递归，所以我正在尝试创建一个程序来递归地反转数组中的数字并使用分而治之技术(我不确定这是不是分而治之)，所以我的问题是什么是，我想知道为什么如果我删除第 11 行程序仍然可以正常运行，但是如果我删除第 16 行，它会无限运行。
我检查了我的调试器，我知道为什么它是无限循环，因为每个堆叠帧索引左边仍然小于右边，这使得循环无限进行，所以我的问题是，为什么递归调用从检查 while 条件开始并跳过该行11？这对我来说很奇怪，因为我刚刚学习了一些递归的基础知识，所以这让我有点困惑。所以在我的代码中，第 16 行被视为基本情况？因为我从教程中了解到递归需要一个基本案例。

#include <stdio.h>
#define size 10
void swap(int *a, int *b)
{
    int temp= *b;
    *b = *a;
    *a = temp;
}
void revcur (int arr[], int left, int right)
{
    if (left>=right) return; //This program still works even if i delete this line or comment 
    while (left<right)
    {
        swap(&arr[left],&arr[right]);
        revcur(arr,left+1,right-1);
        return; //This program will go to infinite recursive if i delete this
    }
}
int main()
{
    int arr[size]={1,2,3,4,5,6,7,8,9,10};
    revcur(arr,0,size-1);
    int i; for (i=0; i<size; i++)
    {
        printf("%d ",arr[i]);
    }
}

Answer 1

假设左=2，右=1。如果你离开第 11 行会发生什么，条件将为真，你将立即退出函数(返回)。当您删除第 11 行时，您将进入 while 循环。 while 语句检查左是否小于右，事实不是。因此，它将跳过 while 循环内的所有代码，将您带到函数的末尾，因此它会自动返回。这与您保留第 11 行的情况相同。

当您删除第 16 行时它无限循环的原因是因为您没有将“左”和“右”更新为新值。所以如果 left 确实小于 right，它会进入循环，因为 left 和 right 的值永远不会改变，所以下次它到达 while 语句的那一行时，“left”仍然小于“right” "因此循环将无限期地继续下去。