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

发布时间：2020-12-16 09:58:20 所属栏目：安全来源：网络整理

导读：假设我定义了以下功能： 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

假设我定义了以下功能：

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 ::.这就是函数不是尾递归的原因.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!