है `* - में p` वास्तव में कानूनी (अच्छी तरह का गठन) सी ++ 03

Question

मैं कोड के इस नमूना टुकड़े के बारे में सोच रहा हूँ:

int main() 
{ 
    char *p ; 
    char arr[100] = "Hello"; 
    if ((p=arr)[0] == 'H') // do stuffs 
} 

इस कोड को वास्तव में अच्छी तरह से सी ++ 03 में गठन किया गया है ?

मेरे तर्क यह है कि = के पक्ष प्रभाव केवल अगले अनुक्रम बिंदु के बाद पूरा हो गया है और तब से हम कोड अच्छी तरह से गठन नहीं किया जा सकता है p=arr का परिणाम तक पहुँच रहे हैं, वहाँ = और [] संचालन के बीच कोई आदेश है।

क्या मैं सही हूँ?

व्यवहार सी और सी ++ 11 में अच्छी तरह से परिभाषित किया गया है। यह कोड वास्तव में MySQL से लिया गया है।

Answer 1

बेशक यह अच्छी तरह से परिभाषित है।

इससे कोई फर्क नहीं पड़ता कि असाइनमेंट p=arr कब होता है। आप p[0] का मूल्यांकन नहीं कर रहे हैं, आप (p=arr) के परिणाम को सब्सक्राइब कर रहे हैं, जो पॉइंटर मान है जिसे p में संग्रहीत किया जा रहा है। चाहे इसे संग्रहीत किया गया हो या नहीं, फिर भी मूल्य नहीं बदलता है, और मूल्य p को अभी तक संशोधित किया गया है या नहीं, भले ही मूल्य ज्ञात हो।

इसी प्रकार, *--p में, कोई अपरिभाषित व्यवहार नहीं है। अनुक्रम बिंदुओं के बीच कम से कम एक लिख सहित, एक ही चर को दो बार एक्सेस किया गया था, तो केवल अपरिभाषित व्यवहार होगा। लेकिन p को केवल --p के हिस्से के रूप में उपयोग किया जाता है। इसे फिर से नहीं पढ़ा जाता है (*p), dereferencing ऑपरेटर --p के परिणाम पर लागू होता है जो एक अच्छी तरह से परिभाषित सूचक मान है। ,

void* a; 
void* p = &a; 
reinterpret_cast<void**>(p = &p)[0] = 0; 

होगा के रूप में

int *pi = new int[5]; 
int i = **&++pi; 

---

यह स्पष्ट किया जाना चाहिए कि एक preincrement का परिणाम एक पढ़ा लिखने के साथ अव्यवस्थित नहीं है:

अब, यह अपरिभाषित व्यवहार किया जाएगा क्योंकि यह कहने के लिए कि एक दौड़ है कि ++p कभी भी एक रावल्यू के रूप में उपयोग नहीं किया जा सकता है, इस मामले में इसे अनुक्रम बिंदुओं के बीच अकेले खड़े रहना चाहिए, और बाद में वृद्धि के लिए इंस्टी का उपयोग किया जा सकता है विज्ञापन। भाषा में पूर्व वृद्धि और वृद्धि के बाद दोनों का कोई फायदा नहीं होगा।