सी ++: संदर्भों या संदर्भों के सरणी के संदर्भ में हमारे पास संदर्भ क्यों नहीं हो सकते?

Question

मैंने देखा कि संदर्भ का कोई संदर्भ नहीं है लेकिन पॉइंटर के लिए सूचक है, और संदर्भों की कोई सरणी नहीं है लेकिन पॉइंटर्स की एक सरणी है।

क्या कोई मुझे कोई कारण दे सकता है?

Answer 1

पॉइंटर्स म्यूटेबल (यदि गैर-कॉन्स) हैं, तो संदर्भ कभी नहीं। इस प्रकार किसी संदर्भ के सूचक या संदर्भ होने का कोई मतलब नहीं है।

इसके अलावा, एक संदर्भ हमेशा कुछ संदर्भित करना चाहिए - शून्य संदर्भ के रूप में ऐसी कोई चीज़ नहीं है। यही कारण है कि संदर्भों का कोई सरणी नहीं हो सकता है, क्योंकि एक सरणी के भीतर एक सार्थक मूल्य को डिफ़ॉल्ट तत्काल संदर्भों का कोई तरीका नहीं है।

Answer 2

यह सी ++ स्टैंडर्ड 8.3.2/4 के अनुसार:

वहाँ संदर्भ के लिए संदर्भ के लिए कोई संदर्भ, संदर्भ की कोई सरणियों, और कोई संकेत होगा।

Answer 3

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

इस तर्क के साथ, आप तर्क दे सकते हैं कि चूंकि सरणी संरचनाएं हैं जो मूल्यों को स्टोर करती हैं, वैरिएबल नहीं, यह उनके लिए चर के उपनामों को स्टोर करने में सक्षम नहीं होती है। असल में, एक संदर्भ चर (जिसका अर्थ है कि सूचक, यदि मौजूद है, तो संदर्भ को तार करने के लिए कंपाइलर द्वारा उपयोग किया जा सकता है) C++ स्तर पर प्रोग्रामर के लिए अदृश्य है। यदि संदर्भों के सरणी घोषित करना संभव था, तो संकलक को संकलन समय पर बाध्यकारी को हल करने में सक्षम होने के लिए सरणी को पारित निरंतर अनुक्रमणिका की आवश्यकता होती है।

Answer 4

सी ++ स्टैंडर्ड 8.3.2/4:

There shall be no references to references, no arrays of references, and no pointers to references.

इस के पीछे तर्क है कि एक संदर्भ रन-टाइम में में और स्वयं का मौजूद नहीं है। एक संदर्भ केवल एक स्थान के लिए एक और नाम है। वे अपरिवर्तनीय हैं।