<\/p>\n
Ausnahmen vom Typ <\/span>NullPointerException<\/span><\/span><\/span> bleiben bis heute ein l\u00e4stiges Problem. Gl\u00fccklicherweise k\u00f6nnen statische Analysewerkzeuge und moderne IDEs heute zuverl\u00e4ssig pr\u00fcfen, ob ein Ausdruck dereferenziert wird, der m\u00f6glicherweise <\/span>null<\/span><\/span><\/span> ist. Problematisch bleiben dabei vor allem Bibliotheken, deren Null-Verhalten nicht pr\u00e4zise beschrieben ist. Aus diesem Grund haben sich Null-Annotationen etabliert, mit denen sich ausdr\u00fccken l\u00e4sst, ob ein Typ <\/span>null<\/span><\/span><\/span> sein darf oder nicht.<\/span><\/p>\n Ab Spring Framework 7 setzt Spring f\u00fcr Null-Safety auf JSpecify<\/span><\/span>\u00a0<\/span>(https:\/\/jspecify.dev\/<\/span>). JSpecify ist ein gemeinsames Standardisierungsprojekt, das unter anderem von Google, JetBrains (IntelliJ) und dem Spring-Team vorangetrieben wird. Ziel ist eine einheitliche, werkzeug\u00fcbergreifende Semantik f\u00fcr Null-Sicherheit in Java, im Gegensatz zu \u00e4lteren Ans\u00e4tzen wie JSR-305, die nie konsistent umgesetzt wurden.<\/span><\/p>\n JSpecify deklariert im Paket <\/span>org.jspecify.annotations<\/span><\/span><\/span> folgende Annotationstypen:<\/span><\/p>\n \u00a7\u00a0\u00a0 <\/span><\/span><\/span>@NullMarked<\/span><\/span><\/span>: Definiert einen Geltungsbereich (Paket, Klasse, Methode, Modul), in dem alle nicht annotierten Typverwendungen standardm\u00e4\u00dfig als nicht-<\/span>null<\/span><\/span><\/span> gelten.<\/span><\/p>\n \u00a7\u00a0\u00a0 <\/span><\/span><\/span>@Nullable<\/span><\/span><\/span>: Markiert eine Typverwendung explizit als <\/span>null<\/span><\/span><\/span> zul\u00e4ssig, also als Wert, der <\/span>null<\/span><\/span><\/span> sein darf. Wird verwendet, um Ausnahmen innerhalb eines <\/span>@NullMarked<\/span><\/span><\/span><\/span>-Kontexts zu kennzeichnen.<\/span><\/p>\n \u00a7\u00a0\u00a0 <\/span><\/span><\/span>@NonNull<\/span><\/span><\/span>: Markiert eine Typverwendung explizit als nicht-<\/span>null<\/span><\/span><\/span>. Vor allem sinnvoll au\u00dferhalb eines <\/span>@NullMarked<\/span><\/span><\/span>-Kontexts oder zur bewussten Hervorhebung.<\/span><\/p>\n \u00a7\u00a0\u00a0 <\/span><\/span><\/span>@NullUnmarked<\/span><\/span><\/span>: Hebt die Wirkung von <\/span>@NullMarked<\/span><\/span><\/span> innerhalb eines Bereichs auf. Nicht annotierte Typverwendungen haben dort wieder keine definierte Null-Semantik. Wird prim\u00e4r f\u00fcr Migration bestehender Codebasen genutzt.<\/span><\/p>\n \n Hinweis<\/span><\/p>\n Die Annotationen stammen aus dem Artefakt <\/span>org.jspecify:jspecify<\/span><\/span><\/span>. In Spring Framework 7 ist diese Abh\u00e4ngigkeit in <\/span>spring-core<\/span><\/span><\/span> als API-Abh\u00e4ngigkeit enthalten und in typischen Projekten transitiv verf\u00fcgbar. Kotlin ab Version 2.1 wertet Annotationen aus <\/span>org.jspecify.annotations<\/span><\/span><\/span> strikt aus.<\/span><\/p>\n Entwicklungsumgebungen wie IntelliJ IDEA sowie statische Analysewerkzeuge k\u00f6nnen JSpecify-Annotationen auswerten und auf potenzielle <\/span>NullPointerException<\/span><\/span><\/span>-Risiken hinweisen. Spring Framework verwendet ab Version 7 im Build-Prozess zus\u00e4tzlich das Analysewerkzeug <\/span>NullAway<\/span><\/span>\u00a0<\/span>(<\/span>https:\/\/github.com\/uber\/nullaway<\/span><\/span>). NullAway ist ein Compile-Time-Checker auf Basis von <\/span>Google Error Prone<\/span><\/span>\u00a0<\/span>(<\/span>https:\/\/github.com\/google\/error-prone<\/span><\/span>), der die Einhaltung von Null-Vertr\u00e4gen strikt \u00fcberpr\u00fcft. Verst\u00f6\u00dfe \u2013 etwa das Zur\u00fcckgeben von <\/span>null<\/span><\/span><\/span> trotz nicht-null Annotation oder die \u00dcbergabe von <\/span>null<\/span><\/span><\/span> an nicht-<\/span>null<\/span><\/span><\/span> Parameter \u2013 f\u00fchren dabei zu Build-Fehlern.<\/span><\/p>\n Auf diese Weise stellt Spring sicher, dass die eigene API konsistent annotiert ist und keine versteckten Null-Probleme enth\u00e4lt.<\/span><\/p>\n Dieselbe Art der Pr\u00fcfung l\u00e4sst sich auch in eigenen Projekten integrieren, um Null-Fehler fr\u00fchzeitig und reproduzierbar im Build zu erkennen.<\/span><\/p>\n Um <\/span>@NullMarked<\/span><\/span><\/span> auf Paketebene zu aktivieren, legt man eine <\/span>package-info.java<\/span><\/span><\/span> an:<\/span><\/p>\n @NullMarked<\/span><\/p>\n package com.tutego.date4u.core;<\/span><\/p>\n \u00a0<\/span><\/p>\n import org.jspecify.annotations.NullMarked;<\/span><\/p>\n Damit werden in diesem Paket nicht annotierte Typverwendungen standardm\u00e4\u00dfig als nicht-null interpretiert, sofern nicht explizit <\/span>@Nullable<\/span><\/span><\/span> verwendet wird.<\/span><\/p>\n\u00a0<\/span><\/span><\/span>JSpecify<\/span><\/h3>\n
Pr\u00fcfung durch Tools<\/span><\/h4>\n
Null-Pr\u00fcfungen in eigenen Projekten<\/span><\/h4>\n
Fr\u00fchere Spring-Annotationen<\/span><\/h4>\n