java - Intellij思想: Contract clause 'null -> fail' is violated

Question

我在 Intellij IDEA 14 中收到此警告，但我不太明白它的含义。

public class SubArray {

private final int[] array;
private final int left;
private final int right;
private final int sum;

public SubArray(int[] array, int left, int right) {
    this.array = array;
    this.left = left;
    this.right = right;
    int s = 0;
    for (int i = left; i <= right; i++) {
        s += array[i];
    }
    sum = s;
}

public int[] getArray() {
    return array;
}

public int getLeft() {
    return left;
}

public int getRight() {
    return right;
}

public int getSum() {
    return sum;
}

}

public static SubArray returnMax(SubArray ... subArrays) {
    if (subArrays == null || subArrays.length == 0) {
        throw new RuntimeException("No sub arrays provided");
    }
    SubArray max = subArrays[0];
    for (int i = 1; i < subArrays.length; i++) {
        if (subArrays[i].getSum() > max.getSum()) {
            max = subArrays[i];
        }
    }
    return max;
}

行return max; 发出警告。我检查 subArrays 是否为 null 或为空。我想这应该足够了。

Answer 1

这只是一个错误 ( https://youtrack.jetbrains.com/issue/IDEA-136079 )，将在 14.1 版本中修复。对此感到抱歉。您可以使用 EAP 版本 ( https://confluence.jetbrains.com/display/IDEADEV/IDEA+14.1+EAP ) 或通过警告上的 Alt+Enter 暂时禁用此检查。