C++ एसटीएल नक्शा :: ऑपरेटर [] एक प्रवेश पर किया हटाया जा रहा

Question

std::map<int,int> bar; 

int foo(int key) 
{ 
    bar.erase(key); 
    return 1; 
}  

int main() 
{ 
    bar[0] = foo(0); 
    return 0; 
} 

जब बिजली की बाड़ के साथ स्मृति के उपयोग की जाँच जीसीसी 4.8 SEGS गलती के साथ संकलित इस कोड।

LD_PRELOAD=libefence.so.0.0 ./a.out 

समस्या तथ्य यह है कि संकलक, एक कोड मानचित्र में एक नई प्रविष्टि आवंटित करने के लिए शुरू होता है कि उत्पन्न करता है तो foo() कार्यान्वित bar[0] में लाना मूल्य प्राप्त करने से आता है। foo() चलाते समय, प्रविष्टि नष्ट हो जाती है और कोड अंततः गैर-आवंटित स्मृति में लिखकर समाप्त होता है।

क्या ऑपरेशन के आदेश के तरीके को संकलक कार्यान्वयन पर निर्भर करता है, या यह सी ++ वर्तमान मानक द्वारा निर्दिष्ट है?

Answer 1

मानक (§1.9 15) यह बताता है कि एक द्विआधारी ऑपरेटर के लिए दो ऑपरेंड के मूल्यांकन unsequenced है (जब तक कुछ विशिष्ट मामलों में):

अपवाद का उल्लेख नहीं, अलग-अलग ऑपरेटरों की ऑपरेंड के मूल्यांकन और व्यक्तिगत अभिव्यक्तियों के उप-अभिव्यक्तियों का अपवाद नहीं है।

इसका मतलब यह है कि यह जनादेश नहीं है कि काम आपरेशन के एक तरफ अन्य से पहले मूल्यांकन किया जाता है, और वास्तव में, यह इन unsequenced आपरेशन के आदेश पर निर्भर रहना अपरिभाषित व्यवहार है।

यह आमतौर पर फ़ंक्शन तर्कों के मूल्यांकन के क्रम के लिए भी सच है।

आप दो में अपने असाइनमेंट को तोड़ने की जरूरत है:

int result = foo(0); 
bar[0] = result;