Làm thế nào một biến có thể là null trong đoạn mã này?

Question

FindBugs phàn nàn về có thể trỏ dereference null str1 trên chi nhánh đó có thể là không khả thi trong Comparator.compareStrings (String, String) trong phương pháp này:

private static int compareStrings(final String str1, final String str2) { 
    if ((str1 == null) && (str2 == null)) { 
     return COMPARE_ABSENT; 
    } 
    if ((str1 == null) && (str2 != null)) { 
     return COMPARE_DIFFERS; 
    } 
    if ((str1 != null) && (str2 == null)) { 
     return COMPARE_DIFFERS; 
    } 
    return str1.equals(str2) ? COMPARE_EQUALS : COMPARE_DIFFERS; 
} 

Trong Eclipse, tôi cũng thấy một cảnh báo trên cuối cùng dòng (str1 có thể rỗng).

Trong những trường hợp nào có thể str1 là null trong return str1.equals(str2) ? COMPARE_EQUALS : COMPARE_DIFFERS; (nếu hai khối đầu tiên bao gồm các trường hợp, khi str1 là null)?

Answer 1

Bạn có thể tránh các cảnh báo bằng việc sắp xếp lại nếu phát biểu:

private static int compareStrings(final String str1, final String str2) { 
    if (str1 == null) { 
     if (str2 == null)) { 
      return COMPARE_ABSENT; 
     } else { 
      return COMPARE_DIFFERS; 
     } 
    } else { 
     if (str2 == null)) { 
      return COMPARE_DIFFERS; 
     } else { 
      return str1.equals(str2) ? COMPARE_EQUALS : COMPARE_DIFFERS; 
     } 
    } 
} 

Answer 2

Tại thời điểm bạn gọi str1.equals(str2), str1không thể là null. Bạn nên chặn cảnh báo này tại vị trí đó.