如何在递归栈中操作同一数组？递归调用间传递部分解方法

咱们先来拆解第一个数组累加和的问题，原代码的核心痛点确实是每次递归都新建独立的result数组，导致前序递归的计算结果根本没法传递到后续栈帧里。要在不使用辅助方法、全局变量的前提下解决，关键是复用递归的返回值来传递部分完成的数组，而不是每个栈帧都从头新建数组。

修正后的代码如下：

private int[] calculateSum(int[] array, int index) {
    int[] result;
    if (index > 0) {
        // 先拿到前index-1位已经计算好的完整数组
        result = calculateSum(array, index - 1);
        // 基于前序结果直接计算当前位置的累加和
        result[index] = array[index] + result[index - 1];
    } else {
        // 递归终止条件：处理第一个元素，初始化数组
        result = new int[array.length];
        result[0] = array[0];
    }
    return result;
}

这个思路的本质是：只有最底层的递归（index=0）会新建数组，后续所有递归调用都是拿到上一层返回的、已经填充好前半部分的数组，然后继续填充当前index的位置，最后把这个逐步完善的数组返回给上层。这样就实现了在递归栈帧之间传递部分解，完全不需要额外的辅助结构。

再来看第二个问题：用签名为int noZeroes(int x)的方法递归统计整数中的零的个数。这里不能加额外参数当累加器，那我们可以把递归的返回值本身作为累加器，每个栈帧计算当前位的贡献，再加上子递归的统计结果。

实现代码如下：

int noZeroes(int x) {
    // 处理负数：转为正数不影响零的数量统计
    if (x < 0) {
        return noZeroes(-x);
    }
    // 终止条件：单个数字时直接判断是否为0
    if (x < 10) {
        return x == 0 ? 1 : 0;
    }
    // 取最后一位判断是否为0，加上递归处理剩余部分的结果
    int lastDigit = x % 10;
    int currentCount = lastDigit == 0 ? 1 : 0;
    return currentCount + noZeroes(x / 10);
}

这里的逻辑是：每次递归把输入的数字去掉最后一位，当前栈帧只需要判断最后一位是不是0，然后把这个计数加到子递归返回的、前面所有位的零的总数上。这样就不需要额外的累加变量，完全靠递归返回值来传递累计的统计结果。

最后总结一下这类受限递归的核心技巧：

• 对于需要构建结构的场景（比如数组）：让递归返回已经部分完成的结构，当前栈帧基于这个结构继续完善，避免每个栈帧独立新建结构。
• 对于统计/计算类场景：把递归返回值作为累加载体，每个栈帧计算当前步骤的贡献，再和子递归的结果合并。
• 优先处理最基础的终止条件，从基础情况开始逐步向上构建完整解，而不是反向操作。

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