در زبان C، یونیون (union) یک نوع داده‌ی ویژه است که به چندین عضو اجازه می‌دهد تا در یک فضای حافظه‌ی مشترک قرار گیرند. اگرچه این ویژگی برای ذخیره‌سازی انواع مختلف داده در یک مکان کارآمد است، اما استفاده از آن در C++ با چالش‌های جدی همراه است. بزرگترین مشکل، عدم ایمنی نوع (Type Safety) است؛ برنامه‌نویس باید به‌صورت دستی Track کند که در هر لحظه کدام عضو از یونیون فعال است و اگر به‌اشتباه به عضوی که مقدار معتبری ندارد دسترسی پیدا کند، رفتار تعریف‌نشده (Undefined Behavior) رخ می‌دهد . علاوه بر این، یونیون‌های سنتی با انواع غیرساده مانند std::string به‌خوبی کار نمی‌کنند و مدیریت چرخه‌ی حیات آنها پیچیده است.

std::variant به‌عنوان جایگزینی مدرن

C++17 با معرفی std::variant در هدر <variant>، یک یونیون نوع‌ایمن (Type-Safe Union) ارائه کرده است که تمام این مشکلات را حل می‌کند . یک شیء از نوع std::variant می‌تواند در هر لحظه، مقداری از یکی از انواع مشخص‌شده در لیست خود را در خود جای دهد یا در شرایط خاص خطا، بدون مقدار باشد . مهم‌تر از همه، std::variant به‌طور خودکار نوع فعال خود را追踪 می‌کند، بنابراین دیگر نیازی به نگهداری یک پرچم جداگانه برای تشخیص نوع فعلی نیست . این ویژگی، ایمنی کد را به‌طور چشمگیری افزایش می‌دهد و از بروز خطاهای ناشی از دسترسی به نوع اشتباه جلوگیری می‌کند .

مزایای کلیدی نسبت به یونیون سنتی

ایمنی نوع و مدیریت خودکار

std::variant با ارائه‌ی توابعی مانند std::holds_alternative و std::get، امکان بررسی و دسترسی به مقدار را به روشی امن فراهم می‌کند . برخلاف یونیون سنتی که نیاز به مدیریت دستی دارد، std::variant تضمین می‌کند که فقط نوع‌های معتبر قابل دسترسی هستند و در صورت بروز خطا، استثنای std::bad_variant_access پرتاب می‌شود .

عدم تخصیص حافظه‌ی پویا

یکی از ویژگی‌های مهم std::variant این است که هیچ‌گاه حافظه‌ی پویا (Dynamic Memory) تخصیص نمی‌دهد . مقدار ذخیره‌شده مستقیماً درون خود شیء std::variant قرار می‌گیرد، که این امر آن را برای سیستم‌های با کارایی بالا و محیط‌های نهفته بسیار مناسب می‌سازد .

پشتیبانی از انواع غیرساده

برخلاف یونیون‌های سنتی که با انواعی مانند std::string یا std::vector مشکل داشتند، std::variant به‌طور کامل از انواع غیرساده پشتیبانی می‌کند و مدیریت ساخت و تخریب آنها را به‌درستی انجام می‌دهد .

مفهوم مجموعه‌ی بسته و حالت بدون مقدار

std::variant یک مجموعه‌ی بسته (Closed Set) از انواع را تعریف می‌کند؛ به این معنا که لیست انواع مجاز، هنگام کامپایل مشخص می‌شود و قابل تغییر نیست . اگر به مجموعه‌ای باز (Open Set) از انواع نیاز دارید، باید از std::any استفاده کنید. همچنین std::variant ممکن است در شرایط خاص، مانند پرتاب استثنا هنگام انتساب، به حالت بدون مقدار (Valueless) درآید که با متد valueless_by_exception() قابل تشخیص است .

نحوه‌ی کار با std::variant

برای کار با std::variant، روش‌های مختلفی وجود دارد که هر کدام برای سناریوی خاصی مناسب هستند. تابع std::holds_alternative<T> بررسی می‌کند که آیا variant در حال حاضر حاوی نوع T است یا خیر . برای دسترسی به مقدار، std::get<T> یا std::get<Index> مقدار را برمی‌گرداند و در صورت عدم تطابق نوع، استثنا پرتاب می‌کند . همچنین std::get_if<T> یک اشاره‌گر به مقدار بازمی‌گرداند یا در صورت عدم تطابق، nullptr برمی‌گرداند که امکان بررسی ایمن بدون استثنا را فراهم می‌کند .

کلیدواژه ها : std::variant-یونیون نوع‌ایمن در C++-C++17 type-safe union-مزایای std::variant نسبت به union-آموزش std::variant-std::holds_alternative-std::get-std::get_if-std::bad_variant_access-valueless_by_exception-مجموعه بسته variant-مقایسه union و variant-مدیریت انواع در C++-جایگزین ایمن برای union-union در C++