C++ 中 make_exception_ptr：安全捕获与跨线程传递异常的利器

在现代 C++ 多线程与异步编程实践中，异常处理的边界常被打破——当异常发生在子线程、协程或延迟执行的回调中时，throw 语句无法直接向调用方传播。此时，标准库提供的 std::make_exception_ptr 成为关键桥梁：它将异常对象封装为可拷贝、可转移的 std::exception_ptr，实现异常状态的“序列化”与“延迟重抛”。本文系统解析其原理、典型用法、生命周期管理及常见陷阱，助你写出更健壮、可维护的异常感知代码。

为什么需要 make_exception_ptr？

C++ 的异常机制依赖栈展开（stack unwinding），而栈展开仅在同一线程内有效。若在线程 A 中 throw 异常，却未在该线程内 catch，程序将调用 std::terminate 并终止。因此，跨线程传递异常必须绕过栈展开，转而保存异常对象的完整状态。std::exception_ptr 正是为此设计的不透明句柄——它不持有异常对象本身，而是引用一个由 make_exception_ptr 创建的、带引用计数的共享副本。

#include <exception>
#include <iostream>
#include <thread>
#include <memory>

void risky_task() {
    throw std::runtime_error("Operation failed in worker thread");
}

void safe_thread_wrapper(std::exception_ptr& out_ptr) {
    try {
        risky_task();
    } catch (...) {
        // 捕获任意异常，并转换为 exception_ptr
        out_ptr = std::make_exception_ptr(std::current_exception());
    }
}

注意：std::current_exception() 返回当前正在处理的异常的 exception_ptr；而 std::make_exception_ptr(expr) 直接对表达式求值并包装其结果（即使该表达式不抛出异常）。二者用途不同：前者用于 catch (...) 块内“转发”已捕获异常；后者用于主动构造异常指针（例如预存错误状态）。

主动构造与延迟重抛

make_exception_ptr 最直观的应用是预定义错误场景。例如，在异步任务初始化阶段，若参数校验失败，可立即生成 exception_ptr 并存储，待后续执行时统一处理：

#include <exception>
#include <string>

struct asyncJob {
    std::exception_ptr error_state;

    explicit asyncJob(const std::string& config) {
        if (config.empty()) {
            // 主动构造异常指针，不触发栈展开
            error_state = std::make_exception_ptr(
                std::invalid_argument("configuration string cannot be empty")
            );
        }
    }

    void execute() {
        if (error_state) {
            // 在任意上下文中重抛异常
            std::rethrow_exception(error_state);
        }
        // ... 实际业务逻辑
    }
};

std::rethrow_exception 是唯一能从 exception_ptr 恢复异常语义的操作：它将异常对象重新注入当前栈帧，触发标准的 catch 匹配与栈展开流程。该操作是线程安全的，且可多次调用（每次均创建新异常对象副本）。

跨线程异常传递实战

以下示例展示如何在线程间安全传递异常：

#include <exception>
#include <iostream>
#include <thread>
#include <vector>

void worker_thread(std::exception_ptr& target_ptr) {
    try {
        // 模拟可能失败的操作
        if (std::rand() % 2 == 0) {
            throw std::logic_error("Random logic error in worker");
        }
    } catch (...) {
        target_ptr = std::current_exception(); // 捕获并存储
    }
}

int main() {
    std::exception_ptr captured;
    std::thread t(worker_thread, std::ref(captured));
    t.join();

    if (captured) {
        try {
            std::rethrow_exception(captured); // 在主线程中重抛
        } catch (const std::logic_error& e) {
            std::cout << "Caught in main: " << e.what() << "\n";
        } catch (const std::exception& e) {
            std::cout << "Generic exception: " << e.what() << "\n";
        }
    } else {
        std::cout << "No exception occurred.\n";
    }
    return 0;
}

该模式广泛应用于 std::async、std::future 及自定义任务调度器中。std::future::get() 内部即使用类似机制：若异步任务抛出异常，get() 将调用 std::rethrow_exception 向调用方传播。

生命周期与资源管理要点

std::exception_ptr 是轻量级句柄，其拷贝开销极小，且支持 nullptr 语义（默认构造值为空）。但需注意：

• exception_ptr 不管理所指异常对象的内存——异常对象本身由 make_exception_ptr 或 current_exception 在堆上分配，由引用计数自动释放；
• 空 exception_ptr（如 std::exception_ptr{}）调用 rethrow_exception 将导致 std::bad_exception；
• exception_ptr 可通过 == 和 != 比较是否指向同一异常实例（基于内部句柄相等性，非异常内容）。

#include <exception>
#include <cassert>

void test_comparisons() {
    auto ep1 = std::make_exception_ptr(std::runtime_error("A"));
    auto ep2 = std::make_exception_ptr(std::runtime_error("A"));
    auto ep3 = ep1; // 拷贝

    assert(ep1 != ep2); // 不同异常对象，即使内容相同
    assert(ep1 == ep3); // 同一共享实例
    assert(ep1);        // 非空
}

结语：让异常成为可控的程序状态

std::make_exception_ptr 并非替代传统异常处理的方案，而是将其能力延伸至异步、并发与延迟执行场景的核心工具。它使异常从“控制流中断”升维为“可携带的状态对象”，显著提升大型系统的可观测性与错误恢复能力。掌握其与 std::current_exception、std::rethrow_exception 的协同使用，是编写高可靠性 C++ 系统的必备技能。在设计异步接口、任务队列或错误报告模块时，不妨优先考虑以 exception_ptr 为载体统一错误表示——这既是语言特性的优雅运用，更是工程实践的成熟选择。