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

From Vigyanwiki
(Created page with "{{short description|Of a function, an additional effect besides returning a value}} {{use dmy dates|date=December 2021|cs1-dates=y}} {{use list-defined references|date=August...")
 
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{short description|Of a function, an additional effect besides returning a value}}
{{short description|Of a function, an additional effect besides returning a value}}
{{use dmy dates|date=December 2021|cs1-dates=y}}
{{use list-defined references|date=August 2022}}
{{redir|Hidden side effect|similar uses|hidden variable (disambiguation)}}
[[कंप्यूटर विज्ञान]] में, एक ऑपरेशन, [[सबरूटीन]] या [[अभिव्यक्ति (प्रोग्रामिंग)]] को एक साइड इफेक्ट कहा जाता है यदि यह अपने स्थानीय वातावरण के बाहर कुछ [[राज्य (कंप्यूटर विज्ञान)]] चर मान को संशोधित करता है, जिसका अर्थ है कि ऑपरेशन के आह्वानकर्ता को मूल्य वापस करने के अपने प्राथमिक प्रभाव के अलावा इसका कोई अवलोकनीय प्रभाव है या नहीं। उदाहरण के साइड इफेक्ट्स में एक [[गैर-स्थानीय चर]] को संशोधित करना, एक स्थिर स्थानीय चर को संशोधित करना, एक परिवर्तनीय तर्क को संशोधित करना Evaluation_strategy#Call by reference, I/O निष्पादित करना या साइड-इफेक्ट्स के साथ अन्य फ़ंक्शन को कॉल करना शामिल है।<ref name="Spuler-Sajeev_1994"/>दुष्प्रभावों की उपस्थिति में, किसी प्रोग्राम का व्यवहार इतिहास पर निर्भर हो सकता है; अर्थात् मूल्यांकन का क्रम मायने रखता है। किसी फ़ंक्शन को साइड इफेक्ट के साथ समझने और डिबग करने के लिए संदर्भ और उसके संभावित इतिहास के बारे में ज्ञान की आवश्यकता होती है।<ref name="Hughes_1990"/><ref name="Collberg_2005"/>


साइड इफेक्ट्स [[प्रोग्रामिंग भाषा]]ओं के डिजाइन और विश्लेषण में महत्वपूर्ण भूमिका निभाते हैं। किस हद तक दुष्प्रभाव का उपयोग किया जाता है यह प्रोग्रामिंग प्रतिमान पर निर्भर करता है। उदाहरण के लिए, किसी सिस्टम की स्थिति को अपडेट करने के लिए [[अनिवार्य प्रोग्रामिंग]] का उपयोग आमतौर पर साइड इफेक्ट उत्पन्न करने के लिए किया जाता है। इसके विपरीत, [[घोषणात्मक प्रोग्रामिंग]] का उपयोग आमतौर पर बिना किसी दुष्प्रभाव के सिस्टम की स्थिति पर रिपोर्ट करने के लिए किया जाता है।
{{redir|हिडेन साइड इफ़ेक्ट|समान उपयोग|हिडेन वैरीएबल (बहुविकल्पी)}}
[[कंप्यूटर विज्ञान]] में, ऑपरेशन, [[सबरूटीन]] या [[अभिव्यक्ति (प्रोग्रामिंग)|एक्सप्रेशन (प्रोग्रामिंग)]] को '''साइड इफ़ेक्ट (कंप्यूटर साइंस)''' कहा जाता है यदि यह अपने स्थानीय वातावरण के बाहर कुछ [[राज्य (कंप्यूटर विज्ञान)|स्टेट (कंप्यूटर विज्ञान)]] वैरीएबल मान को संशोधित करता है, जिसका अर्थ है कि ऑपरेशन के आह्वानकर्ता को वैल्यू वापस करने के अपने प्राथमिक प्रभाव के अतिरिक्त इसका कोई अवलोकनीय प्रभाव है या नहीं है। उदाहरण के साइड इफेक्ट्स में [[गैर-स्थानीय चर|स्टैटिक लोकल वैरीएबल]] को संशोधित करना है, जिससे स्थिर स्थानीय वैरीएबल को संशोधित करता है, परिवर्तनीय तर्क को संशोधित करना वैल्यूांकन रणनीति संदर्भ द्वारा कॉल करें, I/O निष्पादित करना या साइड-इफेक्ट्स के साथ अन्य फ़ंक्शन को कॉल करना सम्मिलित है।<ref name="Spuler-Sajeev_1994"/> साइड इफेक्ट्स की उपस्थिति में किसी प्रोग्राम का व्यवहार इतिहास पर निर्भर हो सकता है; अर्थात् वैल्यूांकन का क्रम माध्यम रखता है। किसी फ़ंक्शन को साइड इफेक्ट के साथ समझने और डिबग करने के लिए संदर्भ और उसके संभावित इतिहास के बारे में ज्ञान की आवश्यकता होती है।<ref name="Hughes_1990"/><ref name="Collberg_2005"/>


[[कार्यात्मक प्रोग्रामिंग]] का उद्देश्य दुष्प्रभावों को कम करना या समाप्त करना है। साइड इफेक्ट्स की कमी से किसी प्रोग्राम का [[औपचारिक सत्यापन]] करना आसान हो जाता है। कार्यात्मक भाषा [[हास्केल (प्रोग्रामिंग भाषा)]] इनपुट/आउटपुट|आई/ओ और अन्य स्टेटफुल संगणनाओं जैसे दुष्प्रभावों को [[मोनाड (कार्यात्मक प्रोग्रामिंग)]] क्रियाओं से प्रतिस्थापित करके समाप्त कर देती है।<ref name="Haskell_1998"/><ref name="Jones-Wadler_1993"/>[[मानक एमएल]], स्कीम (प्रोग्रामिंग भाषा) और [[स्काला (प्रोग्रामिंग भाषा)]] जैसी कार्यात्मक भाषाएं दुष्प्रभावों को प्रतिबंधित नहीं करती हैं, लेकिन प्रोग्रामर के लिए उनसे बचना प्रथागत है।<ref name="Felleisen_2014"/>
साइड इफेक्ट्स [[प्रोग्रामिंग भाषा|प्रोग्रामिंग]] लैंग्वेज के डिजाइन और विश्लेषण में महत्वपूर्ण भूमिका निभाते हैं। किस सीमा तक साइड इफेक्ट्स का उपयोग किया जाता है यह प्रोग्रामिंग प्रतिमान पर निर्भर करता है। उदाहरण के लिए, किसी सिस्टम की स्थिति को अपडेट करने के लिए [[अनिवार्य प्रोग्रामिंग|इम्पेरेटिव प्रोग्रामिंग]] का उपयोग सामान्यतः साइड इफेक्ट उत्पन्न करने के लिए किया जाता है। इसके विपरीत, [[घोषणात्मक प्रोग्रामिंग|डेक्लारेटिव प्रोग्रामिंग]] का उपयोग सामान्यतः बिना किसी साइड इफेक्ट्स के सिस्टम की स्थिति पर रिपोर्ट करने के लिए किया जाता है।


असेंबली भाषा प्रोग्रामर को छिपे हुए साइड इफेक्ट्स के बारे में पता होना चाहिए - निर्देश जो प्रोसेसर स्थिति के कुछ हिस्सों को संशोधित करते हैं जिनका निर्देश के निमोनिक में उल्लेख नहीं किया गया है। छिपे हुए साइड इफेक्ट का एक उत्कृष्ट उदाहरण एक अंकगणितीय निर्देश है जो [[स्थिति रजिस्टर]] (एक छिपा हुआ साइड इफेक्ट) को स्पष्ट रूप से संशोधित करता है जबकि यह स्पष्ट रूप से [[प्रोसेसर रजिस्टर]] (इच्छित प्रभाव) को संशोधित करता है। छिपे हुए साइड इफेक्ट्स वाले निर्देश सेट का एक संभावित दोष यह है कि, यदि कई निर्देशों का राज्य के एक टुकड़े पर साइड इफेक्ट होता है, जैसे कि स्थिति कोड, तो उस राज्य को क्रमिक रूप से अपडेट करने के लिए आवश्यक तर्क एक प्रदर्शन बाधा बन सकता है। निर्देश पाइपलाइन (1990 से) या [[आउट-ऑफ़-ऑर्डर निष्पादन]] के साथ डिज़ाइन किए गए कुछ प्रोसेसर पर समस्या विशेष रूप से गंभीर है। ऐसे प्रोसेसर को छिपे हुए दुष्प्रभावों का पता लगाने और पाइपलाइन को रोकने के लिए अतिरिक्त नियंत्रण सर्किटरी की आवश्यकता हो सकती है यदि अगला निर्देश उन प्रभावों के परिणामों पर निर्भर करता है।
[[कार्यात्मक प्रोग्रामिंग|फंक्शनल प्रोग्रामिंग]] का उद्देश्य साइड इफेक्ट्स को कम करना या समाप्त करना है। साइड इफेक्ट्स की कमी से किसी प्रोग्राम का [[औपचारिक सत्यापन|फार्मल सत्यापन]] करना सरल हो जाता है। फंक्शनल लैंग्वेज [[हास्केल (प्रोग्रामिंग भाषा)|हास्केल (प्रोग्रामिंग लैंग्वेज)]] इनपुट/आउटपुट या आई/ओ और अन्य स्टेटफुल संगणनाओं जैसे साइड इफेक्ट्स को [[मोनाड (कार्यात्मक प्रोग्रामिंग)|मोनाड (फंक्शनल प्रोग्रामिंग)]] क्रियाओं से प्रतिस्थापित करके समाप्त कर देती है।<ref name="Haskell_1998"/><ref name="Jones-Wadler_1993"/> [[मानक एमएल]], स्कीम (प्रोग्रामिंग लैंग्वेज) और [[स्काला (प्रोग्रामिंग भाषा)|स्काला (प्रोग्रामिंग लैंग्वेज)]] जैसी फंक्शनल लैंग्वेजएं साइड इफेक्ट्स को प्रतिबंधित नहीं करती हैं, किन्तु प्रोग्रामर के लिए उनसे सुरक्षित होना प्रथागत है।<ref name="Felleisen_2014"/>


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


== अस्थायी दुष्प्रभाव ==
== रेफेरेंटीएल पारदर्शिता ==
किसी ऑपरेशन को निष्पादित करने में लगने वाले समय के कारण होने वाले दुष्प्रभावों को आमतौर पर साइड इफेक्ट्स और संदर्भात्मक पारदर्शिता पर चर्चा करते समय नजरअंदाज कर दिया जाता है। कुछ मामले हैं, जैसे कि हार्डवेयर टाइमिंग या परीक्षण, जहां ऑपरेशन विशेष रूप से उनके अस्थायी दुष्प्रभावों के लिए डाले जाते हैं। <code>sleep(5000)</code> या <code>for (int i = 0; i < 10000; ++i) {}</code>. इन निर्देशों को पूरा होने में समय लगने के अलावा स्थिति में कोई बदलाव नहीं आता है।
{{Main|रेफेरेंटीएल पारदर्शिता}}
 
रेफेरेंटीएल पारदर्शिता के लिए साइड इफेक्ट्स की अनुपस्थिति आवश्यक, किन्तु पर्याप्त नहीं, नियम है। रेफ़रेंशियल पारदर्शिता का अर्थ है कि एक्सप्रेशन (जैसे फ़ंक्शन कॉल) को उसके वैल्यू से परिवर्तित किया जा सकता है। इसके लिए आवश्यक है कि एक्सप्रेशन [[शुद्ध कार्य|शुद्ध]] हो, अर्थात एक्सप्रेशन डेटर्मिनिस्टिक एल्गोरिदम होनी चाहिए (सदैव ही इनपुट के लिए समान [[मूल्य (कंप्यूटर विज्ञान)|वैल्यू (कंप्यूटर विज्ञान)]] दें) और साइड-इफेक्ट मुक्त होना चाहिए।
 
== अस्थायी साइड इफेक्ट्स ==
किसी ऑपरेशन को निष्पादित करने में लगने वाले समय के कारण होने वाले साइड इफेक्ट्स को सामान्यतः साइड इफेक्ट्स और रेफेरेंटीएल पारदर्शिता पर विचार करते समय अनदेखा कर दिया जाता है। कुछ स्थिति हैं, जैसे कि हार्डवेयर टाइमिंग या परीक्षण, जहां ऑपरेशन विशेष रूप से उनके अस्थायी साइड इफेक्ट्स के लिए डाले जाते हैं। जैसे कि <code>sleep(5000)</code> या <code>for (int i = 0; i < 10000; ++i) {}</code> के लिए इन निर्देशों को पूरा होने में समय लगने के अतिरिक्त स्थिति में कोई परिवर्तन नहीं आता है।


==निष्क्रियता ==
==निष्क्रियता ==
{{Main|Idempotence#Computer science meaning}}
{{Main|निष्क्रियता#कंप्यूटर विज्ञान का अर्थ}}
साइड इफेक्ट वाला एक सबरूटीन निष्क्रिय है यदि सबरूटीन के कई अनुप्रयोगों का सिस्टम स्थिति पर एक ही अनुप्रयोग के समान प्रभाव पड़ता है, दूसरे शब्दों में यदि सबरूटीन के साथ जुड़े सिस्टम स्टेट स्पेस से फ़ंक्शन Idempotence#Definition में निष्क्रिय है। उदाहरण के लिए, निम्नलिखित [[पायथन (प्रोग्रामिंग भाषा)]] प्रोग्राम पर विचार करें:
 
साइड इफेक्ट वाला सबरूटीन निष्क्रिय है यदि सबरूटीन के विभिन्न अनुप्रयोगों का सिस्टम स्थिति पर ही अनुप्रयोग के समान प्रभाव पड़ता है, दूसरे शब्दों में यदि सबरूटीन के साथ जुड़े सिस्टम स्टेट स्पेस से फ़ंक्शन निष्क्रियता की परिभाषा में निष्क्रिय है। उदाहरण के लिए, निम्नलिखित [[पायथन (प्रोग्रामिंग भाषा)|पायथन (प्रोग्रामिंग लैंग्वेज)]] प्रोग्राम पर विचार करें:


<syntaxhighlight lang="python">
<syntaxhighlight lang="python">
Line 35: Line 36:
</syntaxhighlight>
</syntaxhighlight>


<code>setx</code> का दूसरा अनुप्रयोग निष्क्रिय है <code>setx</code> से 3 का सिस्टम स्थिति पर पहले एप्लिकेशन के समान ही प्रभाव पड़ता है: <code>x</code> पहले एप्लिकेशन के बाद पहले से ही 3 पर सेट था, और दूसरे एप्लिकेशन के बाद भी यह अभी भी 3 पर सेट है।
<code>setx</code> निष्क्रिय है क्योंकि <code>setx</code> से 3 के दूसरे एप्लिकेशन का सिस्टम स्थिति पर पहले एप्लिकेशन के समान ही प्रभाव पड़ता है: पहले एप्लिकेशन के पश्चात् <code>x</code> पहले से ही 3 पर सेट था और दूसरे एप्लिकेशन के पश्चात् भी यह 3 पर सेट है।


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


<syntaxhighlight lang="python">
<syntaxhighlight lang="python">
Line 45: Line 46:
assert abs(abs(-3)) == abs(-3)
assert abs(abs(-3)) == abs(-3)
</syntaxhighlight>
</syntaxhighlight>
<code>abs</code> का दूसरा अनुप्रयोग निष्क्रिय है जो <code>bs</code> पहले एप्लिकेशन के -3 के रिटर्न मान पर -3 के पहले एप्लिकेशन के समान मान लौटाता है।


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


== उदाहरण ==
== उदाहरण ==
साइड इफेक्ट व्यवहार का एक सामान्य प्रदर्शन [[सी (प्रोग्रामिंग भाषा)]] में [[असाइनमेंट ऑपरेटर]] का है। सौंपा गया काम <code>a = b</code> एक अभिव्यक्ति है जो अभिव्यक्ति के समान मूल्य का मूल्यांकन करती है <code>b</code>(कंप्यूटर विज्ञान)#lrvalue|R-मूल्य को संग्रहीत करने के दुष्प्रभाव के साथ <code>b</code> के मान (कंप्यूटर विज्ञान)#lrvalue|L-मान में <code>a</code>. यह एकाधिक असाइनमेंट की अनुमति देता है:
साइड इफेक्ट व्यवहार का सामान्य प्रदर्शन [[सी (प्रोग्रामिंग भाषा)|C (प्रोग्रामिंग लैंग्वेज)]] में [[असाइनमेंट ऑपरेटर]] का है। असाइनमेंट <code>a = b</code> एक अभिव्यक्ति है जो <code>b</code> के R-मान को L-मान में संग्रहीत करने के साइड इफेक्ट के साथ अभिव्यक्ति <code>b</code> के समान मूल्य का मूल्यांकन करता है। जहाँ <code>a</code> का मूल्य यह एकाधिक असाइनमेंट की अनुमति देता है:


<syntaxhighlight lang="c">
<syntaxhighlight lang="c">
a = (b = 3);  // b = 3 evaluates to 3, which then gets assigned to a
a = (b = 3);  // b = 3 evaluates to 3, which then gets assigned to a
</syntaxhighlight>
</syntaxhighlight>
क्योंकि ऑपरेटर ऑपरेटर सहयोगीता#असाइनमेंट ऑपरेटरों की सही-सहयोगिता, यह के बराबर है
क्योंकि ऑपरेटर राइट एसोसिएट्स के समान है


<syntaxhighlight lang="c">
<syntaxhighlight lang="c">
a = b = 3;
a = b = 3;
</syntaxhighlight>
</syntaxhighlight>
यह नौसिखिया प्रोग्रामर के लिए एक संभावित हैंगअप प्रस्तुत करता है जो भ्रमित कर सकता है
यह नोविस प्रोग्रामर के लिए संभावित हैंगअप प्रस्तुत करता है जो अस्पष्ट कर सकता है


<syntaxhighlight lang="c">
<syntaxhighlight lang="c">
Line 69: Line 71:
while (b = 3) {}  // b = 3 evaluates to 3, which then casts to true so the loop is infinite
while (b = 3) {}  // b = 3 evaluates to 3, which then casts to true so the loop is infinite
</syntaxhighlight>
</syntaxhighlight>
== यह भी देखें ==
== यह भी देखें ==
* [[दूरी पर कार्रवाई (कंप्यूटर प्रोग्रामिंग)]]
* [[दूरी पर कार्रवाई (कंप्यूटर प्रोग्रामिंग)|दूरी पर क्रिया (कंप्यूटर प्रोग्रामिंग)]]
*परवाह न करें शब्द
*डोंट केयर थर्म
* [[अनुक्रम बिंदु]]
* [[अनुक्रम बिंदु]]
* [[साइड-चैनल हमला]]
* [[साइड-चैनल हमला|साइड-चैनल आक्रमण]]
* [[अपरिभाषित व्यवहार]]
* [[अपरिभाषित व्यवहार]]
* [[अनिर्दिष्ट व्यवहार]]
* [[अनिर्दिष्ट व्यवहार]]
Line 88: Line 88:
<ref name="Jones-Wadler_1993">{{cite conference |title=Imperative Functional Programming |author-first1=Simon Peyton |author-last1=Jones |author-first2=Phil |author-last2=Wadler |conference=Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages |pages=71–84 |date=1993}}</ref>
<ref name="Jones-Wadler_1993">{{cite conference |title=Imperative Functional Programming |author-first1=Simon Peyton |author-last1=Jones |author-first2=Phil |author-last2=Wadler |conference=Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages |pages=71–84 |date=1993}}</ref>
}}
}}
{{Program analysis}}
{{DEFAULTSORT:Side Effect (Computer Science)}}[[Category: कंप्यूटर प्रोग्रामिंग]] [[Category: प्रोग्रामिंग भाषा सिद्धांत]] [[Category: कार्यात्मक प्रोग्रामिंग]] [[Category: उदाहरण सी कोड वाले लेख]] [[Category: उदाहरण के लिए पायथन (प्रोग्रामिंग भाषा) कोड वाले लेख]]  
{{DEFAULTSORT:Side Effect (Computer Science)}}[[Category: कंप्यूटर प्रोग्रामिंग]] [[Category: प्रोग्रामिंग भाषा सिद्धांत]] [[Category: कार्यात्मक प्रोग्रामिंग]] [[Category: उदाहरण सी कोड वाले लेख]] [[Category: उदाहरण के लिए पायथन (प्रोग्रामिंग भाषा) कोड वाले लेख]]  


Line 96: Line 94:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 24/07/2023]]
[[Category:Created On 24/07/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 10:20, 26 November 2023

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

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

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

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

रेफेरेंटीएल पारदर्शिता

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

अस्थायी साइड इफेक्ट्स

किसी ऑपरेशन को निष्पादित करने में लगने वाले समय के कारण होने वाले साइड इफेक्ट्स को सामान्यतः साइड इफेक्ट्स और रेफेरेंटीएल पारदर्शिता पर विचार करते समय अनदेखा कर दिया जाता है। कुछ स्थिति हैं, जैसे कि हार्डवेयर टाइमिंग या परीक्षण, जहां ऑपरेशन विशेष रूप से उनके अस्थायी साइड इफेक्ट्स के लिए डाले जाते हैं। जैसे कि sleep(5000) या for (int i = 0; i < 10000; ++i) {} के लिए इन निर्देशों को पूरा होने में समय लगने के अतिरिक्त स्थिति में कोई परिवर्तन नहीं आता है।

निष्क्रियता

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

x = 0

def setx(n):
    global x
    x = n

setx(3)
assert x == 3
setx(3)
assert x == 3

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

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

def abs(n):
    return -n if n < 0 else n

assert abs(abs(-3)) == abs(-3)

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

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

उदाहरण

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

a = (b = 3);  // b = 3 evaluates to 3, which then gets assigned to a

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

a = b = 3;

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

while (b == 3) {}  // tests if b evaluates to 3

साथ

while (b = 3) {}  // b = 3 evaluates to 3, which then casts to true so the loop is infinite

यह भी देखें

संदर्भ

  1. Spuler, David A.; Sajeev, A. Sayed Muhammed (January 1994). Compiler Detection of Function Call Side Effects. James Cook University. CiteSeerX 10.1.1.70.2096. The term Side effect refers to the modification of the nonlocal environment. Generally this happens when a function (or a procedure) modifies a global variable or arguments passed by reference parameters. But here are other ways in which the nonlocal environment can be modified. We consider the following causes of side effects through a function call: 1. Performing I/O. 2. Modifying global variables. 3. Modifying local permanent variables (like static variables in C). 4. Modifying an argument passed by reference. 5. Modifying a local variable, either automatic or static, of a function higher up in the function call sequence (usually via a pointer).
  2. Turner, David A., ed. (1990). Research Topics in Functional Programming. Addison-Wesley. pp. 17–42. Via Hughes, John. "Why Functional Programming Matters" (PDF). Archived (PDF) from the original on 2022-06-14. Retrieved 2022-08-06.
  3. Collberg, Christian S. (2005-04-22). "CSc 520 Principles of Programming Languages". Department of Computer Science, University of Arizona. Archived from the original on 2022-08-06. Retrieved 2022-08-06.
  4. "Haskell 98 report". 1998.
  5. Jones, Simon Peyton; Wadler, Phil (1993). Imperative Functional Programming. Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages. pp. 71–84.
  6. Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram (2014-08-01). "How To Design Programs" (2 ed.). MIT Press.