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

Question

我正在学习和尝试教程，最近发现了一个奇怪的行为。我的一个 if 条件检查引用变量是否为 null 以及它的值是否与所需的值匹配，但我很困惑为什么它在第二个 if block 中抛出异常，而不是在第一个 if block 中抛出异常，即使我没有添加任何额外的内容条件甚至组合也有“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

条件按照编写的顺序进行评估(如果需要的话，当然，没有被短路)。

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