std::variant可通过包含成功与错误类型来安全处理函数结果，如用std::variant<int, std::string>表示计算结果或错误信息，配合std::holds_alternative、std::get_if或std::visit判断状态，避免访问错误类型引发异常，虽不如C++23的std::expected语义清晰，但在无std::expected时是类型安全的替代方案。
在C++中，std::variant 本身不直接表示“错误状态”，但它可以通过类型安全的多态值来间接处理可能出错的情况。它的设计目标是替代C风格的union，提供类型安全的“任意一种类型”的存储方式。常用于替代返回可能失败的函数结果，比如代替 int 返回码或指针返回 nullptr 的做法。
使用 std::variant 表示成功与失败类型
通过将“成功类型”和“错误类型”都包含在 variant 中，可以显式表达函数的两种输出路径。例如：
#include <variant>
#include <string>
#include <iostream>
<p>using Result = std::variant<int, std::string>; // int 表示成功值，string 表示错误信息</p><p>Result divide(int a, int b) {
if (b == 0) {
return std::string("Division by zero");
}
return a / b;
}</p>调用时使用 std::holds_alternative、std::get_if 或 std::visit 来判断当前状态：
立即学习“C++免费学习笔记（深入）”；
void handle_result(const Result& res) {
if (std::holds_alternative<int>(res)) {
std::cout << "Result: " << std::get<int>(res) << "\n";
} else {
std::cout << "Error: " << std::get<std::string>(res) << "\n";
}
}
使用 std::visit 处理多种类型
std::visit 是处理 variant 的推荐方式，尤其适合复杂逻辑：
std::visit([](const auto& value) {
using T = std::decay_t<decltype(value)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "Success: " << value << "\n";
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "Error: " << value << "\n";
}
}, res);
这种写法支持编译时分支，类型安全且高效。
避免访问错误类型的运行时异常
如果使用 std::get<T>(variant) 访问错误类型（即 variant 当前不持有 T），会抛出 std::bad_variant_access 异常。为避免崩溃，应先检查：
- 用 std::holds_alternative<T>(v) 判断是否持有某类型
- 或使用 std::get_if<T>(&v) 获取指针，失败返回 nullptr
if (auto* p = std::get_if<int>(&res)) {
std::cout << "Got value: " << *p << "\n";
} else if (auto* err = std::get_if<std::string>(&res)) {
std::cout << "Got error: " << *err << "\n";
}
与 std::expected 的对比（C++23）
C++23 引入了 std::expected<T, E>，更适合错误处理场景。相比 variant，它语义更清晰：明确区分“期望值”和“错误值”。
例如：
std::expected<int, std::string> divide(int a, int b) {
if (b == 0) return std::unexpected("Division by zero");
return a / b;
}
调用方使用 if (res.has_value()) 或直接解包，比 variant 更直观。
基本上就这些。std::variant 能用于错误处理，关键是把错误类型作为合法状态之一。虽然不如 std::expected 语义清晰，但在 C++17/20 中仍是类型安全的好选择。注意检查类型再访问，避免异常。不复杂但容易忽略。
