कंपाइलर "लापता वापसी कथन" के बारे में शिकायत करता है, भले ही वापसी की स्थिति में कमी आती है, जहां वापसी का विवरण गुम हो जाएगा

Question

निम्न विधि में, संकलक के बारे में शिकायत करता है कि गुम हो गया है, भले ही केवल एक ही रास्ता है विधि, और इसमें return कथन शामिल है। त्रुटि को दबाने के लिए एक और return कथन की आवश्यकता है।

public int foo() { 
    if (true) { 
     return 5; 
    } 
} 

यह देखते हुए कि Java compiler can recognize infinite loops, कारण है कि यह इस स्थिति से निपटने नहीं करता है और साथ ही? जुड़ा हुआ सवाल संकेत देता है, लेकिन इस विशिष्ट मामले के लिए विवरण प्रदान नहीं करता है।

Answer 1

JLS 14.21, Unreachable Statements अनुभाग है कि इस से संबंधित है:

अगर बयान, चाहे या नहीं यह एक बाकी हिस्सा है, एक असामान्य ढंग से नियंत्रित किया जाता है। इस कारण से, इस खंड के अंत में अलग से चर्चा की जाती है।

आखिरकार यह करना है कि सशर्त संकलन कैसे किया जाता है। इस विधि पर विचार करें:

public int foo() { 
    if (DEBUG) { 
     return 5; 
    } 
} 

तो DEBUG है static final boolean true; आप सोच सकते हैं संकलक बहुत चालाक विधि हमेशा 5 वापस आ जाएगी साकार करने के लिए होना चाहिए। लेकिन अगर यह false में बदल गया है, तो कोड अब मान्य नहीं है।

विधि एक स्रोत कोड परिवर्तन बिना विधि के माध्यम से सभी रास्ते के लिए मान्य होना चाहिए, के अनुकूलन compilers ध्वज के मूल्य की परवाह किए बिना स्रोत संशोधनों के बिना बाईटकोड छोड़ करने की इजाजत दी।

very end of the linked JLS section महत्वपूर्ण विवरण में जाता है।

Answer 2

कारण है कि संकलक शिकायत कर रहा है, Section 14.21 of the Java Language Specification से इस महत्वपूर्ण बिंदु के साथ क्या करना है नहीं पहुंचा जा सकता बयान पर चर्चा:

while, do की विशेष उपचार के अलावा, और for बयान जिसका हालत अभिव्यक्ति निरंतर है मूल्य true, अभिव्यक्ति के मूल्य प्रवाह विश्लेषण में ध्यान में नहीं रखा जाता है।

ध्यान दें कि ifनहीं बयान true लगातार स्थिति का विशेष हैंडलिंग है में से एक है। इस विशेष हैंडलिंग से इसे बाहर करने का कारण if को सशर्त संकलन के रूप में उपयोग करने की अनुमति देना है, क्योंकि डेव न्यूटन ने अपने जवाब में बताया।