Как предотвратить такой тип соответствия шаблонов ошибок и Nil

Когда вы снова сопоставляете шаблоны списков, вы можете использовать Nil для проверки пустого списка. Однако, если базовый тип является Iterable, вы все равно можете проверить Nil, и он будет разбит на пустые наборы и т.д. См. Следующий сеанс 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

Вопрос: как я могу предотвратить такую ​​проблему? Очевидно, что если l является списком типов, это не ошибка. И если l имеет тип Set, он не будет компилироваться. Но что, если у нас есть класс, который имеет список, определите функцию, которая соответствует шаблону таким образом, а затем кто-то изменит класс, чтобы вместо этого использовать общий итеративный вариант? Является ли этот шаблон Nil vs. _ плохой идеей?

Ответы

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

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

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

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

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

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