Как черта NotNull работает в 2.8 и кто-нибудь действительно использует ее?
trait NotNull {}
Я пытаюсь понять, как эта черта может гарантировать, что что-то не является нулевым, и я не могу понять:
def main(args: Array[String]) {
val i = List(1, 2)
foo(i) //(*)
}
def foo(a: Any) = println(a.hashCode)
def foo(@NotNull a: Any) = println(a.hashCode) //compile error: trait NotNull is abstract
def foo(a: Any with NotNull) = println(a.hashCode) //compile error: type mismatch at (*)
и
val i = new Object with NotNull //compile-error illegal inheritance
Очевидно, что существует некоторая специальная обработка компилятора, потому что это компилируется:
trait MyTrait {}
def main(args: Array[String]) {
val i: MyTrait = null
println(i)
}
Если это не так:
def main(args: Array[String]) {
val i: NotNull = null //compile error: found Null(null) required NotNull
println(i)
}
РЕДАКТИРОВАТЬ: нет ничего об этом я могу найти в программировании в Scala
Ответы
Ответ 1
Попытка и ошибка:
scala> class A extends NotNull
defined class A
scala> val a : A = null
<console>:5: error: type mismatch;
found : Null(null)
required: A
val a : A = null
^
scala> class B
defined class B
scala> val b : B = null
b: B = null
Это работает только с Scala 2.7.5:
scala> new Object with NotNull
res1: java.lang.Object with NotNull = [email protected]
scala> val i = new Object with NotNull
i: java.lang.Object with NotNull = [email protected]
И справочник по языку Scala:
Если этот элемент имеет тип, который соответствует scala.NotNull, члены должны быть инициализированы значение отличное от нуля, в противном случае scala. Вызывается инициализацияError.
Для каждого типа класса T такого, что T <: scala.AnyRef, а не T <: scala.NotNull один имеет scala.Null <: T.
Ответ 2
NotNull еще не закончен. Цель состоит в том, чтобы превратить это в полезный способ проверки непустоты, но он еще не существует. На данный момент я не буду использовать его. У меня нет конкретных прогнозов, когда это будет сделано, только то, что он не прибудет на 2.8.0.
