सी ++ 14 कंस्ट्रैक्स संघ कन्स्ट्रक्टर में सशर्त प्रारंभिक

Question

मैं एक तर्क के आधार पर कन्स्ट्रक्टर में शुरू किए गए यूनियन सदस्य को चुनना चाहता हूं।

struct A { 
    union { 
     int i; 
     float f; 
    }; 
    A(double d, bool isint) { 
     if (isint) new(&i) int(d); 
     else new(&f) float(d); 
    } 
}; 

जब मैं int और float उपयोग कर रहा हूँ, लक्ष्य अन्य अधिक जटिल प्रकार के साथ काम करने के लिए (लेकिन अभी भी एक सी ++ 14 संघ में स्वीकार्य) है, इसलिए उपयोग: निम्नलिखित एक उदाहरण है कि काम करता है नियुक्ति के नए (और एक असाइनमेंट नहीं)।

समस्या यह है कि यह कन्स्ट्रक्टर constexpr नहीं हो सकता है क्योंकि constexpr विधियों में प्लेसमेंट-नई की अनुमति नहीं है। क्या इसके आसपास कोई रास्ता है (औपचारिक प्रकार प्रणाली के isint तर्क भाग बनाने के अलावा)? कुछ प्रकार की सशर्त इनटाइलाइज़र सूची काम करेगी, लेकिन मुझे ऐसा करने के तरीके से अनजान है।

Answer 1

एक चाल है। कुंजी पीस हैं:

1. एक प्रति चूक या एक संघ प्रतियां के लिए निर्माता के लिए कदम वस्तु प्रतिनिधित्व (और इस प्रकार प्रतियां सक्रिय सदस्य), और निरंतर अभिव्यक्ति मूल्यांकन में अनुमति दी है।
2. प्रारंभिकरण पूर्ण होने के बाद आप निरंतर अभिव्यक्ति मूल्यांकन में सक्रिय संघ सदस्य को नहीं बदल सकते हैं, लेकिन आप पसंद में देरी के लिए किसी अन्य निर्माता को प्रतिनिधि दे सकते हैं।
3. यदि आप कॉपी करने या कन्स्ट्रक्टर को स्थानांतरित करने के लिए प्रतिनिधि हैं, तो आप किसी अन्य ऑब्जेक्ट में पास कर सकते हैं जो पहले से ही सही स्थिति में प्रारंभ हो चुका है और इसके सक्रिय सदस्य की प्रतिलिपि बना सकता है।

एक साथ इस लाना, हम पाते हैं:

template<typename T> struct tag {}; 
struct A { 
    union { 
    int i; 
    float f; 
    }; 
    constexpr A(tag<int>, double d) : i(d) {} 
    constexpr A(tag<float>, double d) : f(d) {} 
    constexpr A(double d, bool isint) : A(isint ? A(tag<int>(), d) : A(tag<float>(), d)) {} 
}; 

constexpr A a(1.0, true); // ok, initializes 'i' 
constexpr A b(5, false); // ok, initializes 'f' 

यह हाल बजना, जीसीसी, और ईडीजी द्वारा स्वीकार कर लिया है, और सी ++ केवल 11 constexpr की आवश्यकता है।

चेतावनी: जीसीसी 5.1.0 एक बग जहां यह ऊपर कोड miscompiled था (a और 0 करने के लिए b आरंभ); यह बग जीसीसी के पहले या बाद के संस्करणों में मौजूद नहीं है।

Answer 2

छोटी रचनात्मक वस्तुओं के लिए, new की कोई आवश्यकता नहीं है। आप ऑब्जेक्ट आजीवन शुरू कर सकते हैं, और केवल असाइनमेंट ऑपरेटर द्वारा सक्रिय union सदस्य का चयन करें।

struct A { 
    union { 
     int i; 
     float f; 
    }; 
    A(double d, bool isint) { 
     if (isint) i = d; 
     else f = d; 
    } 
}; 

अगर वहाँ वास्तव में एक निर्माता कहीं सदस्य के अंदर है, तो यह आवश्यक रिचर्ड के जवाब का उपयोग करने के लिए है।