W jaki sposób funkcja NotNull działa w wersji 2.8 i czy ktokolwiek z niej korzysta?

Question

trait NotNull {} 

Próbowałam zobaczyć, jak ta cecha może zagwarantować, że coś nie jest nieważna i nie mogę zrozumieć to:

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

oraz:

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

Istnieje oczywiście niektóre szczególne traktowanie kompilator dzieje, bo to kompiluje:

trait MyTrait {} 

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

Podczas gdy to zrobić es nie:

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

EDIT:nie ma nic na ten temat można znaleźć w programowaniu w Scala

Answer 1

spróbować błąd:

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 

ta działa tylko z Scala 2.7.5 :

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 Odniesienie do języka 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 jeszcze się nie zakończył. Intencją jest przekształcenie tego w użyteczny sposób sprawdzenia nie-zerowości, ale jeszcze jej nie ma. Na razie nie skorzystam z tego. Nie mam konkretnych przewidywań, kiedy to nastąpi, tylko że nie dotrze on do wersji 2.8.0.