क्यों "एफ = एफ ++" सी में असुरक्षित है?

Question

मैं 'पक्ष प्रभाव' this website से के बारे में पढ़ा:

लेकिन अभी भी क्यों f = f++ असुरक्षित माना समझ में नहीं आता?

किसी व्याख्या कर सकते हैं?

Answer 1

समस्या Sequence Points है। इस अनुसूची में कोई अनुक्रम बिंदु नहीं है, इसलिए कथन के लिए कोई परिभाषित आदेश नहीं है, क्या असाइनमेंट पहले या वृद्धि हो रहा है?

कुछ भी नहीं है कि यह असुरक्षित है कहते हैं, यह सिर्फ अपरिभाषित है, जिसका अर्थ है अलग कार्यान्वयन अलग परिणाम हो सकता है या यह आपके हार्ड ड्राइव फ़ॉर्मेट कर सकते हैं कि ...

Answer 2

x और x++ (या ++x) के भीतर एक ही बयान है का उपयोग करना या तो वेतन वृद्धि x काम करने से पहले, या उस के बाद: सी में अपरिभाषित व्यवहार संकलक जो कुछ भी यह चाहता है करने के लिए स्वतंत्र है। ओलाफुर के कोड लेते हुए यह f == 5 या f == 6 उपज सकता है, अपने संकलक पर निर्भर करता है।

Answer 3

(cleaned up) link आपके द्वारा दी गई पर लेख जवाब देता है। "सी लगभग कोई वादा नहीं करता है कि एक ही अभिव्यक्ति के भीतर एक अनुमानित क्रम में दुष्प्रभाव होंगे।" इसका मतलब है कि आप नहीं जानते कि किस क्रम में = और ++ होगा। यह संकलक निर्भर है।

यदि आप उसी लेख पर sequence points के आलेख में उस आलेख के लिंक का पालन करते हैं, तो आप देखेंगे कि कंपाइलर अनुकूलित कर सकता है कि जब यह रजिस्टरों से वैरिएबल में मूल्यों को वापस लिखता है।

Answer 4

मैं इस संबंध में आर्थर की जवाब समर्थन करते हैं। हालांकि पोस्ट वृद्धिशील ऑपरेटर का कार्यान्वयन i.e f ++ भ्रमित है, इसे असुरक्षित नहीं माना जाता है। यू को पहले समझना चाहिए कि कंपाइलर इसका व्याख्या कैसे करता है। क्या यह वाक्य की समाप्ति (;) या एफ के मूल्य का उपयोग करने के तुरंत बाद सामना करने के बाद एफ बढ़ेगा।

Answer 5

से

standard

6,5 (2) एक अदिश वस्तु पर एक पक्ष प्रभाव एक ही अदिश वस्तु पर या तो एक अलग पक्ष प्रभाव या एक मूल्य गणना एक ही अदिश के मूल्य का उपयोग करने के लिए unsequenced रिश्तेदार है ऑब्जेक्ट, व्यवहार अपरिभाषित है। यदि अभिव्यक्ति के उप-अभिव्यक्तियों के कई स्वीकार्य क्रम हैं, तो व्यवहार किसी भी क्रम में प्रभाव उत्पन्न होने पर अपरिभाषित है। ⁷⁴⁾

74) इस पैरा ऐसे

 
      i = ++i + 1; 
      a[i++] = i; 

के रूप में अपरिभाषित बयान भाव renders

 
      i = i + 1; 
      a[i] = i;