Как черта 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.