Java: помогите IDE заметить возможный `NullPointerException` до запуска программы.
Аннотации `@NonNull` и `@Nullable` описывают контракт: где null недопустим, а где его нужно обработать.
String displayName(@NonNull User user) {
@Nullable String name = user.getName();
if (name == null) {
return "unknown";
}
return name.toUpperCase();
}
`user` не должен быть `null`, а имя может отсутствовать – поэтому перед toUpperCase() стоит проверка.
При поддержке выбранных аннотаций IDE или статический анализатор предупредит о нарушении контракта прямо во время написания кода.
Сами аннотации не гарантируют проверку во время выполнения. Их поведение зависит от библиотеки и инструментов. Чтобы контракт работал между методами, помечайте и параметры, и возвращаемые значения – например, getName().
Java Библиотека | Мы в Телеграм
