एक मामूली प्रतिलिपि :: std :: tuple-like class टेम्पलेट संभव है? क्या एक कार्यान्वयन मौजूद है?

Question

मुझे एक छोटी सी कॉपी करने योग्य ट्यूपल-जैसी कक्षा की आवश्यकता है, लेकिन कोई उपयुक्त कार्यान्वयन मौजूद नहीं है, मैं अपने आप के साथ नहीं आ सकता था और मुझे लगता है कि कोई भी संभव नहीं हो सकता है। इसका कारण संदर्भ हैं। एक ::std::tuple संदर्भ पकड़ सकता है, लेकिन एक तुच्छता copyable टपल, करने में सक्षम नहीं हो सकता है, क्योंकि यह गैर तुच्छ कंस्ट्रक्टर्स नहीं हो सकता है और संदर्भ टपल की तरह वर्ग के निर्माताओं में प्रारंभ करना होगा और एक संदर्भ आवरण भंडारण होगा ट्यूपल-जैसी कक्षा गैर-तुच्छ। मेरे प्रश्न शीर्षक में हैं।

Answer 1

भंडारण reference_wrapper का उपयोग कर के संदर्भ entirely possible है:

std::reference_wrapper TriviallyCopyable होने की गारंटी है। (के बाद से सी ++ 17)

बस एक गैर तुच्छ गैर विशेष निर्माता (के रूप में जैसे std::reference_wrapper<T>::reference_wrapper(T&)) पूरी तरह से ठीक है हो रही है। तो आपके trivially_copyable_tuple के लिए भी यही है; जब तक यह एक छोटी प्रतिलिपि निर्माता है, trivially_copyable_tuple::trivially_copyable_tuple(int&, float&, char) ठीक है।

और वास्तव में, आप बिल्कुल std::reference_wrapper उपयोग करने की आवश्यकता नहीं है, जबकि एक संदर्भ प्रकार TriviallyCopyable नहीं है, एक वर्ग प्रकार जिसमें एक संदर्भ होता है वह स्वयं ही ट्राइवलीयॉपीबल (हालांकि यह पॉड, मानक लेआउट टाइप, डिफॉल्ट कॉन्स्ट्रक्टेबल, ट्रिविली डिफॉल्ट कॉन्स्ट्रक्टेबल, या ट्रिविअल नहीं है)।

यहाँ कुछ उदाहरण है:

• my own tuple implementation, दिखा रहा है कि कोई विशेष चाल यह TriviallyCopyable बनाने के लिए आवश्यक कर रहे हैं;
• एक very slightly more involved implementation दिखा रहा है कि अगर आप reseating assignability प्रदान आप अभी भी अन्य सभी गुण रक्षा कर सकते हैं (ताकि आंतरिक रूप से एक reference_wrapper -alike उपयोग करने की आवश्यकता);
• एक tuple with through assignability दिखा कि आप तुच्छ copyability खो देते हैं, लेकिन केवल वास्तव में एक संदर्भ प्रकार युक्त tuples पर; आप स्केलर युक्त टुपल्स पर छोटी प्रतिलिपि बनाए रख सकते हैं।

Answer 2

यह स्पष्ट नहीं है कि तुम क्या जब आप संदर्भ चर्चा करने के लिए बात कर रहे हैं।

हाँ, यदि किसी विशेष टपल संदर्भ प्रकार संग्रहीत है, तो यह तुच्छता copyable होगा। लेकिन यह किसी भी प्रकार के लिए सच है। यदि कोई प्रकार त्रिकोणीय रूप से प्रतिलिपि नहीं है, तो एक प्रकार जिसमें उपरोक्त के रूप में उस प्रकार को शामिल किया गया है, वह भी तुलनीय रूप से प्रतिलिपि नहीं होगा।

आप एक tuple नहीं लिख सकते हैं जो उन प्रकारों पर छोटी प्रतिलिपिता लागू करता है जो स्वयं को तुलनीय रूप से प्रतिलिपि नहीं बनाते हैं।

लेकिन अन्यथा, यह एक ट्यूपल प्रकार लिखने के लिए entirely possible है जो छोटे-छोटे प्रतिलिपि बनाने योग्य होते हैं यदि सभी घटक प्रकार स्वयं को तुलनीय रूप से कॉपी करने योग्य होते हैं। यह सबसे अच्छी गारंटी है जिसे आप प्राप्त करने जा रहे हैं। और यदि आप यह सुनिश्चित करना चाहते हैं कि उपयोगकर्ता कभी-कभी गैर-तुलनीय प्रतिलिपि प्रकार न दें, तो आप हमेशा static_assert जोड़ सकते हैं कि टाइपलिस्ट में सभी प्रकारों को तुलनीय रूप से कॉपी करने योग्य हैं।