scala - 递归调用不在尾部位置

Question

假设我定义了以下函数:

final def myFunc[T](list: List[T]): List[T] = list match {
        case h :: t =>
            h :: myFunc(t)
        case _ =>
            Nil
    } 

当我添加 tailrec 注释时，编译器给了我以下错误:

could not optimize @tailrec annotated method myFunc: it contains a recursive call not in tail position: ^Nil.

我对 Nil 的声明如何成为递归调用感到困惑？

Answer 1

问题不在于 Nil但与 h :: myFunc(t)因为 myFunc(t)不是最后一个电话。最后一个电话是给运算符(operator) ::关于 myFunc(t) 的结果.这就是函数不是尾递归的原因。