शुद्ध कीवर्ड का उचित उपयोग फोरट्रान

Question

मैं वर्तमान में फोरट्रान में जा रहा हूं और मैं pure कीवर्ड को उन कार्यों/subroutines निर्दिष्ट कर रहा हूं जिनके दुष्प्रभाव नहीं हैं।

मैं एक किताब है, फोरट्रान 90/95 एस बिसाती द्वारा जो pure कीवर्ड का परिचय लेकिन अजीब नहीं "अच्छा कोडन अभ्यास" प्रदान करता है का उपयोग करता है।

मुझे आश्चर्य है कि इस कीवर्ड को अपनी प्रक्रियाओं में उदारता से कैसे उपयोग करना चाहिए। बस चारों ओर देखकर यह मेरे लिए स्पष्ट है कि दुष्प्रभावों के बिना अधिकांश प्रक्रियाओं को pure कीवर्ड शामिल करने के लिए आवश्यक नहीं लगता है।

तो इसका सबसे अच्छा उपयोग कहां किया जाता है? केवल प्रक्रियाओं में से एक पूरी तरह से गारंटी का कोई साइड इफेक्ट नहीं है? या शायद प्रक्रियाओं में elemental प्रक्रियाओं को बाद में परिवर्तित करने की योजना है? (elemental प्रक्रियाओं को पहले pure होना चाहिए।)

Answer 1

PURE कुछ मामलों में आवश्यक है - उदाहरण के लिए, विनिर्देश अभिव्यक्तियों के भीतर या FORALL या DO CONCURRENT संरचनाओं के अंतर्गत बुलाए जाने वाली प्रक्रियाएं। PURE इन मामलों में फॉरट्रान प्रोसेसर लचीलापन प्रक्रिया प्रक्रियाओं के क्रम में लचीलापन देने के लिए आवश्यक है, जबकि कोड के एक विशेष खिंचाव से अभी भी एक उचित निर्धारक परिणाम है।

उन आवश्यक मामलों से परे, PURE का उपयोग करना है या नहीं, मूल रूप से शैली का सवाल है, जो कुछ हद तक व्यक्तिपरक है।

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

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

Answer 2

यदि आप INTENT(IN) वाले चर को बदलने का प्रयास करते हैं, तो यह संकलित नहीं होगा।

शुद्ध कार्यों में केवल INTENT(IN) तर्क हो सकते हैं, और एक मूल्य लौटाता है जो केवल तर्कों पर निर्भर करता है। एक शुद्ध सबराउटिन INTENT(OUT) और INTENT(INOUT) तर्कों को संशोधित कर सकता है, लेकिन फिर, केवल तर्कों के मूल्य के आधार पर।

दोनों मामलों में: समान तर्क -> एक ही परिणाम।

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

Answer 3

जैसा कि chw21 द्वारा सुझाया गया है, PURE की प्राथमिक प्रेरणा संकलक को बेहतर अनुकूलित करने की अनुमति देना है। विशेष रूप से, किसी फ़ंक्शन के लिए PURE की कमी अज्ञात साइड इफेक्ट्स के कारण समांतरता को रोक देगा। ध्यान दें कि PURE सबरूटीन्स, कार्यों के विपरीत, INTENT(INOUT) तर्क हो सकता है, लेकिन अभी भी दुष्प्रभाव पर प्रतिबंध नहीं है (और एक PURE प्रक्रिया केवल अन्य PURE प्रक्रियाओं कॉल कर सकते हैं कि।)

फोरट्रान 2003 के माध्यम से

तक, ELEMENTAL प्रक्रियाओं परोक्ष हैं PURE । फोरट्रान 2008 में IMPURE उपसर्ग शामिल है जिसका उपयोग उस पहलू को अक्षम करने के लिए ELEMENTAL प्रक्रियाओं के साथ किया जा सकता है।