соответствие шаблону не работает

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 @ _*) также может соответствовать пустым спискам, хотя в этом случае мы уже сопоставили Nil.

Вы также можете использовать _*, чтобы соответствовать «остальные», как в:

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) 
}