कैसे 'if (A && B)' कथन का मूल्यांकन किया जाता है?

Question

if((A) && (B)) 
{ 
    //do something 
} 
else 
    //do something else 

सवाल यह है कि अगर कोई गलत था तो बयान तत्काल तोड़ देगा। क्या बी भी मूल्यांकन किया जाएगा?

मैं इस मामले में यह पूछता हूं कि बी सरणी इंडेक्स की वैधता की जांच करता है [0] जब सरणी वास्तव में खाली होती है और शून्य तत्व होते हैं। इसलिए एक segfault फेंकना क्योंकि हम सरणी की सीमा से बाहर कुछ ऐसा करने की कोशिश कर रहे हैं। विशेष रूप से

if((array.GetElements() > 0) && (array[0])) 
    array[0]->doSomething(); 
else 
    //do nothing and return 

यह खतरनाक है, तो सरणी [0] वास्तव में मूल्यांकित किया जाता है, क्योंकि यह की '& &' बाईं ओर पहला चेक बिना segfaults हो सकता है। प्राथमिकता मुझे बताती है कि बायीं ओर निश्चित रूप से प्राथमिकता ले ली जाएगी, लेकिन यह मुझे नहीं बताती है कि बाएं गलत होने पर यह सही पक्ष का मूल्यांकन नहीं करेगा।

Answer 1

सी और सी ++ में, && और || ऑपरेटर "शॉर्ट-सर्किट"। इसका मतलब है कि यदि आवश्यक हो तो वे केवल पैरामीटर का मूल्यांकन करते हैं। यदि && पर पहला पैरामीटर गलत है, या पहले || सत्य है, तो बाकी का मूल्यांकन नहीं किया जाएगा।

आपके द्वारा पोस्ट किया गया कोड सुरक्षित है, हालांकि मैं सवाल करता हूं कि आप खाली else ब्लॉक क्यों शामिल करेंगे।

Answer 2

हाँ, अगर ((ए) & & (बी)) पहले खंड पर विफल हो जाएगा, अगर (ए) झूठे मूल्यांकन करता है।

यह किसी भी भाषा बीटीडब्ल्यू पर लागू होता है, न केवल सी डेरिवेटिव्स। थ्रेडेड और समांतर प्रसंस्करण के लिए यह एक अलग कहानी है;)

Answer 3

आप && ऑपरेटर के बारे में पूछ रहे हैं, if कथन नहीं।

&&short-circuits, जिसका अर्थ है कि यदि काम करते समय यह एक शर्त को पूरा करता है जिसके परिणामस्वरूप केवल एक ही जवाब होता है, तो यह काम करना बंद कर देगा और उस उत्तर का उपयोग करेगा।

तो, 0 && x0 निष्पादित करेंगे, तो समाप्त अभिव्यक्ति क्या && को दूसरा पैरामीटर है की परवाह किए बिना गैर शून्य का मूल्यांकन करने के लिए कोई रास्ता नहीं है क्योंकि वहाँ।

Answer 4

हां, इसे Short-circuit Evaluation कहा जाता है।

यदि बयान के विवरण के बाद बुलियन कथन की वैधता आश्वस्त की जा सकती है, तो बाकी का मूल्यांकन नहीं किया जाता है।

यह बहुत महत्वपूर्ण है जब कुछ बयानों के दुष्प्रभाव होते हैं।