Java递归方法rt0与rt1的栈执行差异探究

先明确两个方法的核心逻辑，再拆解栈执行过程的关键差异：

1. 基础定义差异 #

• rt0是void类型方法，终止条件n==1时执行return;，无返回值传递
• rt1是int类型方法，终止条件n==1时执行return n;，需返回整数值

2. 栈执行过程差异 #

入栈阶段（递归调用过程） #

两个方法的入栈逻辑完全一致：
从main方法调用rt0(50)/rt1(50)开始，每一次递归调用都会创建新的栈帧，存储当前方法的参数n、局部变量、程序计数器（记录下一条执行指令的位置），直到触发n==1的终止条件。

出栈阶段（递归回溯过程） #

这是两者的核心区别：

• rt0的出栈逻辑：
  当rt0(1)执行return;后，当前栈帧直接销毁，回到上一层rt0(2)中rt0(n-1);的下一行（即方法结束位置），随后rt0(2)的栈帧也销毁，以此类推，直到所有栈帧全部出栈回到main方法。整个出栈过程无任何值传递，仅做栈帧销毁操作。
• rt1的出栈逻辑：
  当rt1(1)执行return n;后，会将返回值1传递给上一层rt1(2)中return rt1(n-1);的位置；rt1(2)拿到该值后，直接将其作为自身返回值传递给上一层rt1(3)，以此类推，直到rt1(50)将最终返回值1传递给main方法（尽管main未接收该值）。每一层栈帧销毁前，都要完成返回值的传递动作。

3. 字节码指令层面的差异 #

从字节码指令看，两者的返回指令不同：

• rt0使用return指令（针对void方法），直接结束当前方法
• rt1使用ireturn指令（针对int返回值），会将操作数栈顶的int值弹出并返回给调用者

4. 运行可见表现 #

两个方法的打印输出完全一致（从50到2依次打印），但底层栈执行动作不同：rt0是无值回溯，rt1是带值回溯。

内容的提问来源于stack exchange，提问作者DCR