Scala 模式匹配错误，“糟糕的简单模式：错误使用 _*（不允许序列模式）”

Question

我在 Coursera 上写作业时遇到了一个关于 Scala 模式匹配的问题。

《Programming in Scala》一书有如下代码：

expr match { 
    case List(0, _ * ) => println("found it") 
    case _ => 
}

所以我写了一个类似的代码来计算列表中每个字符出现的频率：

/**
 * This function computes for each unique character in the list `chars` the number of
 * times it occurs. For example, the invocation
 *
 *   times(List('a', 'b', 'a'))
 *
 * should return the following (the order of the resulting list is not important):
 *
 *   List(('a', 2), ('b', 1)) */
 def times(chars: List[Char]): List[(Char, Int)] = {
   def addTime(char: Char, times: List[(Char, Int)]):List[(Char, Int)] = times match {
     case List(head @ (_*), (c , times), tail @ (_*)) if c == char => List(head, (c, times + 1), tail)
     case _ => List((char, 1))
 }

   if(chars.isEmpty) Nil else addTime(chars.head, times(chars.tail))
}

但是，编译器抱怨：

Error:(81, 29) bad simple pattern: bad use of _* (sequence pattern not allowed)
    case List(head @ (_*), (c , times), tail @ (_*)) if c == char => List(head, (c, times + 1), tail)

虽然我以另一种方式成功实现了这个方法，但在 2 个辅助函数的帮助下，我不知道为什么不允许这种序列模式。我试图谷歌，但我找不到答案。

任何建议将不胜感激。提前致谢。

Answer 1

任何模式匹配最多只能以一种方式分解原始值。如果case List(head @ (_*), (c , times), tail @ (_*)) 是合法的，它将允许head、c、times 和tail 的许多选项。您的意图似乎是按顺序尝试所有这些方式，并在守卫c == char 变为真时进行匹配，但这不是 Scala 模式匹配的工作方式。

实际上，为了简单起见，_* 只允许放在末尾。 List(_*, c) 之类的东西可以合理地允许，但事实并非如此。