Python递归阶乘示例中变量n的更新位置疑问

变量n的更新位置 #

在第一个正确的递归阶乘代码里，n的“更新”是通过递归调用的参数传递实现的：

return n * factorial(n - 1) # RECURSIVE CALL

这里直接把n - 1作为新参数传给下一次factorial调用，每次递归都会创建一个独立的函数执行上下文，新上下文里的n就是传入的n-1值，和上一层的n没有关联。

为什么不需要n = n - 1这样的语句？ #

1. 代码执行顺序问题：第二个版本里的n = n -1写在return语句之后，而return会直接结束当前函数执行，后面的代码属于“死代码”，永远不会被运行，加了也没用。
2. 递归的核心逻辑：递归的本质是通过传递新参数缩小问题规模，而非修改当前函数的变量。每一次factorial调用都是独立的，各自拥有专属的n变量：
   • 比如调用factorial(5)，当前函数的n是5；
   • 调用factorial(5-1)即factorial(4)时，新函数的n是4，这是全新变量，和上一层的5互不影响；
   • 以此类推直到触发基准条件n<=1。
3. 修改当前n无意义：就算把n = n -1放到return之前，修改的也只是当前函数里的n，不会影响已经传到下一层递归的参数，反而可能打乱当前层的计算逻辑（比如当前层本来要用原n乘以下一层结果，修改后就用错值了）。

举个实际计算例子，factorial(3)的执行流程：

• 第一层：n=3，返回3 * factorial(2)
• 第二层：n=2，返回2 * factorial(1)
• 第三层：n=1，触发基准条件，返回1
• 回溯计算：2*1=2，再3*2=6，得到最终结果。
  整个过程中，每一层的n都是通过参数传递得到的新值，完全不需要修改当前函数的n。

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