在 C++20 中引入的 std::variant 允许我们在单一变量中保存多种类型的值，它为错误处理提供了一种更安全、更明确的替代方案。相比传统的错误码、异常机制，使用 std::variant 可以在编译时捕获错误类型，减少运行时的不可预测性。
1. 基本概念
template<class... Types>
class variant;std::variant 是一个可变参数模板，内部维护了一组互斥的类型。对象在任何时刻只包含这组类型中的一种。通过 `std::get
()` 或 `std::get_if()` 访问值，若类型不匹配会抛出 `std::bad_variant_access`。 — ### 2. 设计一个 Result 模式 借鉴 Rust 的 Result 类型，定义一个通用错误处理结构： “`cpp template using Result = std::variant; template Result make_ok(T&& v) { return Result{std::in_place_index, std::forward(v)}; } template Result make_err(E&& e) { return Result{std::in_place_index, std::forward(e)}; } “` * `std::in_place_index ` 表示存储的是成功值 T * `std::in_place_index ` 表示存储的是错误值 E — ### 3. 示例：读取文件内容 “`cpp #include #include #include #include using FileResult = Result; FileResult read_file(const std::string& path) { std::ifstream f(path, std::ios::binary); if (!f.is_open()) return make_err(“无法打开文件: ” + path); std::string content((std::istreambuf_iterator (f)), std::istreambuf_iterator ()); return make_ok(std::move(content)); } “` 调用者使用 `std::holds_alternative ` 或 `std::get_if()` 判断结果： “`cpp int main() { auto r = read_file(“example.txt”); if (auto p = std::get_if(&r)) { // 成功 std::cout size() (r) ; // 文件路径或错误信息 using ParseError = Result; // 解析结果或 IO 错误 “` 这样错误链可以被递归解析，保持类型安全。 — ### 6. 总结 利用 `std::variant` 进行错误处理，既避免了传统异常机制的隐蔽性，又兼顾了性能和类型安全。它在现代 C++ 开发中越来越受到关注，尤其是在需要高可靠性和可维护性的系统中。只要掌握好 `variant` 的基本用法和错误传播模式，就能写出更稳健、易读的 C++ 代码。