std :: declval <T>() काम कैसे करता है?

Question

मैं समझने की कोशिश कर रहा हूं कि std::declval<T>() कैसे काम करता है। मैं इसे कैसे उपयोग करने के लिए, और पता है कि वह क्या करता पता है, मुख्य रूप से आप वस्तु के निर्माण के बिना decltype उपयोग करने के लिए, की तरह

decltype(std::declval<Foo>().some_func()) my_type; // no construction of Foo 

मैं cppreference.com कि std::declval<Foo> से पता की अनुमति देता है "कहते हैं," Foo करने के लिए एक rvalue संदर्भ, जिसकी वजह से संदर्भ ढहने के नियम या तो एक रावल्यू संदर्भ या एक लालू संदर्भ होने के समाप्त होता है। मेरा सवाल यह है कि Foo के निर्माता को क्यों नहीं कहा जाता है? टेम्पलेट पैरामीटर के निर्माण के बिना std::declval<T> का "खिलौना" संस्करण कैसे कार्यान्वित कर सकता है?

पुनश्च: I know यह पुरानी चाल के रूप में ही

(*(T*)(nullptr)) 

Answer 1

मूल रूप से, एक sizeof या decltype अभिव्यक्ति आप कार्यों कि कहीं भी लागू नहीं किया जाता है (वे की घोषणा की ज़रूरत कॉल कर सकते हैं में नहीं है, लागू नहीं किया)।

उदा।

class Silly { private: Silly(Silly const&) = delete; }; 

auto foo() -> Silly&&; 

auto main() -> int 
{ 
    sizeof(foo()); 
} 

लिंकर को इसके बारे में शिकायत नहीं करनी चाहिए।