我怎么能省略这个Nil案例

Question

我正在使用scala实现一些常见的算法.在尝试重新创建冒泡排序时,我遇到了这个问题

这是一个内部循环的实现,它将值冒泡到顶部:

def pass(xs:List[Int]):List[Int] = xs match { 
  case Nil => Nil 
  case x::Nil => x::Nil 
  case l::r::xs if(l>r) => r::pass(l::xs)
  case l::r::xs => l::pass(r::xs)
}

我的问题是案例Nil => Nil.我明白我需要这是因为我可以申请Nil这个功能.有没有办法确保Nil不能以满足编译器的方式提供参数,以便我可以消除这种情况？

Answer 1

List 有两种子类型：Nil 和 ::，因此 :: 表示至少有一个元素的列表。

def pass(xs: ::[Int]):List[Int] = xs match { 
  case x::Nil => x::Nil 
  case l::r::xs if(l>r) => r::pass(new ::(l,xs))
  case l::r::xs => l::pass(new ::(r, xs))
}