Obsługa biblioteki dla funkcji Scala NotNull

Question

Uwaga: Od wersji Scala 2.11, NotNull jest przestarzała.

O ile rozumiem, jeśli chcesz, aby typ referencyjny był nie-nullable, musisz zmieszać cechę magiczną NotNull, a kompilator automatycznie uniemożliwi umieszczenie w nim wartości. Zobacz na przykład: mailing-list thread.

To, czego brakuje, to przyzwoita obsługa bibliotek dla typów nieululujących. Jeśli chciałbym napisać pakiet, który nie musi bezpośrednio łączyć kodu java, i chcę zapobiec domyślnemu używaniu wszystkich typów w tym pakiecie, to nie mam innego wyjścia, jak przedefiniować wszystkie zmienne związane z budową, takie jak:

//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 
... 

Spodziewam scala mieć (jako plugin kompilatora lub biblioteki) opcji dla mnie do napisania

import collections.notnull._ 

aby łatwo Disallow null wykorzystanie w określonym pliku Scala.

Czy istnieje opcja, aby łatwo wymusić użycie wielu przydatnych typów w bibliotece standardowej, aby nie były możliwe do zniesienia?

Answer 1

Naprawdę nie wiem, co to jest umowa z NotNull, ale mam wrażenie, że Scala nie do końca opracowała sposób, w jaki chce poradzić sobie z koncepcjami NotNull/Nullable. Moja własna polityka nigdy nie używa null w Scali, a jeśli wywołasz API Java, które może zwrócić wartość null, natychmiast przekonwertuj go na Option.

metoda

Narzędzie to jest moim najlepszym przyjacielem:

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

Potem robisz rzeczy tak:

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

Uważam to znacznie prostsze niż próbuje śledzić, co może lub nie może być null.

Więc nie odpowiedzieć na to pytanie w ogóle, ale to przekazać w przypadku jest przydatna ...

Aktualizacja: nowsze wersje Scala teraz wspierać ten w standardowym API:

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