为何尾递归方法addPos调用时会触发StackOverflowError？

嘿，这个问题戳中了Scala尾递归优化里一个很容易被忽略的细节——类中的非final方法默认不会被编译器做尾递归优化，这就是你遇到栈溢出的原因！

为什么会出现这个问题？ #

尾递归优化的核心是编译器把递归调用转换成循环，从而避免每次递归都创建新栈帧。但Scala编译器只有在100%确定递归调用的是当前方法、不会被子类重写的情况下，才会执行这个优化。

你的addPos方法是Calculator类中的普通方法，既没有final修饰，也不是private的。这意味着子类可以重写这个方法，此时递归调用的就可能是子类的实现，而非当前方法。编译器为了保证逻辑正确性，就不会对这个方法做尾递归优化——于是每次递归都会生成新栈帧，当y是Int.MaxValue（2147483647）时，栈深度直接拉满，自然就抛出StackOverflowError了。

验证这个问题的小技巧 #

你可以给addPos加上@tailrec注解（需要导入scala.annotation.tailrec），如果编译器无法优化，会直接报错提示：

import scala.annotation.tailrec

class Calculator {
  @tailrec
  def addPos(x: Int, y: Int): Int = {
    if (y == 0) x
    else {
      val temp: Int = x + 1
      if (temp < x) throw new OverflowException
      else addPos(temp, y - 1)
    }
  }
}

此时编译器会抛出类似 method addPos is not final; cannot be optimized with @tailrec 的错误，直接点明问题所在。

解决方法 #

只要让编译器确定这个方法不会被重写即可，有几种常见方式：

• 给方法加上final修饰符：

  class Calculator {
    @tailrec
    final def addPos(x: Int, y: Int): Int = {
      if (y == 0) x
      else {
        val temp: Int = x + 1
        if (temp < x) throw new OverflowException
        else addPos(temp, y - 1)
      }
    }
  }
  

• 把方法设为private：

  class Calculator {
    @tailrec
    private def addPos(x: Int, y: Int): Int = {
      // 原逻辑不变
    }
  }
  

• 把Calculator改成单例object（对象中的方法默认是final的）：

  object Calculator {
    @tailrec
    def addPos(x: Int, y: Int): Int = {
      // 原逻辑不变
    }
  }
  

修改后，编译器会正确识别尾递归并转换成循环，执行addPos(0, Int.MaxValue)就不会再栈溢出了（当然，当x达到Int.MaxValue时，你的溢出检查逻辑还是会抛出OverflowException，这是代码的预期行为）。

你提到的非递归实现确实更简洁，但这个案例很好地展示了Scala尾递归优化的前提——不是所有看起来是尾递归的方法都会被自动优化，类中的方法必须满足“不可被重写”的条件才行。

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