std::variant不是类型安全的联合体简单替代品,而是带索引、可访问、可拷贝的类型安全容器;访问前必须检查状态,否则运行时抛std::bad_variant_access异常,且存在valueless_by_exception等特殊状态需主动防御。
std::variant 不是“类型安全的联合体”这个说法的简单替代品,它本质是带索引的、可访问的、可拷贝的类型安全容器——用错场景或忽略状态检查,照样崩溃。
std::variant 访问前必须确认当前持有类型
直接调用 std::get<t>(v)</t> 而不检查 v.index() 或不捕获 std::bad_variant_access,运行时抛异常。这不是编译期错误,容易漏测。
常见错误现象:std::get<int>(v)</int> 在 v 实际存的是 std::string 时触发 std::bad_variant_access。
- 推荐用
std::holds_alternative<t>(v)</t>先判断,再取值 - 或用
std::visit+ lambda 统一处理所有可能类型(更安全、更清晰) - 调试时可临时加断言:
assert(std::holds_alternative<int>(v));</int>
std::visit 的 lambda 必须覆盖 variant 所有备选类型
如果 std::variant<int double std::string></int> 传给 std::visit,而 lambda 只写了 [](int){} 和 [](double){},缺少 [](const std::string&){},编译失败:error: no matching function for call to ‘visit’。
立即学习“C++免费学习笔记(深入)”;