इसे टैग किए गए पॉइंटर प्रतिनिधित्व कहा जाता है , और दशकों के लिए कई अलग-अलग दुभाषियों, वीएम और रनटाइम सिस्टम में उपयोग किया जाने वाला एक बहुत ही सामान्य अनुकूलन चाल है। बहुत ज्यादा हर लिस्प कार्यान्वयन में उनका उपयोग होता है, कई स्मॉलटॉक वीएम, कई रूबी दुभाषिया, और इसी तरह।
आमतौर पर, उन भाषाओं में, आप हमेशा पॉइंटर्स टू ऑब्जेक्ट्स से गुजरते हैं। एक ऑब्जेक्ट में ही एक ऑब्जेक्ट हेडर होता है, जिसमें ऑब्जेक्ट मेटाडेटा होता है (जैसे ऑब्जेक्ट का प्रकार, उसका वर्ग (तों), शायद नियंत्रण प्रतिबंध या सुरक्षा एनोटेशन और इतने पर पहुंच), और फिर वास्तविक ऑब्जेक्ट डेटा ही। तो, एक साधारण पूर्णांक को एक सूचक के रूप में दर्शाया जाएगा और एक वस्तु जो मेटाडेटा और वास्तविक पूर्णांक से मिलकर बनेगी। यहां तक कि बहुत कॉम्पैक्ट प्रतिनिधित्व के साथ, यह एक साधारण पूर्णांक के लिए 6 बाइट की तरह कुछ है।
इसके अलावा, आप तेजी से पूर्णांक अंकगणितीय प्रदर्शन करने के लिए सीपीयू में इस तरह के पूर्णांक ऑब्जेक्ट को पास नहीं कर सकते हैं। यदि आप दो पूर्णांक जोड़ना चाहते हैं, तो आपके पास वास्तव में केवल दो बिंदु होते हैं, जो उन दो पूर्णांक ऑब्जेक्ट्स के ऑब्जेक्ट हेडर की शुरुआत को इंगित करते हैं जिन्हें आप जोड़ना चाहते हैं। तो, आपको पहले पूर्णांक पर पूर्णांक अंकगणितीय प्रदर्शन करने की आवश्यकता है, जिससे ऑब्जेक्ट में ऑफसेट को जोड़ने के लिए जहां पूर्णांक डेटा संग्रहीत किया जाता है। फिर आपको उस पते पर दखल देना होगा। दूसरे पूर्णांक के साथ फिर से वही करें। अब आपके पास दो पूर्णांक हैं आप वास्तव में सीपीयू को जोड़ने के लिए कह सकते हैं। बेशक, अब आपको परिणाम धारण करने के लिए एक नए पूर्णांक ऑब्जेक्ट का निर्माण करने की आवश्यकता है।
तो, एक पूर्णांक जोड़ के प्रदर्शन के लिए , आपको वास्तव में तीन पूर्णांक जोड़ और दो सूचक व्युत्पन्न प्लस ऑब्जेक्ट ऑब्जेक्ट निर्माण करने की आवश्यकता है। और आप लगभग 20 बाइट लेते हैं।
हालांकि, चाल यह है कि पूर्णांक जैसे तथाकथित अपरिवर्तनीय मूल्य प्रकारों के साथ, आपको आमतौर पर ऑब्जेक्ट हेडर में सभी मेटाडेटा की आवश्यकता नहीं होती है : आप बस उस सभी सामान को छोड़ सकते हैं, और बस इसे संश्लेषित कर सकते हैं (जो VM-nerd है- "नकली यह" के लिए बोलें), जब कोई भी देखने के लिए परवाह करता है। पूर्णांक में हमेशा कक्षा होगी Integer, उस जानकारी को अलग से संग्रहीत करने की कोई आवश्यकता नहीं है। यदि कोई किसी पूर्णांक के वर्ग का पता लगाने के लिए प्रतिबिंब का उपयोग करता है, तो आप बस उत्तर देते हैं Integerऔर कोई भी कभी भी नहीं जान पाएगा कि आपने वास्तव में उस जानकारी को ऑब्जेक्ट हेडर में संग्रहीत नहीं किया है और वास्तव में, ऑब्जेक्ट हेडर (या नहीं) भी नहीं है वस्तु)।
तो, चाल मान संग्रहीत है की सूचक के भीतर वस्तु के लिए , वस्तु को प्रभावी ढंग से एक में दो गिर।
सीपीयू हैं जो वास्तव में एक पॉइंटर (तथाकथित टैग बिट्स ) के भीतर अतिरिक्त स्थान रखते हैं जो आपको पॉइंटर के बारे में पॉइंटर के बारे में अतिरिक्त जानकारी संग्रहीत करने की अनुमति देते हैं। "यह वास्तव में एक सूचक नहीं है, यह पूर्णांक है" जैसी अतिरिक्त जानकारी। उदाहरणों में बरोज़ B5000, विभिन्न लिस्प मशीनें या AS / 400 शामिल हैं। दुर्भाग्य से, वर्तमान मुख्यधारा के अधिकांश सीपीयू में वह सुविधा नहीं है।
हालाँकि, वहाँ एक रास्ता है: ज्यादातर मौजूदा मुख्यधारा सीपीयू जब शब्द सीमाओं पर संरेखित नहीं होते हैं, तो काफी धीमी गति से काम करते हैं। कुछ भी अनकही पहुँच का समर्थन नहीं करते हैं।
इसका मतलब यह है कि व्यवहार में, सभी बिंदु 4 से विभाज्य होंगे, जिसका अर्थ है कि वे हमेशा दो 0बिट्स के साथ समाप्त होंगे । यह हमें वास्तविक बिंदुओं (कि अंत में 00) और संकेत के बीच अंतर करने की अनुमति देता है जो वास्तव में भेस में पूर्णांक हैं (जो अंत में समाप्त होते हैं 1)। और यह अभी भी हमें सभी बिंदुओं के साथ छोड़ देता है जो 10अन्य सामान करने के लिए स्वतंत्र रूप से समाप्त होते हैं। इसके अलावा, अधिकांश आधुनिक ऑपरेटिंग सिस्टम खुद के लिए बहुत कम पते आरक्षित करते हैं, जो हमें एक और क्षेत्र के साथ खिलवाड़ करने के लिए देता है (संकेत जो कहते हैं, 24 0एस और अंत के साथ शुरू होते हैं 00)।
तो, आप एक सूचक में 31-बिट पूर्णांक को सांकेतिक शब्दों में बदलना कर सकते हैं, बस इसे 1 बिट में बाईं ओर शिफ्ट कर सकते हैं और 1इसे जोड़ सकते हैं। और आप उन लोगों के साथ बहुत तेजी से पूर्णांक अंकगणितीय प्रदर्शन कर सकते हैं , बस उन्हें उचित रूप से स्थानांतरित करके (कभी-कभी यह भी आवश्यक नहीं है)।
हम उन अन्य पता स्थानों के साथ क्या करते हैं? ठीक है, विशिष्ट उदाहरण एन्कोडिंग शामिल floatअन्य बड़ी पता स्थान और की तरह विशेष वस्तुओं की संख्या में रों true, false, nil, 127 ASCII वर्ण, कुछ आमतौर पर इस्तेमाल किया संक्षिप्त स्ट्रिंग, खाली सूची, खाली वस्तु, खाली सरणी और इतने पर के पास 0पता।
उदाहरण के लिए, MRI, YARV और रूबिनस रूबी दुभाषियों में, पूर्णांकों को मेरे द्वारा वर्णित तरीके falseसे एन्कोड किया जाता है, पते के रूप में एन्कोडेड किया जाता है 0(जो कि ऐसा ही होता है, C में इसका प्रतिनिधित्व भी होता falseहै), trueपते के रूप में 2(जो कि बस होता है) सी true) एक बिट द्वारा स्थानांतरित कर दिया) और के nilरूप में 4।