使用前缀递减的C++递归阶乘函数异常原因及语法疑问

让我一步步帮你理清这个C++递归阶乘函数里的问题，这其实是运算符行为和求值顺序的经典陷阱~

1. 为什么前缀递减(--n)会导致计算错误？ #

问题出在C++中乘法操作数的求值顺序是未定义的，再加上前缀递减会直接修改当前函数的n变量。

当你写n * factorial(--n)时，编译器既可以先计算左边的n，也可以先执行右边的--n再计算n。以调用factorial(3)为例，实际执行流程可能是这样的：

• 进入函数，n=3，满足n>1，准备执行return n * factorial(--n)。
• 编译器先处理右边的--n：n被直接改成2，然后调用factorial(2)。
• 此时左边的n已经是2了，所以表达式变成2 * factorial(2)。
• 进入factorial(2)，同样的逻辑：先执行--n把n改成1，调用factorial(1)，左边的n变成1，表达式是1 * factorial(1)。
• factorial(1)返回1，所以11=1，回到上一层21=2，最终返回2，完全偏离了正确的6。

简单说：前缀递减会立刻修改当前的n，而求值顺序的不确定性让我们失去了原来的n值，导致乘法用了已经变小的n来计算。

2. 替换为n-1即可修复的原因是什么？ #

n-1是一个临时计算值，不会修改当前函数的n变量。

不管编译器怎么安排乘法操作数的求值顺序，左边的n始终是原来的数值（比如调用factorial(3)时就是3），右边递归调用的是factorial(n-1)，也就是正确的下一个阶乘项（2）。执行流程变成：

• factorial(3)返回3 * factorial(2)。
• factorial(2)返回2 * factorial(1)。
• factorial(1)返回1。
• 最终计算321=6，完全符合预期。

这里的核心是n-1只传递了一个减1后的值给递归函数，不会影响当前函数里的n，彻底避免了求值顺序带来的问题。

3. 为什么使用后缀递减(n--)会引发无限循环？ #

后缀递减的行为是先返回n的当前值，再将n减1，这直接导致递归调用永远拿到的是初始的n值。

以调用factorial(3)为例：

• 进入函数，n=3，满足n>1，执行return n * factorial(n--)。
• 处理factorial(n--)时，先把当前n的原值3作为参数传递给递归函数，然后才把当前函数的n改成2。
• 递归调用的是factorial(3)，进入后又会执行同样的逻辑：传递3给下一个递归调用，永远满足n>1，无限循环下去，直到栈内存耗尽。

简单说：后缀递减传递给递归函数的不是减1后的值，而是原来的n，导致递归永远无法触达n<=1的终止条件。

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