映射列表时使用归纳结构的Scala案例匹配失败

Question

在这里，我试图实现以下目标：

1. 使用递归，返回一个新列表，该列表由列表 l 的所有元素组成，当对它们调用函数 f 时返回 true。

2. 返回的列表元素必须保持与原始列表相同的顺序。

编辑：

到目前为止，我已经能够消除类型不匹配错误。我在给定定义的情况下遍历列表并返回新列表的目标似乎还很遥远。

sealed trait NumList
case object Nil extends NumList
case class Cons(n: Int, l: NumList) extends NumList

def filterNumList(l: NumList, f: Int => Boolean): NumList = {
    l match {
            case Nil => Nil
            case Cons(i, Nil) => Cons(i, Nil)
            case Cons(i, Cons(j, Nil)) if f(i) == false => filterNumList(Cons(j, Nil),f)
            case Cons(i, Cons(j, Nil)) if f(i) == true => filterNumList(Cons(i, Nil),f)
            case Cons(i, rest) if f(i) == true => filterNumList(Cons(i,rest),f)
            case Cons(i, Cons(j, rest)) if f(i) == false => filterNumList(Cons(j, rest),f)
        }
}

val l1 = Cons(12, Cons(25, Cons(37, Nil)))
def f1(j: Int): Boolean =  j <= 25 && j >= 12
println(filterNumList(l1, f1))

Answer 1

您必须探索的案例比您所提出的要简单。

你感兴趣的是：

1. 列表为空：
   • 这里什么都不做，只返回空列表
2. 列表的第一项满足谓词：
   • 构建一个列表
     • 包含第一项
     • 随后将过滤器应用于列表的其余部分
3. 第一项不满足谓词：
   • 只需将应用过滤器的结果返回到列表的其余部分

在伪代码中，这将是：

function filter(list, predicate)
  if empty(list)
    return the empty list
  else
    if predicate(head(list)) is true
      cons(head(list), filter(tail(list), predicate))
    else
      filter(tail(list), predicate)

在 Scala 中，这应该满足您的要求：

sealed trait NumList
case object Nil extends NumList
case class Cons(n: Int, l: NumList) extends NumList

def filterNumList(l: NumList, f: Int => Boolean): NumList = {
  l match {
    case Nil                         => Nil
    case Cons(head, tail) if f(head) => Cons(head, filterNumList(tail, f))
    case Cons(head, tail)            => filterNumList(tail, f)
  }
}

val l1 = Cons(12, Cons(25, Cons(37, Nil)))
def f1(j: Int): Boolean = j <= 25 && j >= 12
println(filterNumList(l1, f1))

您可以使用此代码here on Scastie。