Supporto libreria per il tratto NotNull di Scala

Question

Avviso: A partire da Scala 2.11, NotNull obsoleto.

Per quanto ho capito, se si desidera un tipo di riferimento per essere non annullabile si devono mixin la magia NotNull tratto, e il compilatore automaticamente vi impedisce di mettere null valori -Abilitare in esso. Vedi questo mailing-list thread per esempio.

Ciò che manca è un supporto di libreria decente per tipi non annullabili. Se desidero scrivere un pacchetto che non ha bisogno di interfacciare direttamente il codice java, e voglio impedire a tutti i tipi di questo pacchetto di usare null per impostazione predefinita, non ho altra scelta che ridefinire tutte le variabili costruite come ad esempio

//can't actually do that, but just to give the general idea 
class NString extends String with NotNull 
class NMap[X,Y] extends Map[X,Y] with NotNull 
... 

mi aspetto scala di avere (come plugin compilatore, o libreria) l'opzione per me scrivere

import collections.notnull._ 

al fine di non consentire facilmente null utilizzo in un file di scala specifica.

Esiste un'opzione per forzare facilmente molti tipi utili nella libreria standard a non rendere nulla?

Answer 1

Non so davvero quale sia l'accordo con NotNull, ma ho l'impressione che Scala non abbia pienamente capito come vuole gestire i concetti NotNull/Nullable. La mia politica è quella di non utilizzare mai null in Scala e se si chiama un'API Java che può restituire null, immediatamente convertirlo in un Option.

metodo

Questa utility è il mio migliore amico:

def ?[A <: AnyRef](nullable: A): Option[A] = if (nullable eq null) None else Some(nullable) 

poi si fa cose come questa:

val foo: Option[Foo] = ?(getFooFromJavaAPIThatMightReturnNull()) 

Trovo che questo sia di gran lunga più semplice che cercare di tenere traccia di ciò che può o non può essere null.

Quindi non ho risposto alla tua domanda a tutti, ma mi passa questo su nel caso in cui è utile ...

Aggiornamento: le versioni più recenti Scala ora supportano questa nel API standard:

val foo: Option[Foo] = Option(getFooFromJavaAPIThatMightReturnNull())