टाइप पनिंग

कंप्यूटर विज्ञान में, टाइप पनिंग वह प्रोग्रामिंग तकनीक है, जो प्रोग्रामिंग भाषा के टाइप प्रणाली को विकृत या बाधित करती है, जो औपचारिक भाषा की सीमा के भीतर प्राप्त करना मुश्किल या असंभव हो जाता है।

C और C++ में, सूचक टाइप रूपांतरण और जैसे निर्माण - C++ इस सूची मे संदर्भ टाइप रूपांतरण और   — कई टाइप के अनुमति देने के लिए प्रदान किए जाते हैं, चूँकि कुछ टाइप वास्तव में मानक भाषा द्वारा समर्थित नहीं होते हैं।

पास्कल प्रोग्रामिंग भाषा में, भिन्न प्रकार के रिकॉर्ड का उपयोग विशेष डेटा प्रकार को एक से अधिक विधि से या सामान्य रूप से अनुमति नहीं देने के लिए किया जा सकता है।

सॉकेट उदाहरण
टाइप पनिंग का एक उत्कृष्ट उदाहरण बर्कले सॉकेट इंटरफ़ेस में पाया जाता है। एक विवृत, किन्तु अप्रारंभित सॉकेट को आईपी पते से आबद्ध फलन निम्नानुसार घोषित किया गया है:

आबद्ध फलन को सामान्यतः इस प्रकार कहा जाता है:

बर्कले सॉकेट लाइब्रेरी मूल रूप से इस तथ्य पर निर्भर करती है कि C (प्रोग्रामिंग लैंग्वेज) में,  के लिए एक पॉइंटर  और, इसके अतिरिक्त, दोनों संरचना प्रकार समान मेमोरी लेआउट साझा करते हैं।  इसलिए, संरचना क्षेत्र के लिए एक संदर्भ   (जहाँ   टाइप का है  ) वास्तव में क्षेत्र को संदर्भित करेगा   (कहाँ   प्रकार का है  ). दूसरे शब्दों में, सॉकेट लाइब्रेरी बहुरूपता (कंप्यूटर विज्ञान) या वंशानुक्रम (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग) के एक अल्पविकसित रूप को लागू करने के लिए टाइप पनिंग का उपयोग करती है।

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

फ़्लोटिंग-पॉइंट उदाहरण
टाइप पनिंग के सभी उदाहरणों में संरचनाएं शामिल नहीं हैं, जैसा कि पिछले उदाहरण ने किया था। मान लीजिए कि हम यह निर्धारित करना चाहते हैं कि तैरनेवाला स्थल  नंबर ऋणात्मक है या नहीं। हम लिख सकते हैं:

हालाँकि, यह मानते हुए कि फ़्लोटिंग-पॉइंट तुलनाएँ महंगी हैं, और यह भी मान लीजिए  IEEE फ़्लोटिंग-पॉइंट मानक के अनुसार दर्शाया गया है, और पूर्णांक 32 बिट चौड़े हैं, हम केवल पूर्णांक संचालन का उपयोग करके फ़्लोटिंग-पॉइंट नंबर के साइन बिट को निकालने के लिए टाइप पनिंग में संलग्न हो सकते हैं:

ध्यान दें कि व्यवहार बिल्कुल वैसा नहीं होगा: के विशेष मामले में  शून्य पर हस्ताक्षर किया जा रहा है, पहला कार्यान्वयन उपज देता है   जबकि दूसरा देता है. साथ ही, पहला कार्यान्वयन वापस आ जाएगा  किसी भी NaN मान के लिए, लेकिन बाद वाला वापस आ सकता है   साइन बिट सेट के साथ NaN मानों के लिए।

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

फ़्लोटिंग-पॉइंट पनिंग के व्यावहारिक उदाहरणों में क्वेक III द्वारा लोकप्रिय तेज़ उलटा वर्गमूल, पूर्णांक के रूप में तेज़ FP तुलना शामिल है, और एक पूर्णांक के रूप में वृद्धि करके पड़ोसी मूल्यों को ढूँढना (कार्यान्वयन nextafter).

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

पॉइंटर्स का उपयोग
पॉइंटर्स का उपयोग करके टाइप-पनिंग पर एक सहज प्रयास प्राप्त किया जा सकता है: (निम्नलिखित उदाहरण प्रकार के लिए IEEE-754 बिट-प्रतिनिधित्व मानता है .)

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

का उपयोग
सी में, लेकिन सी ++ में नहीं, कभी-कभी ए के माध्यम से टाइप पनिंग करना संभव होता है.

एक्सेस करना  हाल ही में दूसरे सदस्य को लिखने के बाद, , C में टाइप-पनिंग का अनुमत रूप है, बशर्ते कि पढ़ा गया सदस्य उस मूल्य से बड़ा न हो जिसका मूल्य निर्धारित किया गया था (अन्यथा पढ़ने में अनिर्दिष्ट व्यवहार होता है ). वही वाक्य रचनात्मक रूप से मान्य है लेकिन सी ++ में अपरिभाषित व्यवहार है, हालाँकि, जहाँ केवल अंतिम-लिखित सदस्य a  कोई भी मूल्य माना जाता है।

पनिंग प्रकार के अन्य उदाहरण के लिए, एक सरणी का स्ट्राइड देखें।

का उपयोग
सी ++ 20 में,  ऑपरेटर बिना किसी अपरिभाषित व्यवहार के टाइप पनिंग की अनुमति देता है। यह फ़ंक्शन को लेबल करने की भी अनुमति देता है.

<वाक्यविन्यास प्रकाश लैंग = सी ++> कॉन्स्टेक्स बूल is_negative (फ्लोट x) नोएक्सेप्ट { static_assert(std::numeric_limits ::is_iec559); // (केवल IEEE 754 पर सक्षम करें) ऑटो यूआई = एसटीडी :: बिट_कास्ट <एसटीडी :: uint32_t> (एक्स); वापसी यूआई और 0x80000000; }

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

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

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

सी#
C Sharp (प्रोग्रामिंग लैंग्वेज)|C# (और अन्य .NET लैंग्वेज) में, टाइप सिस्टम के कारण टाइप पनिंग प्राप्त करना थोड़ा कठिन है, लेकिन पॉइंटर्स या स्ट्रक्चर यूनियनों का उपयोग करके इसे फिर भी किया जा सकता है।

संकेतक
सी # केवल पॉइंटर्स को तथाकथित देशी प्रकारों की अनुमति देता है, यानी किसी भी आदिम प्रकार (को छोड़कर ), एनम, एरे या स्ट्रक्चर जो केवल अन्य मूल प्रकारों से बना है। ध्यान दें कि पॉइंटर्स को केवल 'असुरक्षित' चिह्नित कोड ब्लॉक में ही अनुमति दी जाती है।

संरचना संघ
संरचना संघों को 'असुरक्षित' कोड की किसी भी धारणा के बिना अनुमति दी जाती है, लेकिन उन्हें एक नए प्रकार की परिभाषा की आवश्यकता होती है।

कच्चा सीआईएल कोड
C# के बजाय रॉ सामान्य मध्यवर्ती भाषा  का उपयोग किया जा सकता है, क्योंकि इसमें अधिकांश प्रकार की सीमाएँ नहीं हैं। यह एक को, उदाहरण के लिए, एक सामान्य प्रकार के दो एनम मानों को संयोजित करने की अनुमति देता है:

इसे निम्नलिखित सीआईएल कोड से रोका जा सकता है:

e> CIL ऑपकोड कुछ अन्य युक्तियों की अनुमति देता है, जैसे किसी संरचना को बाइट सरणी में बदलना:

संदर्भ
, which defeats some type punning
 * Defect Report 257 to the C99 standard, incidentally defining "type punning" in terms of, and discussing the issues surrounding the implementation-defined behavior of the last example above
 * Defect Report 283 on the use of unions for type punning