本文详解递归函数中“递归调用不在末尾而是居中”时的执行流程，以 stars(5) 为例，清晰展示调用栈展开、回溯触发与输出顺序的关系，帮助理解非尾递归的运行机制。
本文详解递归函数中“递归调用不在末尾而是居中”时的执行流程，以 stars(5) 为例，清晰展示调用栈展开、回溯触发与输出顺序的关系，帮助理解非尾递归的运行机制。
在 Java（及多数编程语言）中，递归方法的执行遵循调用栈（Call Stack）模型：每次递归调用都会将当前方法的状态（局部变量、执行位置等）压入栈，待被调用方法返回后，再从栈顶弹出并继续执行后续语句。当递归调用位于方法体中间（而非末尾）时，其后代码仅在递归返回后才执行——这正是理解本题的关键。
我们来逐步分析 stars(5) 的完整执行过程：
public static void stars(int num) {
if (num == 1) {
return; // 基准情况：直接返回，不打印
}
stars(num - 1); // ① 递归调用（位于中间）
for (int i = 0; i <h3>? 执行步骤分解（自顶向下入栈，自底向上出栈）</h3><ol>
<li>
<p><strong>stars(5) 调用 → stars(4) → stars(3) → stars(2) → stars(1)</strong> </p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/ai/1865" title="Cutout.Pro抠图"><img
src="https://img.php.cn/upload/ai_manual/000/969/633/68b6c619d04fa299.png" alt="Cutout.Pro抠图" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/ai/1865" title="Cutout.Pro抠图" class="overflowclass">Cutout.Pro抠图</a>
<p class="overflowclass">一款提供AI自动抠图和背景移除能力的图片处理工具，可快速提取人物、商品等主体并支持批量处理视觉素材。</p>
</div>
<a rel="nofollow" href="/ai/1865" title="Cutout.Pro抠图" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<ul>
<li>每层均因 num != 1 而继续递归，直到 stars(1) 触发基准条件，立即 return；</li>
<li>此时调用栈为（栈底→栈顶）：stars(5) → stars(4) → stars(3) → stars(2) → stars(1)；</li>
<li>stars(1) 返回后，栈顶弹出，控制权交还给 stars(2) —— 它从 stars(1) 调用后的<strong>下一行</strong>继续执行。</li>
</ul>
</li>
<li>
<p><strong>回溯阶段（关键！）</strong> </p>
<ul>
<li>stars(2) 继续执行：for 循环打印 **，再换行 → 输出第 1 行：** </li>
<li>stars(2) 结束，返回 stars(3) → 打印 *** → 第 2 行：*** </li>
<li>stars(3) 返回 → stars(4) 打印 **** → 第 3 行：**** </li>
<li>stars(4) 返回 → stars(5) 打印 ***** → 第 4 行：***** </li>
</ul>
</li>
</ol><p>⚠️ 注意：stars(1) <strong>不产生任何输出</strong>（仅 return），因此最终输出共 <strong>4 行</strong>，对应 num = 2 到 5：</p><pre class="brush:php;toolbar:false;">**
***
****
*****✅ 核心规律总结
- 递归调用位置决定“延迟执行”范围：本例中 stars(num-1) 后的所有语句，仅在所有更深层递归全部返回后才逐层执行；
- 输出行数 = num - 1（因 num == 1 无输出）；
- 第 k 行（从上往下数）包含 k + 1 个 *（即 stars(2) 输出 2 个，stars(5) 输出 5 个）；
- 这不是尾递归（tail recursion），无法被编译器自动优化为迭代，需依赖栈空间。
? 提示：AP CSA 考试中，此类题务必画出调用栈或标注每层返回后的执行点。切记——递归调用不是“跳转”，而是“暂停等待结果”；后续代码属于“回调行为”，发生在回溯途中。
