C++ std::variant 与 std::visit：安全保存多种类型，写清每个处理分支
一个配置值可能是整数，也可能是字符串；一条消息可能是登录请求，也可能是退出通知。如果候选类型在编译期已知，C++17 的 std::variant 能用一个类型安全的对象表达"这些类型中的一个"，不必自己维护 union 和类型标记。
1. 先判断，再按类型取值
cpp
#include <iostream>
#include <string>
#include <variant>
int main() {
std::variant<int, std::string> value = std::string("ready");
if (auto text = std::get_if<std::string>(&value)) {
std::cout << *text << std::endl;
}
value = 42; // 切换到整数分支
if (std::holds_alternative<int>(value)) {
std::cout << std::get<int>(value) << std::endl;
}
}get_if 接收 variant 指针，当前类型不匹配时返回空指针，适合条件分支。get 在类型不匹配时会抛出 std::bad_variant_access。按类型访问时，该类型必须在候选列表中恰好出现一次。
从 get_if 得到的指针是在借用内部对象。如果 variant 被销毁，或切换类型导致原对象销毁，就不能再继续使用旧指针。
2. std::visit：把每种类型的处理放在一起
下面是独立的 C++17 程序。Overloaded 把多个 lambda 的调用运算符合到一个访问器中，让不同类型走不同分支。
cpp
#include <iostream>
#include <string>
#include <variant>
template<class... Ts>
struct Overloaded : Ts... {
using Ts::operator()...;
};
template<class... Ts>
Overloaded(Ts...) -> Overloaded<Ts...>;
int main() {
std::variant<int, std::string> value = std::string("ready");
std::visit(Overloaded{
[](int number) {
std::cout << "number: " << number << std::endl;
},
[](const std::string& text) {
std::cout << "text: " << text << std::endl;
}
}, value);
}访问器必须能处理所有可能的分支。上面两个分支都返回 void。C++17 中常用的 std::visit 调用还要求各分支返回类型和值类别一致；一个返回 int、另一个返回 string，不能直接当成同一种返回结果。
3. 默认值不等于"没有值"
variant 默认构造时会默认构造第一个候选类型；例如以 int 为第一个类型时，通常得到整数零，而不是空状态。若需要显式表示"尚未设置"，可以把 std::monostate 放在第一位：
cpp
std::variant<std::monostate, int, std::string> config;
// 默认处于 monostate 分支；此处是示意片段，需要相应头文件给它写 visit 时，也要处理 monostate。另一个需要知道的边界是：某些切换类型操作在构造抛异常时，variant 可能进入 valueless_by_exception 状态。它与主动设计的 monostate 不一样；对这种无值状态调用 visit 会抛出 bad_variant_access。
4. 速查
| 需求 | 推荐接口 |
|---|---|
| 判断当前类型 | holds_alternative |
| 类型匹配就取得指针 | get_if |
| 明确知道类型并接受异常检查 | get |
| 统一处理所有类型 | visit |
| 需要业务上的"未设置" | 增加 monostate 分支 |
variant 适合有限、已知的候选类型集合。把每种状态的处理规则写完整，比散落的类型判断和强制转换更容易维护。