为什么递归返回到第一个函数？

Question

很抱歉问了一个关于已经讨论过很多次的论点的非常基本的问题，我就是想不出答案。我试着在论坛上搜索已经在主题上提出的问题，但没有找到确切的答案（或者不理解）。

当以不同顺序调用时，为什么此函数会打印两次从i到10的数字？它不应该按同样的顺序打印出来吗？我一直听说递归就是这样工作的：每个函数在其代码中调用另一个相同的函数，只应用于较小的域，直到满足结束条件为止。此时，它应该返回（回溯）到原始函数；这就是我不理解的，为什么它会返回（不是作为语法调用）到主函数。

void count(int i){
    if(i < 10){
          printf("%d\n", i);
          count(i + 1);
          printf("%d\n", i);
    }
}    

谢谢你。

Answer 1

与任何函数调用一样，在最后，执行只在下一行重新开始：

 printf("%d\n", i);
 // into the function
 count(i + 1);
 // out of the function
 printf("%d\n", i);

重要的是，i的值不会更新。它们不是同一个变量。i有十种不同的“版本”。

 printf("%d\n", i); // i is 3
 count(i + 1);
 printf("%d\n", i); // i is still three, but a version of the function just ran where i is 4

如果你想象一下当你看到 count（i 1） 时只是粘贴代码，那么在展开 count（8） 时会得到这个结果：

if(8 < 10){
      printf("%d\n", 8);
      count(8 + 1);
      printf("%d\n", 8);
}

现在粘贴:

if(8 < 10){
    printf("%d\n", 8);
    if(9 < 10){
        printf("%d\n", 9);
        count(9 + 1);
        printf("%d\n", 9);
    }
    printf("%d\n", 8);
}

并且再次：

if(8 < 10){
    printf("%d\n", 8);
    if(9 < 10){
        printf("%d\n", 9);
        if(10 < 10){
            // we'll never get here
        }
        printf("%d\n", 9);
    }
    printf("%d\n", 8);
}

这是实际运行的代码。i的“旧”值不会改变。最后，您有10个不同的i变量，这些变量来自您调用函数的所有不同时间。

Answer 2

7:

count(7)
    output 7
    count(8)
        output 8
        count(9)
            output 9
            count(10)
                end
            output 9
            end
        output 8
        end
    output 7
    end

为什么它不应该回来？
每个函数调用有时都会返回，即使它是递归函数。