C++异常处理与协程如何配合协程框架中的异常传播机制-C++-PHP中文网

C++异常处理与协程如何配合协程框架中的异常传播机制

P粉602998670

发布： 2025-07-19 09:31:01

原创

984人浏览过

c++++协程中异常处理的关键在于异常的捕获、封装与传播。1. 协程内抛出的异常会被框架捕获并存储到promise_type中的exception_ptr；2. 父协程在co_await子协程时检查其状态并重新抛出异常；3. 实现自定义协程框架需在promise_type中保存异常、重写unhandled_exception方法并在awaiter中触发rethrow；4. 异常传播机制依赖框架设计，不同库实现可能不同，需注意文档说明及顶层异常捕获。

C++异常处理与协程如何配合协程框架中的异常传播机制

在C++协程中处理异常，其实和传统函数中的异常机制有些不同。协程的执行是分阶段的，可能被挂起再恢复，这就要求异常传播必须能跨越这些阶段。如果你希望在协程框架里正确地传递和处理异常，那得理解几个关键点：异常如何被捕获、封装并重新抛出，以及协程状态如何管理异常信息。

异常是如何进入协程状态的

当你在一个协程内部抛出异常时，这个异常不会像普通函数那样直接“冒泡”出去。它会被协程框架捕获，并存储到协程的状态对象（promise_type）中。这样做的好处是保证协程可以安全地退出当前执行阶段，而调用者可以在适当时机访问这个异常。

举个例子：

立即学习“C++免费学习笔记（深入）”；

task<void> my_coroutine() {
    throw std::runtime_error("something went wrong");
}

登录后复制

在这个例子里，my_coroutine() 是一个返回 task<> 类型的协程（比如基于 cppcoro 或者你自己实现的协程类型）。当协程运行时抛出了异常，它会被封装进协程的状态中，而不是立即终止整个线程。

要让这个机制正常工作，你的 promise_type 必须重写 unhandled_exception() 方法，并保存异常指针（通常是 std::exception_ptr）供后续使用。

协程调用链上的异常传播方式

当协程 A 调用了协程 B，并且 B 抛出了异常，这个异常需要从 B 传播回 A，甚至继续往上传递。这通常通过协程句柄（coroutine_handle）和状态对象之间的交互来完成。

常见做法是：

在子协程中捕获异常并保存到 promise 中。
父协程在 co_await 子协程时，检查其状态是否包含异常。
如果有异常，则父协程会重新抛出（rethrow）这个异常。

例如：

豆包AI编程

豆包推出的AI编程助手

483

查看详情

task<void> child_coroutine() {
    throw std::runtime_error("child failed");
}

task<void> parent_coroutine() {
    co_await child_coroutine(); // 这里会触发 child 的异常 rethrow
}

登录后复制

在这种情况下，parent_coroutine() 会在 co_await 表达式处重新抛出子协程的异常。这样你就可以在更高层进行统一的错误处理。

如何设计自己的协程框架支持异常传播

如果你想自己实现一个简单的协程框架来支持异常传播，有几个关键点要注意：

promise_type 需要有成员变量保存 exception_ptr
在 unhandled_exception() 中捕获当前异常并保存起来
在 await_resume() 或类似方法中判断是否有异常，并 rethrow

示例结构如下：

struct my_promise {
    std::exception_ptr ex;

    void unhandled_exception() {
        ex = std::current_exception();
    }

    void rethrow_if_any() {
        if (ex) std::rethrow_exception(ex);
    }
};

登录后复制

然后，在 co_await 的 await_resume() 中调用 rethrow_if_any()，就能把异常传回到调用方。

另外，如果你的协程返回值是一个 future-like 对象，比如 task<T>，那它的 get() 方法也应当检查异常并 rethrow，以便用户可以通过同步方式感知错误。