एक में कई Types रखने वाले Unions

कभी-कभी कोई मान पूर्णांक या फ़्लोट हो सकता है, लेकिन एक समय में केवल एक। union एक ही स्थान में कई संभावित प्रकारों में से ठीक एक को रखता है।

आप union लिखकर नामित फ़ील्ड की सूची देते हैं, जिनमें हर फ़ील्ड का अपना प्रकार होता है। किसी भी क्षण मान में उन फ़ील्डों में से केवल एक होता है।

struct के विपरीत, union एक साथ हर field को नहीं रखता। यह केवल एक सक्रिय field को संग्रहीत करता है और बाकी मौजूद नहीं होते।

आप dot syntax से कोई एक field चुनकर union को initialize करते हैं। वह field उस value के लिए सक्रिय बन जाता है।

आप union को उसी field के माध्यम से पढ़ते हैं जिसे आपने सेट किया है। n.int को access करने पर आपको वही integer मिलता है जिसे आपने संग्रहीत किया था, ठीक वैसे ही जैसे किसी struct के अंदर पहुँचते हैं।

union अपने सबसे बड़े field के लिए जगह आरक्षित करता है और उसी जगह का दोबारा उपयोग करता है। इसलिए यह कई विकल्पों में से किसी एक को रखने का संक्षिप्त तरीका है।

नया field assign करने पर वही field सक्रिय बन जाता है और पुरानी value समाप्त हो जाती है। अब union एक अलग रूप को दर्शाता है।

यदि आप ऐसा field पढ़ते हैं जो सक्रिय नहीं है, तो यह एक bug है। सुरक्षित builds में Zig गलत access का पता लगाकर panic शुरू कर देता है।

साधारण union को यह याद नहीं रहता कि कौन-सा field सक्रिय है। आपको इसका हिसाब स्वयं रखना पड़ता है; इसी समस्या को tagged union हल करता है।

struct अपने fields का तार्किक AND होता है, इसलिए सभी fields साथ मौजूद रहते हैं। union तार्किक OR होता है: एक समय में केवल एक field मौजूद रहता है।

जब कोई value स्वाभाविक रूप से कुछ रूपों में से कोई एक हो, तब union का उपयोग करें—जैसे कोई token जो number या symbol हो, दोनों एक साथ कभी नहीं।

आपने unions देखे: कई typed विकल्पों में से किसी एक field को रखने वाला एक slot। ये memory साझा करते हैं, इसलिए केवल सक्रिय field को set और read करें। 🔀