एक रावल्यू संदर्भ का संदर्भ क्यों जोड़ रहा है त्रुटि नहीं?

Question

मैं निम्नलिखित typedef है:

using int_ref = int&&; 

क्यों निम्नलिखित कोड एक त्रुटि का उत्पादन नहीं करता (या false प्रिंट)?

std::cout << is_same< int_ref, int_ref&& >::value; // prints 1 

मैं उम्मीद करेंगे कि int_ref&&int&& && के लिए विस्तार किया जाता है जो स्पष्ट रूप से संभव नहीं है। क्या मैं कुछ भूल रहा हूँ?

Answer 1

यह reference collapsing rules के कारण है।

मूल रूप से

(, typedefs, टेम्प्लेट पैरामीटर decltypes) हालांकि आप कुछ मामलों में एक संदर्भ अपने आप के लिए एक संदर्भ, नहीं लिख सकते हैं, तो आप जो गिर एक संदर्भ प्रकार के लिए एक संदर्भ, बनाने में जोड़ सकते हैं इस प्रकार है:

A& & -> A& 
A& && -> A& 
A&& & -> A& 
A&& && -> A&& 

आपके मामले में, int_refint&& है, इसलिए int&& &&int&& बन जाता है।

---

प्रासंगिक मानक बोली:

(N3337) [dcl.ref]/6: तो एक typedef (7.1.3), एक प्रकार टेम्पलेट पैरामीटर (14.3.1), या एक decltype-विनिर्देशक (7.1 .6.2) एक प्रकार TR कि एक प्रकार T लिए एक संदर्भ है, "सीवीTR के संदर्भ lvalue" प्रकार पैदा करने की कोशिश प्रकार बनाता है "lvalue को दर्शाता है T का संदर्भ ", जबकि सीवीTR" के प्रकार का निर्माण करने का प्रयास "TR टाइप करता है।