'add_rvalue_reference <T> :: प्रकार' और 'टी &&' के संदर्भ में निर्दिष्ट 'अस्वीकरण' क्यों नहीं है?

Question

§20.2.4 [declval]

template <class T> 
typename add_rvalue_reference<T>::type declval() noexcept; // as unevaluated operand 

क्यों यहाँ add_rvalue_reference का उपयोग करें?

§20.9.7.2 [meta.trans.ref] से add_rvalue_reference पर:

तो T नाम एक वस्तु या समारोह प्रकार तो type typedef सदस्य T&& नाम होगा; अन्यथा, type का नाम T होगा। [नोट: यह नियम संदर्भ ढहने के अर्थशास्त्र को दर्शाता है (8.3.2)। उदाहरण के लिए, जब एक प्रकार T एक प्रकार T1& नाम देता है, तो add_rvalue_reference<T>::type टाइप करें एक रावल्यू संदर्भ नहीं है। अंत टिप्पणी]

add_rvalue_reference के बाद से वैसे भी टूट संदर्भ प्रतिबिंबित करने के लिए, क्यों नहीं बस T&& निम्नलिखित की तरह का उपयोग मतलब है?

template<class T> 
T&& declval(); 

क्या गलत हो सकता है? दो संस्करणों के बीच मतभेद क्या हैं?

Answer 1

मुझे नहीं पता कि यह वास्तविक कारण है, लेकिन add_rvalue_reference के पास void के लिए अलग-अलग व्यवहार हैं।

add_rvalue_reference<void>::type बस void है।

void&& एक त्रुटि है।

Answer 2

कई परिभाषाएं declval पर निर्भर करती हैं सीवी-योग्यvoid के लिए उचित परिणाम दे रही है। एक उदाहरण is_assignable है:

template <class T, class U> 
struct is_assignable; 

अभिव्यक्ति declval<T>() = declval<U>() अच्छी तरह से बनाई है जब एक unevaluated संकार्य के रूप में इलाज ...

आशय है कि "अच्छी तरह से गठित" है अच्छी तरह से को संदर्भित करता है असाइनमेंट अभिव्यक्ति की जानकारी-आधारित, और नहीं कि declval<T> स्वयं अच्छी तरह से गठित है। अर्थात। हम एक समय में सिर्फ एक चीज के बारे में चिंता करना चाहते हैं।

Answer 3

अंतर यह है कि add_rvalue_reference<> केवल && भाग जोड़ता है यदि T एक ऑब्जेक्ट या फ़ंक्शन प्रकार है। यदि T कोई ऑब्जेक्ट या फ़ंक्शन प्रकार नहीं है (उदा। void) आप && जोड़ना नहीं चाहते हैं।

this example on Ideone देखें।
This webpage of Boost's implementation बताते हैं:

समारोह टेम्पलेट declval() की भूमिका का उपयोग कर या इस समारोह का मूल्यांकन करने के बिना एक प्रकार T का एक परिवर्तन एक मूल्य में है।नाम पाठक के ध्यान को इस तथ्य पर निर्देशित करना है कि अभिव्यक्ति declval<T>() एक लवली है यदि केवल T एक लवली-संदर्भ है, अन्यथा एक रावल्यू। इस समारोह के डोमेन का विस्तार करने के लिए हम

template<class T> 
typename std::add_rvalue_reference<T>::type declval(); // not used 

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