模式匹配不起作用

Question

我在想，爲什麼不這項工作：

def example(list: List[Int]) = list match { 
    case Nil => println("Nil") 
    case List(x) => println(x) 
    }            

    example(List(11, 3, -5, 5, 889, 955, 1024)) 

它說：

scala.MatchError: List(11, 3, -5, 5, 889, 955, 1024) (of class scala.collection.immutable.$colon$colon) 

Answer 1

它不起作用，因爲List(x)意味着只有一個元素的列表。檢查它：

def example(list: List[Int]) = list match { 
    case Nil => println("Nil") 
    case List(x) => println("one element: " + x) 
    case xs => println("more elements: " + xs) 
} 

example(List(11, 3, -5, 5, 889, 955, 1024)) 
//more elements: List(11, 3, -5, 5, 889, 955, 1024) 
example(List(5)) 
//one element: 5 

Answer 2

因爲List(x)只與一個元素相匹配的列表。所以

def example(list: List[Int]) = list match { 
    case Nil => println("Nil") 
    case List(x) => println(x) 
} 

只適用於零或一個元素的列表。

Answer 3

正如其他海報指出，List(x)只匹配1個元素的列表。

然而，有匹配多個元素的語法：

def example(list: List[Int]) = list match { 
    case Nil => println("Nil") 
    case List(x @ _*) => println(x) 
}            

example(List(11, 3, -5, 5, 889, 955, 1024)) // Prints List(11, 3, -5, 5, 889, 955, 1024) 

這是有趣@ _*東西，它使不同。 _*與重複的參數匹配，並且x @說「將其綁定到x」。

與任何可匹配重複元素的模式匹配（例如，Array(x @ _*)或Seq(x @ _*)）相同。 List(x @ _*)也可以匹配空列表，雖然在這種情況下，我們已經匹配了零。

您還可以使用_*匹配「休息」，如：

def example(list: List[Int]) = list match { 
    case Nil => println("Nil") 
    case List(x) => println(x) 
    case List(x, xs @ _*) => println(x + " and then " + xs) 
}