दुष्प्रभाव (कंप्यूटर विज्ञान)

कंप्यूटर विज्ञान में, ऑपरेशन, सबरूटीन या एक्सप्रेशन (प्रोग्रामिंग) को साइड इफेक्ट कहा जाता है यदि यह अपने स्थानीय वातावरण के बाहर कुछ स्टेट (कंप्यूटर विज्ञान) वैरीएबल मान को संशोधित करता है, जिसका अर्थ है कि ऑपरेशन के आह्वानकर्ता को वैल्यू वापस करने के अपने प्राथमिक प्रभाव के अतिरिक्त इसका कोई अवलोकनीय प्रभाव है या नहीं है। उदाहरण के साइड इफेक्ट्स में स्टैटिक लोकल वैरीएबल को संशोधित करना है, जिससे स्थिर स्थानीय वैरीएबल को संशोधित करता है, परिवर्तनीय तर्क को संशोधित करना वैल्यूांकन रणनीति संदर्भ द्वारा कॉल करें, I/O निष्पादित करना या साइड-इफेक्ट्स के साथ अन्य फ़ंक्शन को कॉल करना सम्मिलित है। साइड इफेक्ट्स की उपस्थिति में किसी प्रोग्राम का व्यवहार इतिहास पर निर्भर हो सकता है; अर्थात् वैल्यूांकन का क्रम माध्यम रखता है। किसी फ़ंक्शन को साइड इफेक्ट के साथ समझने और डिबग करने के लिए संदर्भ और उसके संभावित इतिहास के बारे में ज्ञान की आवश्यकता होती है।

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

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

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

रेफेरेंटीएल पारदर्शिता
रेफेरेंटीएल पारदर्शिता के लिए साइड इफेक्ट्स की अनुपस्थिति आवश्यक, किन्तु पर्याप्त नहीं, नियम है। रेफ़रेंशियल पारदर्शिता का अर्थ है कि एक्सप्रेशन (जैसे फ़ंक्शन कॉल) को उसके वैल्यू से परिवर्तित किया जा सकता है। इसके लिए आवश्यक है कि एक्सप्रेशन शुद्ध हो, अर्थात एक्सप्रेशन डेटर्मिनिस्टिक एल्गोरिदम होनी चाहिए (सदैव ही इनपुट के लिए समान वैल्यू (कंप्यूटर विज्ञान) दें) और साइड-इफेक्ट मुक्त होना चाहिए।

अस्थायी साइड इफेक्ट्स
किसी ऑपरेशन को निष्पादित करने में लगने वाले समय के कारण होने वाले साइड इफेक्ट्स को सामान्यतः साइड इफेक्ट्स और रेफेरेंटीएल पारदर्शिता पर विचार करते समय अनदेखा कर दिया जाता है। कुछ स्थिति हैं, जैसे कि हार्डवेयर टाइमिंग या परीक्षण, जहां ऑपरेशन विशेष रूप से उनके अस्थायी साइड इफेक्ट्स के लिए डाले जाते हैं। जैसे कि  या   के लिए इन निर्देशों को पूरा होने में समय लगने के अतिरिक्त स्थिति में कोई परिवर्तन नहीं आता है।

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

निष्क्रिय है क्योंकि  से 3 के दूसरे एप्लिकेशन का सिस्टम स्थिति पर पहले एप्लिकेशन के समान ही प्रभाव पड़ता है: पहले एप्लिकेशन के पश्चात्   पहले से ही 3 पर सेट था और दूसरे एप्लिकेशन के पश्चात् भी यह 3 पर सेट है।

एक शुद्ध कार्य निष्क्रिय है यदि वह निष्क्रियता परिभाषा में निष्क्रिय है। उदाहरण के लिए, निम्नलिखित पायथन प्रोग्राम पर विचार करें:

का दूसरा अनुप्रयोग निष्क्रिय है जो  पहले एप्लिकेशन के -3 के रिटर्न मान पर -3 के पहले एप्लिकेशन के समान मान लौटाता है।

निष्क्रिय है क्योंकि पहले एप्लिकेशन के -3 के रिटर्न मान पर  का दूसरा एप्लिकेशन पहले एप्लिकेशन के -3 के समान मान देता है।

उदाहरण
साइड इफेक्ट व्यवहार का सामान्य प्रदर्शन सी (प्रोग्रामिंग लैंग्वेज) में असाइनमेंट ऑपरेटर का है। असाइनमेंट  एक अभिव्यक्ति है जो   के आर-मान को एल में संग्रहीत करने के साइड इफेक्ट के साथ अभिव्यक्ति   के समान मूल्य का मूल्यांकन करता है।   का मूल्य यह एकाधिक असाइनमेंट की अनुमति देता है:

क्योंकि ऑपरेटर राइट एसोसिएट्स के समान है

यह नोविस प्रोग्रामर के लिए संभावित हैंगअप प्रस्तुत करता है जो अस्पष्ट कर सकता है

साथ

यह भी देखें

 * दूरी पर क्रिया (कंप्यूटर प्रोग्रामिंग)
 * डोंट केयर थर्म
 * अनुक्रम बिंदु
 * साइड-चैनल आक्रमण
 * अपरिभाषित व्यवहार
 * अनिर्दिष्ट व्यवहार