为什么这个递归函数返回正确的值？

Question

运行这样的递归函数（在gcc 7.3.1中编译）：

#include <stdio.h>

int arr[] = {5,1,2,6,7,3};
int arraySize = 6;

int recfind(int value, int index)
{
    if (arr[index] == value)
        return 1;
    if (index >= arraySize)
        return 0;
    // return recfind(value, ++index);
    recfind(value, ++index);
 }

int main() {
    printf("found 6? %d\n", recfind(6, 0));
    printf("found 9? %d\n", recfind(9, 0));
}

我得到以下输出：

found 6? 1
found 9? 0

为什么这样做？由于未返回递归recfind调用的结果，所以如何选择更高级别调用的返回值？

Answer 1

对于C部分，来自N1256的是6.9.1：

  

如果到达终止函数的}，则为   函数调用由调用者使用，行为未定义。

因此，您的计划的行为是undefined。

  

为什么这样做？

您正在使用的目标+编译器可能不会篡改包含上一个（递归）函数调用的返回值的寄存器。 C并没有强制要求这种机制在规范中返回值。

所以，虽然这听起来很合理，但这并不能保证。