如何自主实现Math.pow函数 不调用内置方法处理分数指数场景

核心数学原理 #

分数指数幂可以按公式拆解：

对于正实数底数，若指数为分数 m/n（m、n为互质整数，n>0），则 base^(m/n) = n次根号下(base^m)
如果指数为负分数，先计算对应正分数的幂结果，再取倒数即可。

实现步骤 #

• 第一步：将小数格式的指数转换为互质的分子、分母整数
• 第二步：处理边界异常：若底数为负且分母为偶数，实数域无对应解，返回NaN
• 第三步：用现有整数幂逻辑计算 base^分子 的结果
• 第四步：用牛顿迭代法实现n次开方逻辑，得到最终结果
• 负分数指数额外处理：计算正分数结果后取倒数

完整实现代码 #

function power(base, exponent) {
  // 精度阈值，控制牛顿迭代的结果精度
  const EPSILON = 1e-12;

  // 辅助函数：求最大公约数，用于约分分数
  function gcd(a, b) {
    return b === 0 ? a : gcd(b, a % b);
  }

  // 辅助函数：牛顿迭代法计算n次方根
  function nthRoot(x, n) {
    if (x < 0 && n % 2 === 0) return NaN;
    // 负数开奇数次方，先转正数计算再取负
    const isNegative = x < 0;
    x = Math.abs(x);
    // 初始迭代值
    let guess = x;
    let prev = 0;
    // 迭代直到精度符合要求
    do {
      prev = guess;
      // 牛顿迭代公式：guess = ((n-1)*guess + x/(guess^(n-1)))/n
      guess = ((n - 1) * guess + x / power(guess, n - 1)) / n;
    } while (Math.abs(guess - prev) > EPSILON);
    return isNegative ? -guess : guess;
  }

  // 基础边界判断
  if (exponent === 0) {
    return 1;
  }
  if (base === 1) {
    return base;
  }

  // 统一处理正负指数
  const isNegativeExponent = exponent < 0;
  const absExponent = Math.abs(exponent);

  // 整数指数分支
  if (absExponent % 1 === 0) {
    let res = 1;
    // 这里把原递归改成迭代，避免指数过大时栈溢出，你也可以保留原有递归逻辑
    for (let i = 0; i < absExponent; i++) {
      res *= base;
    }
    return isNegativeExponent ? 1 / res : res;
  } 
  // 分数指数分支
  else {
    // 转小数为分数
    const decimalStr = absExponent.toString().split('.')[1];
    const decimalLen = decimalStr.length;
    // 用自身整数幂逻辑算10的decimalLen次方，不调用内置Math.pow
    const denominator = power(10, decimalLen);
    const numerator = Math.floor(absExponent * denominator);
    // 约分得到互质的分子分母
    const commonDivisor = gcd(numerator, denominator);
    const reducedNumerator = numerator / commonDivisor;
    const reducedDenominator = denominator / commonDivisor;

    // 计算底数的分子次幂
    const powResult = power(base, reducedNumerator);
    // 开分母次方
    const rootResult = nthRoot(powResult, reducedDenominator);
    // 处理负指数
    return isNegativeExponent ? 1 / rootResult : rootResult;
  }
}

说明 #

• 上述实现完全未调用内置Math.pow方法，整数幂逻辑可按你的需求换回递归版本
• 精度阈值可以根据业务需求调整，1e-12对于大部分前端场景已足够
• 负数底数开偶次方的场景默认返回NaN，和JS内置Math.pow的行为保持一致

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