Случай по умолчанию в конфликте между linter и кодом покрытия в Scala

Question

Мои листы всегда жалуются, когда у меня нет случая по умолчанию в шаблоне в Scala. Однако часто случай по умолчанию является искусственным, и мои программы никогда не могут достичь этого.

В качестве примера рассмотрим следующую программу:

scala> val x = 1 
x: Int = 1 

scala> x match { 
    | case 1 => println("yay") 
    | case _ => println("nay") 
    | } 
yay 

Очевидно, что нижний корпус фактически мертвый код здесь, однако, мой ЛИНТЕР будет по-прежнему жалуются на него. С другой стороны, я очень понимаю, что ощущение, что совпадение на целых числах, а не покрытие всех случаев, вызывает опасный, но в этом случае он явно иррационален.

Должен ли я просто удалить случай по умолчанию здесь и подавить предупреждение linter, чтобы получить некоторое спокойствие?

редактировать: Пожалуйста см https://www.codacy.com/app/hejfelix/Frase/issues?bid=2858415&filters=W3siaWQiOiJDYXRlZ29yeSIsInZhbHVlcyI6WyJFcnJvciBQcm9uZSJdfV0= для более детального просмотра на ряде случаев, когда Codacy просит случаев по умолчанию.

Answer 1

в примерном случае, если-else решит проблему. Я не знаю ваших реальных случаев, но, может быть, if-elses также применимы.

В некоторых других случаях, вероятно, это просто linter, что он недостаточно мощный, чтобы понять случай по умолчанию не нужен. (Кстати, что один вы используете?)