C++ 中的 throw_with_nested：构建可追溯的异常链

在现代 C++ 异常处理实践中，单一异常往往难以完整表达错误发生的上下文。当底层函数抛出异常，而上层逻辑需要补充诊断信息（如操作意图、参数状态或调用路径）时，简单地重新抛出新异常会丢失原始错误细节；直接捕获再包装又易导致异常类型退化或堆栈信息断裂。C++11 引入的 std::nested_exception 与 C++17 正式标准化的 std::throw_with_nested，共同构成了一套轻量、标准且类型安全的嵌套异常机制，使开发者能自然构建“异常链”，显著提升错误定位效率与系统可观测性。

嵌套异常的核心思想

嵌套异常并非创建异常对象的继承关系，而是通过组合方式将一个异常对象作为成员嵌入另一个异常对象中。std::nested_exception 是一个空基类，其构造函数自动捕获当前活跃异常（通过 std::current_exception()），并提供 rethrow_nested() 接口用于递归重抛。throw_with_nested 则是其实用封装：它接受任意异常对象（或字面量），构造一个派生自该类型的嵌套异常实例，并立即抛出。

关键在于——嵌套不破坏原有异常类型。若原异常为 std::runtime_error，经 throw_with_nested 包装后，仍可被 catch (const std::runtime_error&) 捕获；同时，通过 dynamic_cast 或 std::rethrow_if_nested，又能访问内层异常。

基本用法示例

以下代码演示了如何在函数调用链中逐层添加上下文：

#include <exception>
#include <stdexcept>
#include <iostream>
#include <string>

void low_level_operation() {
    throw std::runtime_error("I/O timeout after 5s");
}

void mid_level_task(const std::string& filename) {
    try {
        low_level_operation();
    } catch (...) {
        // 使用 throw_with_nested 添加文件名上下文
        std::throw_with_nested(
            std::runtime_error("Failed to process file: " + filename)
        );
    }
}

void high_level_job(int id) {
    try {
        mid_level_task("config.json");
    } catch (...) {
        // 再次嵌套任务ID信息
        std::throw_with_nested(
            std::logic_error("Job #" + std::to_string(id) + " aborted")
        );
    }
}

int main() {
    try {
        high_level_job(42);
    } catch (const std::exception& e) {
        std::cout << "Top-level error: " << e.what() << '\n';
        // 可选择递归展开嵌套
        std::rethrow_if_nested(e);
    }
}

运行时输出为 "Top-level error: Job #42 aborted"，但若在 catch 块中调用 std::rethrow_if_nested(e)，则会触发内层异常重抛，最终由最外层未捕获异常处理器打印完整链（取决于运行环境）。更实用的方式是自定义异常类并重载 what()，实现自动展开。

构建可展开的自定义异常类

为便于调试，建议定义支持嵌套展开的异常基类：

#include <exception>
#include <string>
#include <sstream>

class contextual_exception : public std::exception, public std::nested_exception {
protected:
    std::string context_;

public:
    explicit contextual_exception(const std::string& msg) : context_(msg) {}

    const char* what() const noexcept override {
        try {
            // 尝试获取嵌套异常信息
            std::rethrow_if_nested(*this);
            return context_.c_str();
        } catch (const std::exception& e) {
            std::ostringstream oss;
            oss << context_ << " => " << e.what();
            // 注意：此处返回临时字符串指针不安全，仅作示意
            // 实际项目应缓存结果或使用其他线程安全方案
            static std::string last_msg;
            last_msg = oss.str();
            return last_msg.c_str();
        } catch (...) {
            return context_.c_str();
        }
    }
};

// 使用示例
void safe_read_file(const std::string& path) {
    try {
        low_level_operation();
    } catch (...) {
        std::throw_with_nested(contextual_exception("Reading file '" + path + "'"));
    }
}

该设计使 what() 方法能递归拼接上下文，避免手动展开逻辑分散在各处。

注意事项与最佳实践

• 仅在必要时嵌套：过度嵌套会增加开销与理解成本。优先使用异常消息本身携带足够信息，嵌套应聚焦于跨模块/跨抽象层的语义补充。
• 避免重复捕获-重抛：throw_with_nested 应在 catch(...) 块中调用，而非 catch(const std::exception&) 后显式 throw，否则可能丢失原始异常的完整状态。
• 兼容性考量：throw_with_nested 自 C++11 起可用（需 <exception>），但完整语义支持依赖编译器对 std::nested_exception 的实现。主流标准库（libstdc++、libc++、MSVC STL）均已完善支持。
• 与 std::error_code 协同：对于系统级错误，可结合 std::error_code 构造更结构化的上下文，例如将 errno 与业务描述共同嵌套。

结语

std::throw_with_nested 并非语法糖，而是 C++ 异常模型走向工程化的重要一步。它让异常不再只是“发生了什么”，更清晰地回答“在什么背景下发生”以及“为何重要”。在服务端程序、配置解析器、序列化框架等需要强错误溯源能力的场景中，合理运用嵌套异常，能大幅缩短故障排查时间，提升代码健壮性与团队协作效率。掌握其原理与模式，是现代 C++ 工程师构建高可靠性系统不可或缺的技能之一。