需要解释：java中的三元运算符

Question

The line in question is return pFile.exists() ? true : null; return pFile.exists() ? true : null; . As it does not raise any compilation error, what is the explanation for this. It ended up raising NPE .

import java.io.File;
public class Main {
  public static void main(String... args) {
    boolean accept = accept(new File(""));
    System.out.println("accept = " + accept);
  }
  public static boolean accept(File pFile) {
    System.out.println(pFile.exists()); // prints: false, so pFile is not null
    return pFile.exists() ? true : null; //this line should throw compilation error
  }
}

pFile is not null ; a File is instantiated as you can see. But obviously the file is not there. The question is not about pFile . I am interested in how the operator is dealing with null .

Answer 1

You code is equivalent to:

public static boolean accept(File pFile) {
    System.out.println(pFile.exists()); // prints: false, so pFile is not null
    Boolean tmp = pFile.exists() ? true : null;
    return (boolean) tmp;
}

On other words, the type of the conditional operator is Boolean in this case, and then the value is being unboxed to return a boolean . When null is unboxed, you get an exception.

From section 15.25 of the Java Language Specification:

Otherwise, the second and third operands are of types S1 and S2 respectively. Let T1 be the type that results from applying boxing conversion to S1, and let T2 be the type that results from applying boxing conversion to S2. The type of the conditional expression is the result of applying capture conversion (§5.1.10) to lub(T1, T2) (§15.12.2.7).

I believe that's the case that's applicable here, although I'll grant it's not as clear as it might be.

Answer 2

You return Boolean null from function defined as returning boolean (a primitive type; note small b ). The null value is automatically unboxed, and casues NPE.

Answer 3

Actually, an empty string is being used to create a file . This results in a empty abstract pathname with no prefix(or directory) and an empty name sequence. So windows is unable to create a file . This in turn is throwing a NPE