scala - scala中无法访问的代码？

Question

由于某种原因，以下代码无法访问。我不明白为什么我的代码永远不会被访问，因为这是一个简单的模式匹配。这里是：

type Occurrences = List[(Char, Int)]

def combinations(occurrences: Occurrences): List[Occurrences] = occurrences match{
  case Nil => Nil
  case List() => List()
  case x => List(x)
  case x::xs => combinations(List((x._1,x._2 - 1))) ::: combinations(xs)
}

该算法旨在提取给定列表的所有子列表。

score 5 · Accepted Answer

case x => List(x)匹配任何东西。看起来您想匹配一个 1 元素列表，以便您可以使用：

case l@List(_) => List(l)

score 3 · Accepted Answer

scala> Nil == List()
res0: Boolean = true

你期待什么List()是什么？

顺便说一句，错误消息确实告诉您问题所在：

scala> def combinations(occurrences: Occurrences): List[Occurrences] = occurrences match{
     |   case Nil => Nil
     |   case List() => List()
     |   case x => List(x)
     |   case x::xs => combinations(List((x._1,x._2 - 1))) ::: combinations(xs)
     | }
<console>:11: warning: patterns after a variable pattern cannot match (SLS 8.1.1)
         case x => List(x)
              ^
<console>:12: warning: unreachable code due to variable pattern 'x' on line 11
         case x::xs => combinations(List((x._1,x._2 - 1))) ::: combinations(xs)
                                                           ^
<console>:12: warning: unreachable code
         case x::xs => combinations(List((x._1,x._2 - 1))) ::: combinations(xs)
                                                           ^
combinations: (occurrences: Occurrences)List[Occurrences]

score 1 · Accepted Answer

我是 Scala 新手，我遇到了类似的问题，并且对编译器给出的警告感到困惑。如果其他人遇到同样的事情，这就是让我感到困惑以及我的解决方案是什么。

我的编译器给了我一个大致这样的警告（但我用 OP 的代码代替了我的代码）：

[warn] path/to/file.scala:123: unreachable code
case x::xs => combinations(List((x._1,x._2 - 1))) ::: combinations(xs)
                                                   ^

编译器指向您最后一个 case 语句中的一个符号，实际上（正如其他人所提到的）问题在于您的 List() case 语句。起初我误以为这意味着编译器打印的 case 语句存在问题。（就我而言，我认为我使用不正确的'::'。）

编译器消息的意思是该语句不可访问，与它指向的字符无关。正如其他人所提到的，该语句无法访问的原因是 List() 语句是一个包罗万象的，并且匹配不会流向其余的情况。

要解决此问题，请确保逻辑可以流向您的所有案例，并且不会陷入包罗万象的困境。即从最具体到最不具体。我也试图通过元素的数量来匹配一个列表，这是我的解决方案[编译并工作，没有警告！]：

def myFunction(myList: List[MyType]) = myList match {
   case x1 :: x2 :: xs => // match 2+ elems
   case x :: xs => // match 1+ elems
   case Nil => // match 0 elems

但是，如果我重新排列前两行，我会再次收到无法访问的代码警告，因为匹配 2+ 的情况比 1+ 的情况更具体[不起作用，并且无法访问代码警告！]：

def myFunction(myList: List[MyType]) = myList match {
   case x :: xs => // match 1+ elems
   case x1 :: x2 :: xs => // match 2+ elems
   case Nil => // match 0 elems

score 0 · Accepted Answer

我猜您想将单个元素与case x => List(x). 那匹配任何东西。
改为使用case x :: Nil => List(x)。

scala - scala中无法访问的代码？

4 回答 4

Related

Reference