Làm thế nào để ngăn chặn kiểu kết hợp mẫu lỗi này và Nil

Question

Khi bạn khớp mẫu lại Danh sách, bạn có thể sử dụng Nil để kiểm tra danh sách trống. Tuy nhiên, nếu loại cơ bản là một Iterable, bạn vẫn có thể kiểm tra Nil, và nó sẽ phá vỡ cho Bộ trống rỗng, vv ... Xem sau phiên REPL:

scala> val l: Iterable[Int] = List() 
l: Iterable[Int] = List() 

scala> l match { 
    | case Nil => 1 
    | case _ => 2 
    | } 
res0: Int = 1 

scala> val l: Iterable[Int] = Set() 
l: Iterable[Int] = Set() 

scala> l match { 
    | case Nil => 1 
    | case _ => 2 
    | } 
res2: Int = 2 

Câu hỏi là - làm thế nào tôi có thể ngăn chặn loại này vấn đề? Rõ ràng, nếu l là một List list, nó không có lỗi. Và nếu l thuộc loại Set, nó sẽ không biên dịch. Nhưng điều gì sẽ xảy ra nếu chúng ta có một lớp có một danh sách, hãy định nghĩa một hàm mà mô hình phù hợp theo cách này, và sau đó một người nào đó thay đổi lớp để có một biến lặp chung thay thế? Đây có phải là Nil so với _ mẫu phù hợp với một ý tưởng tồi nói chung?

Answer 1

Chuyển đổi scrutinee thành danh sách để loại bỏ sự nghi ngờ.

l.toList match { 
    case Nil => 1 
    case xs => 2 
} 

Answer 2

Một khả năng là sử dụng một người bảo vệ:

scala> val xs: Iterable[Int] = Set() 
xs: Iterable[Int] = Set() 

scala> xs match { case xs if xs.isEmpty => 1 case _ => 2 } 
res0: Int = 1 

Một cách khác để làm điều này là sử dụng một if-else-biểu thức (hoạt động tốt nhất nếu bạn chỉ có một hoặc hai điều kiện để kiểm tra):

scala> if (xs.isEmpty) 1 else 2 
res1: Int = 1 

Answer 3

Dưới đây là một tùy chọn (ý định chơi chữ):

scala> val l: Iterable[Int] = List() 
l: Iterable[Int] = List() 

scala> l.headOption match { case None => 1; case Some(h) => 2 } 
res0: Int = 1 

này rất hữu ích trong trường hợp bạn mô hình phù hợp để có được những head như trong phổ biến List() match { case h :: t => ... } nhưng nó không phải là một danh sách, nó là một Iterable và :: sẽ không thành công.

Tôi đã thêm câu trả lời này bởi vì tôi cho rằng nó khá phổ biến đối với mẫu khớp với bộ sưu tập để có đầu, nếu không bạn chỉ có thể kiểm tra với xs.isEmpty.