std::variant 是 C++17 引入的类型安全联合体，用于存储多种类型之一并明确当前活跃类型；声明时列出允许类型，支持直接、花括号及 in_place_type 初始化；访问需用 std::get、std::get_if 或 std::visit 确保类型安全。
std::variant 是 C++17 引入的类型安全联合体，用来在单个对象中存储多种可能类型中的一个，且能明确知道当前存的是哪种。它比传统 union 更安全，也比 void* 或手动管理类型标签更清晰。
如何声明和初始化 std::variant
声明时列出所有允许的类型，顺序不重要，但需满足可构造、可析构等基本要求（比如不能含引用或抽象类）。
- 支持直接初始化：`std::variant
v = 42;` → 存 int - 支持花括号初始化：`std::variant
v{"hello"};` → 存 string - 支持 std::in_place_type_t 指定构造：`std::variant<:string int> v(std::in_place_type<:string>, "hi", 2);` → 调用 string 的构造函数（带参数）
如何安全访问当前值（避免未定义行为）
不能像普通 union 那样直接 reinterpret_cast；必须先确认活跃类型，再获取值。推荐方式有三种：
-
std::get
(v) ：若当前确实是 T 类型，返回引用；否则抛 std::bad_variant_access 异常 -
std::get_if
(&v) ：返回指向 T 的指针，若不是 T 则返回 nullptr，适合需要判断类型的场景 - std::visit：最强大也最常用，对当前值执行类型匹配的函数调用，天然覆盖所有情况
如何用 std::visit 处理不同分支
std::visit 接收一个可调用对象（如 lambda）和一个或多个 variant。对单个 variant，lambda 需支持所有可能类型：
std::variant<int std::string bool> v = "test";
std::visit([](const auto& x) {
using T = std::decay_t<decltype>;
if constexpr (std::is_same_v<t int>) {
std::cout ) {
std::cout ) {
std::cout <p>这种 if constexpr + visit 的组合是类型安全、零开销的多态处理方式。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill9290" title="Web Accessibility (WCAG 2 AA))"><img
src="https://img.php.cn/upload/skill/000/000/081/179254634481418.jpg" alt="Web Accessibility (WCAG 2 AA))" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill9290" title="Web Accessibility (WCAG 2 AA))" class="overflowclass">Web Accessibility (WCAG 2 AA))</a>
<p class="overflowclass">将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。</p>
</div>
<a rel="nofollow" href="/xiazai/skill9290" title="Web Accessibility (WCAG 2 AA))" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<h3>如何查询和检查当前状态</h3>
<p>运行时可随时检查 variant 状态：</p>
<ul>
<li>
<strong>v.index()</strong>：返回当前活跃类型的 0-based 序号（如 variant<int> 中 int 是 0，string 是 1）</int>
</li>
<li>
<strong>std::holds_alternative<t>(v)</t></strong>：返回 bool，判断是否正存着 T</li>
<li>
<strong>v.valueless_by_exception()</strong>：返回 true 表示因异常导致无有效值（例如某类型构造失败）</li>
</ul>
<p>注意：index() 和 holds_alternative 不保证类型安全访问，只是辅助判断，真正取值仍需 get 或 visit。</p>
<p>基本上就这些。std::variant 的核心是“静态类型列表 + 运行时单活跃值 + 访问前校验”，用好 visit 和 get_if 就能写出清晰又健壮的类型多态逻辑。</p></t></decltype></int>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
