Зачем мне использовать Lombok-Annotation @NonNull?

Идея аннотации состоит в том, чтобы избежать if (person == null) в вашем коде и сделать его чище.

ИМХО, вы неправильно поняли эта страница документации.

Эта страница документации не подразумевает, на которой вам рекомендуется использовать как аннотации Lombok @NonNull, так и явные if (smth == null) throw …-подобные проверки одновременно (одним и тем же методом).

Он просто говорит, что такой код (назовем его код А):

import lombok.NonNull;

public class NonNullExample extends Something {
  private String name;

  public NonNullExample(@NonNull Person person) {
    super("Hello");
    this.name = person.getName();
  }
}

будет автоматически (внутренне) переведен Ломбоком в код, аналогичный тому, который указан в вопросе (назовем его код Б).

Но на этой странице документации не говорится, что для вас имеет смысл явно писать код Б (хотя вам это разрешено, и в этом случае Lombok даже попытается предотвратить двойную проверку). Там просто написано, что с ломбоком теперь вы можете написать код А (и как это будет работать — он будет неявно преобразован в код Б).

Обратите внимание, что код Б — это «ванильный код Java». Ожидается, что он не будет обработан Ломбоком во второй раз. Так что @NonNull в код Б — это просто аннотация, которая никак не влияет на поведение (по крайней мере, не с точки зрения Ломбока).

Отдельный вопрос, почему Lombok так работает — почему он не удаляет @NonNull из сгенерированного кода. Первоначально я даже мысль, что это может быть ошибка на этой странице документации. Но, как объясняет автор Lombok в его комментарий, @NonNull намеренно сохраняются для целей документирования и возможной обработки другими инструментами.

Он служит той же цели, что и

java.util.Objects requireNonNull()

или предварительные условия Гуавы. Это просто делает код более компактным и отказоустойчивым.

Написание аннотации типа, такой как @NonNull, служит нескольким целям.

• Это документация: он передает контракт метода клиентам более кратким и точным способом, чем текст Javadoc.
• Он включает проверка во время выполнения, то есть гарантирует, что ваша программа вылетит с полезным сообщением об ошибке (вместо того, чтобы сделать что-то еще хуже), если глючный клиент неправильно использует ваш метод. Lombok делает это за вас, не заставляя программиста писать проверку во время выполнения. ссылочный пример показывает два способа сделать это: с помощью одной аннотации @NonNull или с явной проверкой, написанной программистом. Версия «Vanilla Java» либо имеет опечатку (случайный @NonNull), либо показывает код после его обработки Lombok.
• Он включает проверка во время компиляции. Такой инструмент, как Платформа проверки, гарантирует, что код нет рухнет во время выполнения. Такие инструменты, как NullAway, Склонен к ошибкам и FindBugs, являются эвристическими средствами поиска ошибок, которые предупредят вас о некоторых случаях неправильного использования null, но не дадут вам никаких гарантий.

Я люблю ломбок, но в этом случае (лично) я предпочитаю использовать аннотацию @Nonnull из javax.аннотация с Objects.requireNonNull из java.util.Объекты.

Использование ломбока таким образом делает код чище, но еще менее понятным и читаемым:

public Builder platform(@NonNull String platform) {
    this.platform = platform;
    return this;
}  

Этот метод вызывает NullPointerException (нет доказательств этого) и в зависимости передача нулевого аргумента при вызове метода не сообщается моей IDE (IntelliJ Ultimate 2020.1 EAP — последняя версия — с плагином lombok)

Поэтому я предпочитаю использовать аннотацию @Nonnull из javax.аннотация следующим образом:

public Builder platform(@Nonnull String platform) {
    this.platform = Objects.requireNonNull(platform);
    return this;
}

Код немного многословен, но понятнее, и моя IDE способна предупредить меня, если я передам нулевой аргумент при вызове метода!