नॉटनुल विशेषता 2.8 में कैसे काम करती है और क्या कोई वास्तव में इसका उपयोग करता है?

Question

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) 
} 

जबकि यह करता है नहीं es:

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

संपादित करें:वहाँ मैं स्काला में प्रोग्रामिंग में मिल सकता है इस बारे में कुछ नहीं

Answer 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 

यह केवल स्काला 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 

ए और स्कैला भाषा संदर्भ:

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 अभी तक समाप्त नहीं हुआ है। इसका इरादा गैर-शून्यता की जांच करने के लिए एक उपयोगी तरीके से विकसित करना है, लेकिन यह अभी तक नहीं है। इस पल के लिए मैं इसका इस्तेमाल नहीं करूंगा। जब यह किया जाएगा, तो मेरे पास कोई ठोस भविष्यवाणियां नहीं हैं, केवल यह 2.8.0 तक नहीं पहुंच जाएगी।