अस्थायी से पहले बुलाया गया विनाशक

Question

से बाहर होना चाहिए मेरे पास कुछ कोड है जो वीएस2015 के तहत विफल रहता है, लेकिन जीसीसी के तहत काम करता है। मुझे यकीन है कि बग विजुअल स्टूडियो के साथ है लेकिन यह सुनिश्चित करना चाहते हैं कि decltype (ऑटो) की मेरी समझ सही है।

#include <iostream> 
using namespace std; 

string zero_params() 
{ 
    return "zero_params called."; 
} 

template< typename F > 
auto test1(F f) -> decltype(auto) 
{ 
    return f(); 
} 

int main() { 
    cout << std::is_rvalue_reference< decltype(test1(zero_params)) >::value << endl; 
    cout << test1(zero_params) << endl; 

    cout << "Done!" << endl; 
    return 0; 
} 

विजुअल स्टूडियो के तहत शून्य_परैम्स द्वारा लौटाई गई स्ट्रिंग को एक रावल्यू संदर्भ माना जाता है। इसके अलावा उस वस्तु के विनाशक को test1() के अंदर बुलाया जाता है जहां कॉल से एफ में वापसी होती है (जो & & ऑब्जेक्ट को नष्ट करने के लिए उचित स्थान लगता है)।

जीसीसी के तहत वापस स्ट्रिंग को एक रावल्यू संदर्भ के रूप में नहीं लिया जाता है। जैसा कि मैं उम्मीद करता हूं, कोउट कथन में उपयोग के बाद विनाशक को बुलाया जाता है।

विजुअल स्टूडियो के तहत decltype (auto) के बजाय वापसी प्रकार को 'स्ट्रिंग' निर्दिष्ट करने के लिए इसे ठीक करता है, जैसा कि test1 के अंदर f() की वापसी पर remove_reference_t का उपयोग करता है।

मेरे उम्मीद होगी कि जीसीसी सही है के रूप में zero_params के लिए समारोह हस्ताक्षर() स्ट्रिंग, नहीं स्ट्रिंग है & & तो मैं 'बबल सामने' test1 की वापसी प्रकार के लिए करने के लिए गैर संदर्भ उम्मीद होती है अगर यह decltype का उपयोग करता है (ऑटो)।

क्या यह एक सही मूल्यांकन है?

---

देर संपादित करें:

cout << test1(zero_params) << endl; 

लिए:

एक और तरीका है मैं VS2015 के साथ इस के आसपास पाने के लिए मिल गया है समारोह एक लैम्ब्डा में Test1 को दिया रैप करने के लिए है

cout << test1([](auto&&... ps) { return zero_params(std::forward<decltype(ps)>(ps)...); }) << endl; 

Answer 1

तो based on the comments हम निष्कर्ष निकाल सकते हैं:

• यह VS2015 पूर्वावलोकन में एक बग है
• वहाँ समाधान
• हैं bug has been reported

बग है जो:

• संकलक वापसी प्रकार निष्कर्ष निकाला जाना चाहिए था स्ट्रिंग होने के लिए
• यह वास्तव में इसे स्ट्रिंग & & होने के लिए प्रेरित करता है
• इस प्रकार यह मूल्य नष्ट समय से पहले ही

कामकाज से जुड़े हैं:

• फ़ंक्शन द्वारा दिया गया प्रकार
• लपेटें पार करने से पहले एक लैम्ब्डा अभिव्यक्ति में समारोह के लिए decltype (ऑटो) का उपयोग न करें