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

假设我定义了以下功能：

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的声明如何成为一个递归调用？

解决方法

问题不在于Nil,而在于h :: myFunc(t),因为myFunc(t)不是最后一次调用.最后一次调用是关于myFunc(t)结果的operator ::.这就是函数不是尾递归的原因.