Тестирование массива для пустоты в Scala

Question

Вопрос не о как для проверки массива для пустоты (arr.length == 0 делает это отлично). Скорее всего мой вопрос, почему

scala> Array().isEmpty 
res1: Boolean = true 

работы и

scala> val x = Array[String]() 
x: Array[String] = Array() 
scala> x.isEmpty 
res2: Boolean = true 

работы, но

scala> val y = Array() 
y: Array[Nothing] = Array() 

scala> y.isEmpty 
<console>:13: error: value isEmpty is not a member of Array[Nothing] 
     y.isEmpty 
     ^

не?

Answer 1

Как @MichaelZajac указывает, Nothing является подтипом все (его аналог Any является супертипом всего). В частности, это также подтип AnyRef. На самом деле существует еще более общий genericArrayOps, который вообще не имеет привязки к типу (например, Array[Any]().isEmpty работ)! Неявное преобразование, позволяющее вам использовать isEmpty, должно быть, но, конечно же, это не так, хотя явное обращение к конвертации в порядке.

link @slouc дает ответ, а именно, что компилятор Scala рассматривает Nothing особым образом при выполнении неявного разрешения, поскольку Nothing по умолчанию нижней границы для типа при выполнении вывода типа.

Теперь почему именно было бы желательно, чтобы Nothing не учитывался в неявном разрешении?Что ж, сложная вещь о Nothing снова заключается в том, что это подтип всего. Это означает, что если в любой точке Scala указывается тип Nothing, каждое неявное преобразование сразу станет действительным. Это может скрыть ошибку типа (у вас никогда не должно быть экземпляра Nothing, но когда Nothing станет Int ... хорошо, кто скажет?). (Примечание. Мне бы очень хотелось, чтобы кто-то, кто на самом деле взломал компилятор, вскочил и подтвердил/отклонил/уточнил об этом)

Answer 2

EDIT: возможно, этот ответ неверен. Но я читаю его здесь, чтобы показать, как я попытался расследовать эту проблему. Для меня это похоже на ошибку в компиляторе.

Ответ неявное преобразование, которое существует для Array[T <: AnyRef] строки является AnyRef, Nothing не AnyRef.

Как вы могли бы открыть это самостоятельно?

В IntelliJ вы можете увидеть серое подчеркивание под isEmpty

Это означает, что метод isEmpty не метод Array, но неявное (метод по классу, который имеет неявное преобразование из массива).

Теперь, чтобы открыть неявное преобразование, просто нажмите ctrl+q

Так что, когда вы будете следовать, вы получите в этой строке в исходном коде -

implicit def refArrayOps[T <: AnyRef](xs: Array[T]): ArrayOps[T] = new ArrayOps.ofRef[T](xs) 

Это объясняет, что неявное преобразование находится на массиве [T], когда T extends AnyRef

Итак, вернемся к нашему делу - String <: AnyRef, но это не имеет места для Nothing