अपवाद सुरक्षा
अपवाद सुरक्षा अपवाद फेंके जाने पर सही ढंग से काम करने वाले कोड की स्थिति है।[1] अपवाद सुरक्षा सुनिश्चित करने में सहायता के लिए, सी ++ मानक पुस्तकालय डेवलपर्स ने अपवाद सुरक्षा स्तरों का एक सेट तैयार किया है, अपवादों के संबंध में डेटा संरचना के संचालन के व्यवहार की संविदात्मक गारंटी। पुस्तकालय कार्यान्वयनकर्ता और ग्राहक इन गारंटियों का उपयोग तब कर सकते हैं जब अपवाद हैंडलिंग शुद्धता के बारे में तर्क करते हैं। अपवाद सुरक्षा स्तर अन्य भाषाओं और त्रुटि प्रबंधन तंत्रों पर समान रूप से लागू होते हैं।[2]
इतिहास
जैसा कि डेविड अब्राहम (कंप्यूटर प्रोग्रामर) लिखते हैं, C ++ के अपवाद होने से पहले किसी ने भी 'त्रुटि-सुरक्षा' की बात नहीं की थी।[3] 1994 में ही यह शब्द ISO/IEC JTC 1/SC 22|JTC1/SC22/WG21, C++ मानक समिति में प्रकाशनों के विषय के रूप में प्रकट हुआ।[4] सी ++ मानक पुस्तकालय के लिए अपवाद सुरक्षा को पहली बार इब्राहीम द्वारा मानक टेम्पलेट लाइब्रेरी के लिए औपचारिक रूप से औपचारिक सुरक्षा/मजबूत सुरक्षा भेद स्थापित किया गया था।[5] इसे बाद के प्रस्ताव में आधुनिक बुनियादी/मजबूत/नोथ्रो गारंटियों तक बढ़ाया गया था।[6]
पृष्ठभूमि
अपवाद गैर-स्थानीय नियंत्रण प्रवाह का एक रूप प्रदान करते हैं, जिसमें एक अपवाद एक फ़ंक्शन से बुलबुला हो सकता है। यह बुदबुदाहट एक परिवर्तनशील डेटा संरचना के इनवेरिएंट्स को निम्नानुसार तोड़कर एक अपवाद सुरक्षा बग का कारण बन सकती है:Cite error: Closing </ref> missing for <ref> tag
- मूल अपवाद सुरक्षा: विफल संचालन के आंशिक निष्पादन के परिणामस्वरूप दुष्प्रभाव हो सकते हैं, लेकिन सभी अपरिवर्तनीय (कंप्यूटर विज्ञान) संरक्षित हैं। किसी भी संग्रहीत डेटा में मान्य मान होंगे जो मूल मानों से भिन्न हो सकते हैं। संसाधन लीक (स्मृति रिसाव सहित) को आमतौर पर एक अपरिवर्तनीय बताते हुए खारिज कर दिया जाता है कि सभी संसाधनों का हिसाब और प्रबंधन किया जाता है।
- कोई अपवाद नहीं सुरक्षा: कोई गारंटी नहीं दी जाती है।
आमतौर पर, मजबूत कोड लिखने के लिए कम से कम बुनियादी अपवाद सुरक्षा की आवश्यकता होती है। सुरक्षा के उच्च स्तर को हासिल करना कभी-कभी मुश्किल हो सकता है, और अतिरिक्त नकल के कारण ओवरहेड हो सकता है। अपवाद सुरक्षा के लिए एक प्रमुख तंत्र है a finally खंड, या इसी तरह के अपवाद हैंडलिंग सिंटैक्स, जो यह सुनिश्चित करते हैं कि अपवादों सहित ब्लॉक से बाहर निकलने पर निश्चित कोड हमेशा चलाया जाता है। कई भाषाओं ने ऐसे निर्माण किए हैं जो इसे सरल बनाते हैं, विशेष रूप से निपटान पैटर्न का उपयोग करते हुए, जिसे नाम दिया गया है using, with, या try-संसाधनों के साथ।
उदाहरण
एक स्मार्ट वेक्टर प्रकार पर विचार करें, जैसे C++'s std::vector या जावा का ArrayList. जब कोई वस्तु x एक वेक्टर में जोड़ा जाता है v, वेक्टर को वास्तव में जोड़ना चाहिए x वस्तुओं की आंतरिक सूची में और एक गिनती फ़ील्ड को अपडेट करें जो बताती है कि कितनी वस्तुएं हैं v. यदि मौजूदा क्षमता पर्याप्त नहीं है तो इसे नई मेमोरी आवंटित करने की भी आवश्यकता हो सकती है।
अपवाद सुरक्षा विकल्प:
नो-थ्रो गारंटी: यह सुनिश्चित करके कार्यान्वित किया जाता है कि स्मृति आवंटन कभी विफल नहीं होता है, या इसे परिभाषित करके insert आवंटन विफलता पर फ़ंक्शन का व्यवहार (उदाहरण के लिए, फ़ंक्शन द्वारा एक बूलियन परिणाम लौटाने से संकेत मिलता है कि सम्मिलन हुआ है या नहीं)।
- मजबूत अपवाद सुरक्षा
- किसी भी आवश्यक आवंटन को पहले करके कार्यान्वित किया जाता है, और फिर कोई त्रुटि नहीं होने पर बफ़र्स की अदला-बदली की जाती है ( :wikibooks:More C++ Idioms/Copy-and-swap|copy-and-swap मुहावरा)। इस मामले में, या तो का सम्मिलन
xमेंvसफल होता है, याvआवंटन विफल होने के बावजूद अपरिवर्तित रहता है। - बुनियादी अपवाद सुरक्षा
- यह सुनिश्चित करके कार्यान्वित किया जाता है कि गणना फ़ील्ड के अंतिम आकार को प्रतिबिंबित करने की गारंटी है
v. उदाहरण के लिए, यदि कोई त्रुटि सामने आती है, तोinsertसमारोह पूरी तरह से हटा सकता हैvऔर इसकी गिनती फ़ील्ड को शून्य पर रीसेट करें। विफल होने पर, कोई संसाधन लीक नहीं होते हैं, लेकिनvका पुराना मान संरक्षित नहीं है। - कोई अपवाद सुरक्षा नहीं
- एक सम्मिलन विफलता से दूषित सामग्री हो सकती है
v, गिनती फ़ील्ड में गलत मान या संसाधन रिसाव।
संदर्भ
- ↑ Crichton, Alex (24 July 2015). "Rust RFC: Stabilize catch_panic". The Rust Programming Language. Retrieved 26 May 2022.
Code is exception safe if it works correctly even when the functions it calls into throw exceptions.
- ↑ Lau, Ron (10 November 2020). "Exception safety in JS world". Medium (in English).
- ↑ Dave Abrahams (2000). Exception-Safety in Generic Components. Generic Programming. Lecture Notes in Computer Science. Vol. 1766. Springer. pp. 69–79. doi:10.1007/3-540-39953-4_6. ISBN 978-3-540-41090-4. Retrieved 2008-08-29.
- ↑ Colvin, Gregory (1994). "Exception Safe Exceptions" (PDF). C++ Standards Committee Papers. Retrieved 17 December 2021.
- ↑ Abrahams, David. "STLport: Exception Handling". www.stlport.org. Retrieved 17 December 2021.
- ↑ Abrahams, Dave; Colvin, Greg. "Making the C++ Standard Library Exception Safe" (PDF). C++ Standards Committee Papers. Retrieved 17 December 2021.
Cite error: <ref> tag with name "Stroustrup" defined in <references> is not used in prior text.
बाहरी संबंध
- Herb Sutter: Exceptional C++: 47 Engineering Puzzles, Programming Problems, and Solutions, 2000
- Jon Kalb: Exception-Safe Coding in C++, with C++Now! 2012 presentations on exception safety.
- Related discussion on Stackoverflow: C++: do you (really) write exception safe code
