java为什么空指针异常取决于条件的顺序？

Question

我正在学习和实验教程，最近我发现了一个奇怪的行为。我的一个if条件检查引用变量是否为null，以及它的值是否与所需的值匹配，但我不明白为什么它在第二个if块中抛出异常，而不是在第一个if块中抛出异常，尽管我没有添加任何额外条件，甚至组合也有'and'子句。任何好的文章或指针都会有很大的帮助

我的代码：

class Dummy {
    int a;
    int b;
}

public class Doubt {
    public static void main(String[] args) {
        String str =  null;
        Dummy d = null;
        if(str!=null && str.equals("My Input")) {
            System.out.println("This doesn't throw exception");
        }
        System.out.println("last if didn't throw exception");
        try{
            if(str.equals("My Input") && str!=null ) {
                System.out.println("This throws exception");
            }
        }
        catch(Exception e) {
            e.printStackTrace();
        }

    }
}

Answer 1

条件按照写入顺序进行评估（当然，如果需要，也就是说，没有短路）

考虑用{{CD2>}来评估第二个^ {CD1>}语句。您首先尝试检查str.equals("My Input")，这将抛出一个NullPointerException，第二个条件永远不会达到。另一方面，在第一个if语句中，首先检查str != null。由于这是false，并且false && anything将始终返回false，因此甚至不会计算以下条件，也不会抛出NullPointerException。这被称为短路评估

Answer 2

抛出异常是因为在“and”关系中，首先检查第一条语句，然后检查第二条语句，而第一条语句抛出异常是因为字符串为null。 由于这种行为，你应该总是先写空检查

Answer 3

条件评估从左到右

if(str!=null && str.equals("My Input"))

在这种情况下，将首先计算str!=null，如果为true，则只计算str.equals("My Input")

if(str.equals("My Input") && str!=null )

在这种情况下，将首先计算str.equals("My Input")，当str为空时，它将抛出NPE