为什么这不是尾递归？

Question

我有以下代码，但我不明白为什么它不是尾递归：

override fun drop(n: Int): List<A> = if (n == 0) this else tail.drop(n - 1)

而这是尾递归：

fun drop(n: Int): List<A> {
  tailrec fun drop(n: Int, list: List<A>): List<A> =
    if (n <= 0) list else when (list) {
      is Cons -> drop(n - 1, list.tail)
      is Nil -> list
    }
  return drop(n, this)
}

为什么第一个例子不是尾递归呢？

- softshipper

---

我不是100%确定，但我认为尾调用必须在同一对象上。因此，tail.drop(n - 1)不是尾调用，因为它是在tail上调用的，而不是在this上调用的。 - marstran

Answer 1

这不是尾递归，因为Kotlin检查了递归调用是否在同一个receiver上。在你的情况下是正确的; drop 是虚函数（因为你使用了override），因此tail.drop可以有另一种实现。对于非open函数，存在这个问题Tailrec optimization not being applied to tail recursive calls on a non-this receiver，但似乎并没有积极解决它。

请注意这个错误：Recursive calls to open tailrec functions are generated incorrectly

- Alexey Romanov