斐波那契递归：返回地址？

Question

通常当递归调用函数时，堆栈中的返回地址指向函数调用之后的下一条指令。但是在斐波那契代码中，返回地址将指向哪里？即“+”运算符之后的下一行或剩余代码行？

 int Fibonacci(int x) { 
   if (x == 0) return 0;  // Stopping conditions 
   if (x == 1) return 1; 
   return Fibonacci(x - 1)/*cond1*/ + Fibonacci(x - 2);/*cond2*/ 
 }

就我对递归的理解而言，执行 cond1 直到返回 0 或 1 值（即递归树最左侧分支上的深度优先），然后才会执行 cond2，依此类推。那正确吗？当控件执行 Fibonacci(x-1) 时，返回地址会在堆栈中保存为什么（即 EBP）？

        Fibonacci(3) 
           /  \ 
          /    \ 
         /      \ 
        /        \ 
       /          \ 
Fibonacci(2)    *   Fibonacci(1) 
      /     \               \ 
     /       \               \ 
    /         \               \ 
   /           \               \ 
Fibonacci(1) * Fibonacci(0)    1  
   |              | 
   |              | 
   |              | 
   |              | 
   1              0 

Answer 1

是的，您对递归的理解是正确的。它将像 DFS 一样工作。

关于返回地址：回想一下，一行代码不是一条指令。事实上，一行代码可以产生很多指令。

在这种情况下，编译器将生成类似于以下内容的代码：

a = call Fibonacci(x-1)
b = call Fibonacci(x-2)
c = add a, b
return c

所以Fibonacci(x-1) 的返回地址是下一条指令的地址——在这种情况下，是调用Fibonacci(x-2) 的指令。但是请注意，大多数语言并不能保证操作数的求值顺序，您所知道的是+ 的两个操作数在执行加法之前都已被完全求值。实际上，您可以改为：

a = call Fibonacci(x-2)
b = call Fibonacci(x-1)
c = add a, b
return c

重点是，其中一个递归调用的返回地址将是第二次调用的指令地址，而第二次调用的返回地址将是一条ADD 指令。