क्या सार्वभौमिक संदर्भ के साथ टेम्पलेट कन्स्ट्रक्टर घुमावदार घुमावदार है?

Question

क्या यह टेम्पलेट सीटीओआर सीटीओआर को छुपाता है?

class A { 
    public: 
     template<typename T> 
     A(T &&t); 

     // move would be as this: 
     /* 
      A(A &&a); 
     */ 
}; 

और इस स्थिति में मैं कैसे कदम ctor लागू करना चाहिए? क्या यह डिफ़ॉल्ट वाक्यविन्यास A (A &&) या टेम्पलेट विशेषज्ञता के साथ होना चाहिए?

Answer 1

मानक के अनुसार (मसौदा)

[class.copy]

3 दसवीं कक्षा के लिए एक गैर टेम्पलेट निर्माता एक चाल निर्माता अगर अपनी पहली पैरामीटर प्रकार एक्स & की है &, स्थिरांक एक्स & &, अस्थिर एक्स & &, या स्थिरांक अस्थिर एक्स & &, और या तो कोई अन्य मापदंडों वरना अन्य सभी बराबर हैं एममीटर के पास डिफ़ॉल्ट तर्क हैं (8.3.6)। [उदाहरण: वाई :: वाई (वाई & &) एक चालक कन्स्ट्रक्टर है।

केवल गैर-टेम्पलेट निर्माता कन्स्ट्रक्टर को स्थानांतरित कर सकते हैं। कॉपी कन्स्ट्रक्टर ^† पर भी लागू होता है। इसलिए निहित चाल कन्स्ट्रक्टर उत्पन्न होता है।

आप सामान्य रूप से चालक को कार्यान्वित करते हैं। विशेषज्ञता काम नहीं करेगी क्योंकि निहित गैर-टेम्पलेट चालक कन्स्ट्रक्टर को ओवरलोड रिज़ॉल्यूशन द्वारा प्राथमिकता दी जाती है।

^† यदि तर्क प्रकार बिल्कुल const T& से मेल नहीं खाता है, तो टेम्पलेट संदर्भ ओवरलोड रिज़ॉल्यूशन जीतता है। प्रवीण के उदाहरण में देखा जा सकता है कि यह आसानी से हो सकता है।

Answer 2

स्वीकृत उत्तर गलत है। हालांकि यह सच है कि: template <typename T> A(T &&t) { } एक चालक कन्स्ट्रक्टर नहीं है, आप पहले ही उसे जानते थे। संकलक परोक्ष इस मामले और सामान्य अधिभार संकल्प में एक कदम निर्माता घोषणा करेंगे अपेक्षा के अनुरूप काम करेगा:

A a{2}; // calls template 
A b = std::move(a); // calls move 
A c{a}; // calls template 

c में ले जाया जा से a प्रतिबंधित कुछ भी नहीं है, भले ही टेम्पलेट निर्माता एक "चाल" नहीं है निर्माता।