'संदर्भ' टाइपपीफ वास्तव में कैसे व्यवहार करता है?

Question

एसटीएल कंटेनर एक reference और const_referencetypedef है, जो कई मामलों में मैंने देखा है है (bool जा रहा है केवल अपवाद के कंटेनरों को मैं के बारे में सोच सकते हैं), तुच्छता के रूप में

typedef value_type& reference; 
typedef const value_type& const_reference; 

में परिभाषित किया जा सकता है वास्तव में क्या है, तथापि , अर्थशास्त्र इन प्रकारों में से हैं?

जो मैं समझता हूं उससे, उन्हें "मूल्य प्रकार के संदर्भों की तरह व्यवहार करना" माना जाता है, लेकिन इसका क्या अर्थ है?

MSDN का कहना है कि reference है:

एक प्रकार है कि एक तत्व एक सदिश में संग्रहीत के लिए एक संदर्भ प्रदान करता है।

लेकिन इसका क्या अर्थ है, बिल्कुल? क्या उन्हें विशिष्ट ऑपरेटरों को अधिभारित करने की आवश्यकता है, या एक विशिष्ट व्यवहार है? यदि हां, तो आवश्यक व्यवहार क्या है?

Answer 1

क्या आप पूछ रहे हैं "कर सकता हूँ मैं हमेशा एक संदर्भ भिन्नता है? और हाँ, आप कर सकते हैं। यही कारण है कि इसका मतलब है dereferenced reference सब कुछ dereferenced value_type& सब कुछ value_type कर सकते हैं जो कर सकते हैं। यह है कि आप करने के लिए समझ में आता है, तो कर सकते हैं।

---

आप ऑपरेटरों typedefs पर ओवरलोड नहीं कर सकते। typedefs प्रकार वे को सौंपा है। कारण वे कर रहे हैं typedef'd उन्हें कम बोझिल बनाने के लिए और एक आम "इंटरफेस"

प्रदान करना है के रूप में ही व्यवहार

कारण reference मौजूद है इस तरह बातें रोकने के लिए:

template<typename T> 
struct foo { 
    T& bar(); 

    typedef T& reference; 
    reference baz(); 
} 

foo<int> x; 
foo<int>::T& y = x.bar(); // error! returns a T& but I can't create one! 
foo<int>::reference z = x.baz(); // ok! 

यह भी एक क्लीनर इंटरफेस बनाता है और SFINAE के उपयोग की अनुमति देता है:

template<typename T> 
typename T::reference second(T::reference& t) { return t.at(1); }; 

template<typename T> 
T& second(T& t) { return t[1]; }; 

std::vector v(10); 
foo f(10); // type with [] overloaded but no reference typedef 
second(x) = 5; // calls first def 
second(f) = 3; // calls second def 

Answer 2

मुझे लगता है कि सवाल का हिस्सा एक धारणा है कि allocators उपयोगी होते हैं से आता है। Allocators (कम से कम पूर्व सी ++ 11) were something of a late addition to the STL:

लोग स्मृति मॉडल है, जो कुछ हद तक अत्यधिक था, क्योंकि भाषा स्मृति मॉडल शामिल नहीं है की स्वतंत्र कंटेनर चाहता था। लोग पुस्तकालय चाहते थे कि स्मृति मॉडल को सारणीबद्ध करने के लिए कुछ तंत्र प्रदान करें। एसटीएल के पहले संस्करणों ने माना कि कंटेनर का आकार टाइप size_t के पूर्णांक के रूप में व्यक्त किया जा सकता है और दो इटरेटर के बीच की दूरी ptrdiff_t प्रकार है। और अब हमें बताया गया था, आप उससे क्यों अमूर्त नहीं हैं? यह एक लंबा आदेश है क्योंकि भाषा उस से अमूर्त नहीं है; सी और सी ++ सरणी इन प्रकारों द्वारा पैरामीटर नहीं हैं। हमने "आवंटक" नामक एक तंत्र का आविष्कार किया, जो स्मृति मॉडल के बारे में जानकारी को समाहित करता है। इसने पुस्तकालय में हर घटक के लिए गंभीर परिणाम पैदा किए। आपको आश्चर्य हो सकता है कि मेमोरी मॉडल को एल्गोरिदम या कंटेनर इंटरफेस के साथ क्या करना है। यदि आप size_t जैसी चीजों का उपयोग नहीं कर सकते हैं, तो आप अलग-अलग सूचक प्रकार (T*, T huge * इत्यादि) के कारण T* जैसी चीजों का भी उपयोग नहीं कर सकते हैं। फिर आप संदर्भों का उपयोग नहीं कर सकते क्योंकि विभिन्न मेमोरी मॉडल के साथ आपके पास अलग-अलग संदर्भ प्रकार हैं। पुस्तकालय पर जबरदस्त ramifications थे।

दुर्भाग्य से, they turned out to be substandard:

मैं इंटेल की स्मृति वास्तुकला से निपटने के लिए allocators का आविष्कार किया। संकेत दिए गए, संदर्भ, ptrdiff_t, size_t: एक परत है कि सभी स्मृति सामान समाहित होने - वे सिद्धांत रूप में इस तरह के एक बुरा विचारों नहीं हैं। दुर्भाग्य से वे अभ्यास में काम नहीं कर सकते हैं। उदाहरण के लिए,

vector<int, alloc1> a(...); 
vector<int, alloc2> b(...); 

अब आप यह नहीं कह सकते:

find(a.begin(), a.end(), b[1]); 

b[1] रिटर्न एक alloc2::reference और नहीं int&। यह एक प्रकार का मेल नहीं हो सकता है। आवंटकों को वास्तव में उपयोगी बनाने के संदर्भ में कोर भाषा संदर्भों के साथ व्यवहार करने के तरीके को बदलना आवश्यक है।

reference typedef वापस जाने के लिए जो कुछ भी T& के बराबर प्रश्न में संभाजक के लिए है के लिए है। आधुनिक वास्तुकला पर, यह शायद T& है। हालांकि, इस धारणा था कुछ आर्किटेक्चर पर यह कुछ अलग हो सकता है कि (जैसे, एक संकलक के साथ एक वास्तुकला लक्ष्यीकरण "के पास" और "अब तक" संकेत "के पास" और "अब तक" संदर्भ के लिए विशेष सिंटेक्स आवश्यकता हो सकती है)। अफसोस की बात है, यह शानदार विचार कम से कम शानदार साबित हुआ। सी ++ 11 आवंटकों में पर्याप्त परिवर्तन करता है - स्कॉप्ड आवंटकों को जोड़ना - और मेमोरी मॉडल। मुझे स्वीकार करना है कि मुझे सी ++ 11 के बदलावों के बारे में पर्याप्त जानकारी नहीं है w.r.t. कहने के लिए आवंटक अगर चीजें बेहतर या बदतर हो जाती हैं।

---

मूल प्रश्न पर टिप्पणी को देखते हुए, के बाद से मानक वास्तव में नहीं बताता है कि कैसे कंटेनर लागू किया जाना चाहिए (हालांकि स्टैंडर्ड कि यह हो सकता है और साथ ही कंटेनर के व्यवहार पर इतने सारे आवश्यकताओं डाल दिया है। , प्रकार reference का एक उद्देश्य मूल वस्तु के लिए एक पारदर्शी उर्फ ​​होना चाहिए यह करने के लिए देने की मान बदलना चाहिए: ..), जो कुछ भी आप typedef प्रकार reference रूप T& के व्यवहार कि किसी संभावित जब कंटेनर को लागू करने पर भरोसा कर सकता है होना आवश्यक है टुकड़ा करने की क्रिया के बिना मूल वस्तु, "reseating" reference समर्थन करने के लिए कोई ज़रूरत नहीं, reference का पता लेने ओ का पता लौट जाना है riginal वस्तु, आदि सभी संभव पर है, यह वास्तव में T& होना चाहिए; और केवल मामले मैं कल्पना कर सकते हैं, जहां यह संभव नहीं होगा हो सकता है अगर आप स्मृति है कि आप संकेत या संदर्भ (जैसे के माध्यम से हेरफेर नहीं कर सकता का आवंटन किया गया है, यदि "स्मृति" डिस्क पर वास्तव में थे, या अगर स्मृति वास्तव में थे एक अलग कंप्यूटर पर आवंटित और आरपीसी कॉल, आदि के माध्यम से नेटवर्क पर पहुंच योग्य)।

Answer 3

मानक से बाहर ले जाया:

यह भी value_type& की एक typedef जो T

की एक typedef है के रूप में परिभाषित करता है reference (पिछले एक के रूप में न्यू जवाब अलग फोकस था)