Question

这些年来，我一直以命令式进行编码，但现在开始学习函数式，并面临一些将函数转换为尾递归的障碍。

试图修改和添加打印以理解代码，但没有成果

def sort(compare: (A, A) => Int): MyList[A] = {
    def sortHelper(x: A, xs: MyList[A]): MyList[A] = {
      if (xs.isEmpty) {
        new Cons(x, Empty)
      }
      else if(compare(x, xs.head) < 0)
      {
        new Cons(x, xs)
      }
      else
      {
         new Cons(xs.head, sortHelper(x, xs.tail))
      }
    }

    sortHelper(h, t.sort(compare))
  }
}

val listOfInts = new Cons(1, new Cons(2, new Cons(3, new Cons(4, Empty)
println(listOfInts.sort((x, y) => y - x))

此列表被排序为[4,3,2,1]并且上面的代码正在工作，但不知道如何使其成为尾递归。

任何指导都会有所帮助。

@Nigel-我尝试了您对当前版本的排序的解决方案，该方法有效：

def anotherSort(isLess: (A, A) => Boolean): MyList[A] = {
    @tailrec
    def sortHelper(workList: MyList[A], sortedList: MyList[A] = Empty): MyList[A] =
    if(workList.isEmpty) sortedList
    else {
      if(sortedList.isEmpty) sortHelper(workList.tail, new Cons(workList.head, Empty))
      else if(isLess(workList.head, sortedList.head)) sortHelper(new Cons(workList.head, new Cons(sortedList.head, workList.tail)), sortedList.tail)
      else sortHelper(workList.tail, new Cons(workList.head, sortedList))
    }

    sortHelper(this)
  }

感谢您澄清这一点。

Answer 1

在实现中，您导航->，然后工作<-，类似于Right Fold。

如果您将List视为调用堆栈，则有f（f（f（f（f（...））））），其中最先执行最里面的f。这与尾递归相反。

您要做的是打开一层，创建结果，然后使用列表的其余部分递归。

从左到右执行此操作，您的sortHelper函数可能应该使用列表的当前工作版本，并将排序后的版本作为另一个参数。然后，您可以递归从工作列表中拉出一个元素并将其放在已排序列表中。如果遇到当前元素小于已排序列表的头部的情况，则应该退货，然后将已排序的头部放回工作列表中，然后再将头部也放回到列表中（因为您不这样做）不知道您递归时是否会再次遇到这种情况。

这是答案的冗长版本，使您有机会自己尝试编码。

我已包含以下代码，不要看您是否想自己尝试：

import scala.annotation.tailrec

sealed trait MyList[+A] extends Product with Serializable {
  val isEmpty: Boolean
  def head: A
  def tail: MyList[A]
  def sort(isLess: (A, A) => Boolean): MyList[A] = {
    @tailrec
    def inner(working: MyList[A], sorted: MyList[A] = Empty): MyList[A] = working match {
      case Empty => sorted
      case Cons(h, t) =>
        if (sorted.isEmpty) inner(t, Cons(h, Empty))
        else if (isLess(h, sorted.head)) inner(Cons(h, Cons(sorted.head, t)), sorted.tail)
        else inner(t, Cons(h, sorted))
    }

    inner(this)
  }
}

case object Empty extends MyList[Nothing] {
  val isEmpty = true
  def head = throw new NotImplementedError("No head on Empty list")
  def tail = throw new NotImplementedError("No tail on Empty list")
}

case class Cons[+A](head: A, tail: MyList[A]) extends MyList[A] {
  val isEmpty = false
}

object SortTest extends App {
  val listOfInts: MyList[Int] = Cons(1, Cons(2, Cons(3, Cons(4, Empty))))
  val isLess: (Int, Int) => Boolean = (x, y) => x < y

  println(listOfInts.sort(isLess))
}

只是为了好玩，在这里我们调整了使用Scala的List和Ordering类型类：

import scala.annotation.tailrec
import scala.Ordering.Implicits._

object SortTest extends App {
  def sort[A: Ordering](lst: List[A]): List[A] = {
    @tailrec
    def inner(working: List[A], sorted: List[A] = Nil): List[A] = working match {
      case Nil => sorted
      case h :: t =>
        val (w, s) = sorted.headOption.fold((t, h :: Nil)){ sh =>
          if (h < sh) (h :: sh :: t, sorted.tail)
          else (t, h :: sorted)
        }

        inner(w, s)
    }

    inner(lst)
  }

  val listOfInts: List[Int] = 1 :: 2 :: 3 :: 4 :: Nil

  println(sort(listOfInts))
}

如何使我的排序函数尾部递归？

1 个答案: