¿Cómo funciona el rasgo NotNull en 2.8 y alguien realmente lo usa?

Question

trait NotNull {} 

que he estado tratando de ver cómo este rasgo puede garantizar que algo no es nulo y no puedo averiguarlo:

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 (*) 

Y:

val i = new Object with NotNull //compile-error illegal inheritance 

es evidente que existe un tratamiento de compilación especial porque esto compila:

trait MyTrait {} 

def main(args: Array[String]) { 
    val i: MyTrait = null 
    println(i) 
} 

Considerando que esto No es:

def main(args: Array[String]) { 
    val i: NotNull = null //compile error: found Null(null) required NotNull 
    println(i) 
} 

EDIT:no hay nada de esto puedo encontrar en la programación en Scala

Answer 1

Try y error:

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 

esto sólo funciona con 2.7.5 Scala :

scala> new Object with NotNull 
res1: java.lang.Object with NotNull = $anon$1@39859 

scala> val i = new Object with NotNull 
i: java.lang.Object with NotNull = $anon$1@d39c9f 

A y la Referencia del lenguaje Scala:

If that member has a type which conforms to scala.NotNull, the member’s valuemust be initialized to a value different from null, otherwise a scala.UnitializedError is thrown.

For every class type T such that T <: scala.AnyRef and not T <: scala.NotNull one has scala.Null <: T.

Answer 2

NotNull aún no ha terminado. La intención es evolucionar esto en una forma utilizable para verificar la ausencia de nulidad, pero aún no está allí. Por el momento no lo usaría. No tengo predicciones concretas cuando se hará, solo que no llegará para 2.8.0.