C ++ में अपरिभाषित व्यवहार

वह स्थिति जब C ++ कोड वाक्यात्मक रूप से मान्य होता है, लेकिन इसके व्यवहार को मानक में परिभाषित नहीं किया जाता है, अक्सर इसे रूसी भाषा के साहित्य में अपरिभाषित व्यवहार कहा जाता है। मानक में ही, ऐसी स्थितियों के लिए 3 शर्तें हैं: अपरिभाषित व्यवहार , अनिर्दिष्ट व्यवहार और कार्यान्वयन-परिभाषित व्यवहार । इस छोटे नोट में हम समझेंगे कि वे कैसे भिन्न हैं।

कार्यान्वयन-परिभाषित व्यवहार

यह शब्द उन स्थितियों का वर्णन करने के लिए उपयोग किया जाता है जब C ++ कोड पूरी तरह से मान्य होता है, लेकिन इसका व्यवहार कार्यान्वयन (उदाहरण के लिए, कंपाइलर या रनटाइम) पर निर्भर करता है, और यह व्यवहार प्रलेखित है । उदाहरण के लिए, एक संकेतक या इंट प्रकार के बाइट्स में आकार विशेष कार्यान्वयन या कंपाइलर सेटिंग्स पर निर्भर करता है, लेकिन यह प्रलेखन में वर्णित है, और आप इस प्रलेखन पर भरोसा कर सकते हैं।

अनिर्दिष्ट व्यवहार

शब्द का अर्थ है कि मान्य C ++ कोड का व्यवहार मानक द्वारा परिभाषित नहीं है और कार्यान्वयन, इसके अलावा, यह प्रलेखित है (कम से कम आधिकारिक रूप से)। उदाहरण: फ़ंक्शन तर्कों के मूल्यों की गणना करने की प्रक्रिया संकलक द्वारा निर्धारित की जाती है, लेकिन इसका कोई विवरण नहीं है। मानक हमें बताता है: ये व्यवहार की विशेषताएं हैं जो कहीं भी तय नहीं हैं, इसलिए, आप उन पर भरोसा नहीं कर सकते। इसलिए, आपके कोड का व्यवहार इन सुविधाओं पर निर्भर नहीं होना चाहिए।

अपरिभाषित व्यवहार

यह अनिश्चितता का सबसे खतरनाक संस्करण है। मानक में, यह व्यवहार का वर्णन करने के लिए उपयोग किया जाता है जो पूरी तरह से अप्रत्याशित परिणाम पैदा कर सकता है। सबसे हड़ताली उदाहरण एक सरणी की सीमाओं तक पहुंच रहे हैं या एक सूचक को एक मुक्त वस्तु पर डिफायरिंग कर रहे हैं। सबसे बुरी बात यह है कि कार्यक्रम को तुरंत समाप्त नहीं करना है या किसी भी प्रकार की त्रुटि भी उत्पन्न करनी है, हालांकि, इसके व्यवहार पर अब भरोसा नहीं किया जा सकता है।

अंत में, मैं आपको एक बार फिर याद दिलाता हूं कि उपरोक्त सभी शब्द वाक्यविन्यास रूप से मान्य कोड का उल्लेख करते हैं जिसे सफलतापूर्वक संकलित किया जाएगा (हालांकि, संकलनकर्ता अक्सर अपरिभाषित व्यवहार के सबसे स्पष्ट मामलों के लिए चेतावनी देते हैं )। मानक के दृष्टिकोण से अमान्य कोड को एक बीमार-निर्मित कार्यक्रम कहा जाता है।