Java递归求和函数疑问：为何边界条件需用x<=0而非x==0

待分析的原始函数代码如下：

public int sum (int x){
  if(x==0) return 0;
  else return sum(x-1)+x;
}

为什么x==0的写法存在缺陷 #

很多人觉得这种写法没问题，是因为在仅传入正整数的理想调用场景下，函数确实能算出正确的从1到x的累加和：比如调用sum(3)时，递归路径是sum(3) → sum(2) → sum(1) → sum(0)，最终返回0+1+2+3=6，完全匹配计算结果。
但这种写法存在明确的健壮性漏洞：

• 边界判断的覆盖范围过窄，一旦传入x为负数的参数，函数会直接进入无限递归状态。比如调用sum(-1)时，x==0的判断条件永远不成立，程序会持续递归调用sum(x-1)，x值沿着-1、-2、-3……的方向不断递减，永远无法触发终止分支，最终因为递归层级过深触发栈溢出（StackOverflowError）。
• 这种设计相当于默认“所有调用方永远只会传正整数”，没有为异常入参、边界外的入参设置兜底的终止逻辑，是非常脆弱的实现。

为什么正确答案是使用x<=0作为边界判断 #

将判断条件替换为x <= 0后，逻辑的鲁棒性会大幅提升：
不管递归过程中x的递减路径是从正整数一路降到0，还是从初始的负数位置继续往更小的数值走，只要x值进入小于等于0的区间，就会立刻触发终止分支返回0，从根本上杜绝无限递归的可能。
这种实现也和求和函数的数学逻辑匹配：当x小于等于0时，代表已经没有需要累加的正整数项，直接返回0是完全符合预期的结果。

其他选项的排除逻辑 #

• 选项1“边界条件应返回1而非0”存在本质错误：如果边界返回1，计算sum(1)时会得到sum(0)+1 = 1+1=2，和“1到1的和为1”的实际结果完全不符，从根本上偏离了求和函数的计算目标。
• 选项3“其他情况”不成立，因为选项2指出的边界条件问题是真实存在的设计缺陷。

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