scala - 尾递归问题

Question

我们在 Scala 中试验并行集合，想检查结果是否有序。为此，我在 REPL 上编写了一个小函数来对我们生成的非常大的 List 进行检查:

def isOrdered(l:List[Int]):Boolean = { l match { 
  case Nil => true
  case x::Nil => true
  case x::y::Nil => x>y
  case x::y::tail => x>y & isOrdered(tail) 
  }
}

它因 stackOverflow 失败(这里的问题多么合适!)。
我期待它是尾部优化的。怎么了？

Answer 1

isOrdered 不是代码中的最后一个调用， & 运算符是。试试这个:

@scala.annotation.tailrec def isOrdered(l:List[Int]):Boolean = { l match { 
  case Nil => true
  case x::Nil => true
  case x::y::Nil => x>y
  case x::y::tail => if (x>y) isOrdered(tail) else false
  }
}