अपरिभाषित व्यवहार, या: स्विफ्ट में अनुक्रम बिंदु हैं?

Question

सी/C++ में,

int i = 0; 
int j = i++ + i++ + ++i; 

में दूसरा बयान है, दोनों

• अनिर्दिष्ट व्यवहार आह्वान क्योंकि ऑपरेंड के मूल्यांकन के आदेश अनिर्दिष्ट है, और
• अपरिभाषित व्यवहार , क्योंकि एक ही ऑब्जेक्ट पर दुष्प्रभाव i एक-दूसरे के सापेक्ष अपरिचित हैं।

उदाहरण

• Why are these constructs (using ++) undefined behavior?
• Undefined behavior and sequence points

अब के लिए देखें, यह देखते हुए कि स्विफ्ट एक सुरक्षित भाषा के रूप में डिजाइन किया गया था, क्या इसी स्थिति यहाँ है?

var i = 0 
let j = i++ + i++ + ++i 

का परिणाम अच्छी तरह से परिभाषित है? क्या स्विफ्ट पुस्तक में j == 4 में भाषा संदर्भ से निष्कर्ष निकाला जा सकता है?

Answer 1

सवाल एप्पल डेवलपर और स्विफ्ट डिजाइनर एप्पल डेवलपर फोरम https://forums.developer.apple.com/thread/20001#63783 में क्रिस Lattner द्वारा उत्तर दिया गया था:

हां, यह अभिव्यक्ति का परिणाम हमेशा 4. स्विफ्ट भाव बाएं से दाएं मूल्यांकन करता है हो जाएगा, यह अपरिभाषित नहीं है या कार्यान्वयन सी की तरह व्यवहार परिभाषित

क्रिस भी कहा:

कहा, अगर आप इस तरह कोड लिखने, किसी ने इसे बनाए रखने की कोशिश कर रहा शायद

सहमत बहुत आप के साथ खुश नहीं होगा! यह समस्या का प्रदर्शन करने के लिए एक चरम उदाहरण के रूप में था।