scala：使函数尾递归

Question

我在scala中有以下功能：

def is_in[T](e: T, as: List[T]) : Boolean = as match
{
  case Nil => false;
  case x::xs => e == x || is_in(e, xs);
}

现在我想让这个函数尾递归。我的想法如下：

// tail recursive:

def is_in[T](e: T, as:List[T]) : Boolean =
{
  @tailrec
  def is_in_tailrec[T](e: T, as:List[T], acc: Boolean) : Boolean =
  {
    as match
    {
      case Nil => acc;
      case x::xs => is_in_tailrec(... here I got stuck ...);
    }
  }
  is_in_tailrec(e, as, 1);
}

谁能给我一个建议，我怎样才能使这个函数尾递归？

Answer 1

其实这里不需要带累加器的辅助方法。只需检查e == x 是否返回false，然后与列表的其余部分一起调用该方法，否则返回true：

  def is_in[T](e: T, as: List[T]): Boolean = as match {
    case Nil => false
    case x :: _ if e == x => true
    case _ :: xs => is_in(e, xs)
  }

Answer 2

您的函数已经是尾递归的。如果你把它标记为@annotation.tailrec，它编译就好了。

Answer 3

我的建议是

{
    case Nil => acc
    case _ if acc => acc
    case x :: xs => is_in_tailrec(e, xs, x == e)
}

甚至可能是

{
    case x :: xs if !acc => is_in_tailrec(e, xs, x == e)
    case _ => acc
}

Answer 4

我想知道为什么使用类似于我的版本的帮助方法发布答案的人删除了他的帖子。我只是想分析一下，看看我的错误是什么......

我猜你是说

def is_in[T](e: T, as: List[T]) : Boolean = {
  @tailrec
  def is_in_tailrec[T](e: T, as: List[T], acc: Boolean): Boolean = as match {
    case Nil     => acc
    case x :: xs => is_in_tailrec(e, xs, e == x || acc)
  }

  is_in_tailrec(e, as, false)
}

由于is_in_tailrec 中的T 和e 始终与is_in 中的T 和e 相同，因此可以将其重写为

def is_in[T](e: T, as: List[T]) : Boolean = {
  @tailrec
  def is_in_tailrec(as: List[T], acc: Boolean): Boolean = as match {
    case Nil     => acc;
    case x :: xs => is_in_tailrec(xs, e == x || acc)
  }

  is_in_tailrec(as, false)
}