जावा टर्नरी ऑपरेटर के ऑटो-मुक्केबाजी-व्यवहार के माध्यम से NullPointerException

Question

मैंने टर्नरी ऑपरेटर में एक अप्रत्याशित प्रकार-कास्ट के कारण दूसरे दिन वास्तव में अजीब NullPointerException पार किया। इस (बेकार अनुकरणीय) समारोह को देखते हुए:

Integer getNumber() { 
    return null; 
} 

मैं संकलन के बाद बिल्कुल समान होना करने के लिए निम्न दो कोड खंडों उम्मीद कर रहा था:

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

बनाम

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

।

, if -statement ठीक काम करता है निकलती है तो conditiontrue है, जबकि दूसरा कोड खंड में त्रिगुट opration एक NullPointerException फेंकता है। ऐसा लगता है कि टर्नरी ऑपरेशन ने ऑटो-मुक्केबाजी से पहले में परिणाम दोनों विकल्पों को int पर टाइप-कास्ट करने का निर्णय लिया है! वास्तव में, अगर मैंने स्पष्ट रूप से 0 को Integer पर डाला है, तो अपवाद दूर हो जाता है। दूसरे शब्दों में:

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

:

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

नहीं के समान है।

तो, ऐसा लगता है कि टर्नरी ऑपरेटर और समकक्ष if-else -स्टेटमेंट (कुछ जो मुझे उम्मीद नहीं थी) के बीच बाइट-कोड अंतर है। जो तीन प्रश्न उठाता है: इसमें कोई अंतर क्यों है? क्या यह टर्नरी कार्यान्वयन में एक बग है या क्या टाइप कास्ट का कोई कारण है? यह देखते हुए कि एक अंतर है, क्या टर्नरी ऑपरेशन बराबर if -स्टेटमेंट (मुझे पता है, अंतर बड़ा नहीं हो सकता है, लेकिन अभी भी) की तुलना में कम या ज्यादा प्रदर्शन करने वाला है?

Answer 1

JLS के अनुसार: -

एक सशर्त अभिव्यक्ति के प्रकार के रूप में निम्न प्रकार निर्धारित किया जाता है:

• दूसरे और तीसरे ऑपरेंड एक ही प्रकार है (जो अशक्त प्रकार हो सकता है) , तो वह सशर्त अभिव्यक्ति का प्रकार है।
• यदि दूसरे और तीसरे ऑपरेटरों में से एक आदिम प्रकार टी का है, और दूसरा प्रकार का मुक्केबाजी रूपांतरण
  (§5.1.7) टी को लागू करने का परिणाम है, तो सशर्त अभिव्यक्ति का प्रकार टी है

Answer 2

समस्या यह है कि यह है:

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

एक unboxing और getNumber के परिणाम की reboxing बाध्य करता है()। ऐसा इसलिए है क्योंकि टर्नरी (0) का झूठा हिस्सा एक पूर्णांक है, इसलिए यह getNumber() को int में परिणाम बदलने की कोशिश करता है। जबकि निम्नलिखित नहीं है:

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

यह एक बग नहीं है, जिस तरह जावा ने चीजों को करने का विकल्प चुना है।

Answer 3

इस तरह यह काम करना चाहिए। टर्नरी ऑपरेटर नियमित if कथन के बराबर होना था। if और else के शव, जबकि भागों निम्नलिखित ? और : रहे भाव, कि एक ही प्रकार के लिए मूल्यांकन करने के लिए आवश्यक हैं बयान हैं।

एक और तरीका रखें: a = b ? c : dif (b) a = c; else a = d; के बराबर नहीं होना चाहिए। इसके बजाए, b ? c : d अपने आप पर एक अभिव्यक्ति है, और इसके परिणामस्वरूप a का परिणाम परिणाम को प्रभावित नहीं करेगा।