java - IntelliJ IDEA 合约返回值不为空

Question

我在 IntelliJ IDEA 14.1.5 中使用 @contract Java 注释但在这种情况下它似乎不起作用:

private String name;

void setName(String name) {
    this.name = null;     // for test
}

@Contract("-> !null")
String getName() {
    return this.name;
}

这个问题有办法解决吗？

感谢您的回复!

Answer 1

@Contract("-> !null") 位于方法 getName 上。这意味着当您在与 null 进行条件比较时调用 getName 时，IntelliJ 会警告您条件始终为 false，并提供简化代码的建议。在您的示例中，没有调用 getName，因此没有可见的效果。

public class A {
    @Contract("-> !null")
    String getName() {
        return "jimmy";
    }

    void method() {
        if (getName() == null) { // for test
            System.out.println("null");
        }
    }
}

如果您想让 IntelliJ 在尝试将 null 分配给变量 name 时发出警告，请使用 @NotNull 注释在球场上。

public class A {
    @NotNull private String name;

    public static void main(String[] args) {
        A a = new A();
        a.name = null;
    }
}