NullPointerException thông qua hành vi tự động-boxing của toán tử ternary Java

Question

Tôi đã xem qua một số NullPointerException thực sự kỳ lạ vào một ngày khác gây ra bởi một kiểu truyền bất ngờ trong toán tử bậc ba. Với này (vô dụng gương mẫu) chức năng:

Integer getNumber() { 
    return null; 
} 

Tôi đã chờ đợi hai đoạn mã sau vào được chính xác giống hệt nhau sau khi biên dịch:

Integer number; 
if (condition) { 
    number = getNumber(); 
} else { 
    number = 0; 
} 

vs

Integer number = (condition) ? getNumber() : 0; 

.

Hóa ra, nếu condition là true, các if -statement hoạt động tốt, trong khi opration ternary trong đoạn mã thứ hai ném một NullPointerException. Dường như hoạt động ba năm đã quyết định nhập cả hai lựa chọn vào int trước khi tự động kết quả trở lại thành một số Integer!?! Trên thực tế, nếu tôi truyền một cách rõ ràng 0 đến Integer thì ngoại lệ sẽ biến mất. Nói cách khác:

Integer number = (condition) ? getNumber() : 0; 

là không giống nhau như:

Integer number = (condition) ? getNumber() : (Integer) 0; 

.

Vì vậy, có vẻ như có sự khác biệt mã byte giữa toán tử bậc ba và số if-else tương ứng (điều tôi không mong đợi). Điều này đặt ra ba câu hỏi: Tại sao có sự khác biệt? Đây có phải là một lỗi trong việc thực hiện ternary hoặc là có một lý do cho các loại cast? Có một sự khác biệt, là hoạt động bậc ba ít hay nhiều hơn một mức tương đương if -statement (Tôi biết, sự khác biệt không thể lớn, nhưng vẫn còn)?

Answer 1

Theo JLS: -

Loại một biểu thức điều kiện được xác định như sau:

• Nếu toán hạng thứ hai và thứ ba có cùng loại (trong đó có thể là loại null) , thì đó là loại biểu thức có điều kiện .
• Nếu một trong hai toán hạng thứ hai và thứ ba thuộc loại T nguyên thủy, và loại kia là kết quả của việc áp dụng chuyển đổi đấm bốc
  (§5.1.7) thành T, thì loại biểu thức có điều kiện là T .

Answer 2

Vấn đề là:

Integer number = (condition) ? getNumber() : 0; 

Buộc một unboxing và reboxing về kết quả getNumber(). Điều này là do phần sai của ternary (0) là một số nguyên, vì vậy nó cố chuyển đổi kết quả của getNumber() thành một int. Trong khi các trường hợp sau không:

Integer number = (condition) ? getNumber() : (Integer) 0; 

Đây không phải là lỗi, chỉ cần cách Java chọn làm việc.

Answer 3

Đây là cách hoạt động của nó. Toán tử bậc ba là không có nghĩa là tương đương với câu lệnh if thông thường. Nội dung của các số if và else là báo cáo, trong khi các phần sau ? và : là các biểu thức , bắt buộc phải đánh giá cùng loại.

Đặt một cách khác: a = b ? c : d không được coi là tương đương với if (b) a = c; else a = d;. Thay vào đó, b ? c : d là một biểu thức riêng và việc gán kết quả của nó thành a sẽ không ảnh hưởng đến kết quả.