Gibt es eine Java-Annotation, die darauf hinweist, dass eine Liste Nullen enthalten kann?

Question

Gibt es etwas wie eine @ContainsNulls Annotation, die feststellt, dass Nullen in einer Liste enthalten sein können?

Answer 1

Um anzugeben, dass eine Liste null Elemente enthalten darf, deklarieren Sie die Listenelementtypen mit der Java- Typannotationsfunktion. Zum Beispiel:

List<@Nullable String> mylist;

Viele Werkzeuge gibt es für nullsess Kontrolle, und jeder legt seine eigene @Nullable Anmerkung. Viele der Tools können Anmerkungen anderer Tools lesen und interpretieren.

Die meisten Werkzeuge machen @NonNull die Standardannotation, wenn Sie also einfach List<String> schreiben, interpretiert das Tool dies als List<@NonNull String>. Diese Auswahl reduziert das Durcheinander in Ihrem Code.

Eine Liste der verschiedenen Tools und ihrer Anmerkungen finden Sie in der Checker Framework manual.

Einige der Werkzeuge sind Bug-Detektoren, die einige Null-Zeiger-Ausnahmen und andere avre Verifikations-Tools finden, dass Ihr Code garantieren keine Null-Zeiger-Ausnahmen hat. Das richtige Werkzeug für Sie hängt von Ihrer Situation ab; Hier ist a comparison der beiden Arten von Werkzeugen.