为什么递归“停止”？

Question

我试图理解递归。 我的老师编写了这个程序，以确定字符串是否为文接受。

#include <stdio.h>
#include <string.h>
#define SIZE 80

bool palindrome( const char * const sPtr ); // prototype
bool palindromeKernel(const char * const sPtr, size_t l, size_t r);

int main( void ) {
   char sentence[ SIZE ]; 
   puts( "Enter a line of text:" );

   fgets( sentence, SIZE, stdin );

   puts( "\nIs the line palindrome?" );

   if ( palindrome( sentence )) printf("yes");
   else printf("no");
   putchar('\n');
    } 

bool palindrome( const char * const sPtr ){
   size_t len = strlen(sPtr);
   return(palindromeKernel(sPtr, 0, len-2)); 
}

bool palindromeKernel(const char * const sPtr, size_t l, size_t r){
   puts("1");
   if (l >= r) return true;
   return ((sPtr[l] == sPtr[r]) && palindromeKernel(sPtr, l+1, r-1));
}

我添加了一个printf语句，以检查何时调用palindromekernel。当我输入腔室时，它可以按照我的期望工作：

Output 1
Enter a line of text:
mrowlatemymetalworm

Is the line palindrome?
1
1
1
1
1
1
1
1
1
1
yes

这里称为10次，我理解原因。我不明白的是：

mtowlatemymetalworm

Is the line palindrome?
1
1
no

字符串不是回文（我修改了第二个字符）。 在这里，该函数称为2次，因此据我了解，它在返回false时停止自调用。 为什么？

编辑

好的，非常感谢。 但是现在我有一个疑问。

但是，如果我将最后一个回报的顺序倒置，那么这样：

return (palindromeKernel(sPtr, l+1, r-1) && (sPtr[l]==sPtr[r]));

程序仍然有效 为何如此？ 我真的不明白递归功能在if条件下如何起作用

Answer 1

这线：

return ((sPtr[l] == sPtr[r]) && palindromeKernel(sPtr, l+1, r-1));

是诀窍。 C具有所谓的“短路评估”。和||，因此，如果AN＆amp;＆amp;表达式为false，它不需要评估第二个，因此当两个字符与不匹配（sptr [l] == sptr [r]为false）时，它会递归地呼叫自己，而只是返回false。 。