递归实现10的负整数次幂：n<0时代码可行的原因解析

首先把你贴的代码再放一遍，方便大家梳理逻辑：

public static double power10(int n) { 
    if(n == 0){ 
        return 1; 
    } else if (n > 10){ 
        return 10 * power10(n - 1); 
    } else { 
        return 1.0 / power10(-n); 
    } 
}

先说明：你的代码大概率存在笔误 #

你说n=-3时能得到0.001，但按照上面的代码逻辑，这是不可能的——因为当n=-3时，代码会陷入无限递归：

1. power10(-3)进入else分支，执行1.0 / power10(3)
2. power10(3)既不等于0，也不大于10，所以也进入else分支，执行1.0 / power10(-3)
3. 这就形成了循环依赖：power10(-3)需要power10(3)的结果，而power10(3)又需要power10(-3)的结果，最终会抛出栈溢出错误。

你能得到正确结果，说明你实际运行的代码应该是把else if (n > 10)写成了else if (n > 0)——这才是合理的递归逻辑，我先基于这个修正后的代码解释，再回头说原代码的问题。

修正后代码（else if(n>0)）为什么n<0时可行？ #

如果代码是下面这样：

public static double power10(int n) { 
    if(n == 0){ 
        return 1; 
    } else if (n > 0){ 
        return 10 * power10(n - 1); 
    } else { 
        return 1.0 / power10(-n); 
    } 
}

当n<0时，比如n=-3：

1. 因为n是负数，进入else分支，我们需要计算1.0 / power10(3)（把负数转正数，利用正次幂的结果取倒数得到负次幂）
2. 调用power10(3)，此时n>0，进入else if分支，递归计算正次幂：
   • power10(3) = 10 * power10(2)
   • power10(2) = 10 * power10(1)
   • power10(1) = 10 * power10(0)
   • power10(0)返回1（符合10^0=1的数学定义）
3. 最终power10(3)=10*10*10*1=1000，1.0/1000=0.001，完全符合预期。

而为什么其他情况（比如0<n≤10）在原代码中不可行？
因为原代码的else if(n>10)只处理n>10的正整数，对于0<n≤10的正整数，会直接进入else分支，执行1.0/power10(-n)——也就是把正整数转成负数再递归，这又回到了n<0的分支，然后再次转成正数，形成无限递归，永远得不到有效结果。

原代码的本质问题 #

原代码的分支逻辑完全错误：

• 它只处理了n=0、n>10两种情况，剩下的所有情况（n<0和0<n≤10）都走“取反后递归再取倒数”的逻辑，这就导致除了n=0能正确返回1，其他情况要么无限递归，要么依赖无限递归的结果。

你试错得到的n=-3能运行，大概率是你写代码时不小心把n>0写成了n>10，但实际测试时可能又改回来了？或者是某种巧合的JVM临时优化？但不管怎样，修正成else if(n>0)才是正确的递归实现。

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