为什么IntelliJ的检查员突出显示这个代码？

Question

IntelliJ似乎认为我的代码有一个潜在的错误，我不太明白为什么。这与Nonnull注释有关；我告诉IntelliJ，有些字段不能为空，我确保它们永远不被允许为空，但是IntelliJ仍然不喜欢它。

下面是一个有问题的代码示例。

import javax.annotation.Nonnull;

public class Something {
     static final Long DEFAULT_ID = -1L;

     @Nonnull
     public Long id;

     public Something() {
         id = DEFAULT_ID;
     }

     @Nonnull
     public Long getId() {
         return this.id;
     }

     public Something setId(Long id) {
         this.id = id != null ? id : DEFAULT_ID;
         return this;
     }
}

当我这样做时，IntelliJ的检查员会在setId（Long）方法原型的id参数上生成一个警告，警告我id的类字段用Nonnull注释。这是在尽管我手动检查null在身体的方法

但是，如果我将方法更改为这样，检查警告将完全消失：

public Something setId(Long id) {
    if (id != null) 
        this.id = id;
    else 
        this.id = DEFAULT_ID; 
    return this;
}

理论上，这两种实现实际上是相同的；事实上，IntelliJ建议在我使用if-ther方法时使用三元运算符，以达到文体目的。为什么IntelliJ会在第一个实现（使用三元操作符）上产生警告，而不是第二个？这只是代码检查器中的一个疏忽，还是我错过了一些重要的东西？可以通过抑制“Nullable问题”来抑制警告，但是我想确保在这里使用三元运算符没有问题。有什么建议吗？

Answer 1

这看起来像个虫子。

我在JetBrains tracker中为您创建了一个问题。

投票/评论：https://youtrack.jetbrains.com/issue/IDEA-178172