有什么优雅的方法可以让 C++20 协程句柄到外面吗?



我们知道 C++20 协程在使用后挂起并返回调用方co_await可等待的,如果我们想恢复这个协程,唯一的方法是从可等待的对象函数void await_suspend(std::coroutine_handle<> cont) const获取协程句柄,然后使用 handle.resume() 恢复协程,有没有办法从协程外部获取协程句柄或任何更好的方法来恢复协程?

从广义上讲,您不应该希望从协程机器外部获取句柄。如果您这样做,那么您很可能没有按照预期的方式使用协程。

C++20 中设计的协程的想法是不可见的。也就是说,从协程之外的代码的角度来看,没有人应该知道它是作为协程实现的。它只是一个返回某种类型的函数,该类型表示将来可以获得的值;它如何做到这一点是一个实现细节。

"恢复协程"意味着告诉协程函数返回的未来对象生成值。这应该只是对未来对象的常规 API 调用。它是有权访问承诺的未来对象,它是有权访问协程句柄以恢复它的承诺。

此外,除非协程是生成器,否则直接恢复协程执行的代码应该是协程co_await编辑的"可等待"。也就是说,有一些进程将产生一个值,你co_await这个过程返回的未来,一旦值准备好,这个过程就会恢复你的协程。如果其他人需要co_await您的协程产生的值,那很好。您的承诺/未来机器将在您的协程完成后恢复它们,并赋予它们您的承诺价值。

这就是co_await协程的恢复方式。此过程之外的代码不需要句柄,也不应该获取句柄。

在任何情况下,除非协程的承诺/未来机制明确为您提供了提取句柄的 API,否则您无法获得句柄。

好吧,我找到了一种更好的方法,通过引用 c++23 std::generator 从调用者恢复协程,如下所示:

struct Result{
//add
Result(promise_type* obj):promise_type_ptr(obj){}
//add
void resume(){
promise_type_ptr->resume();
}
struct promise_type {
// mod
Result get_return_object() { 
return Reuslt(this);
}

// add
void resume(){
coroutine_handle<promise_type>::from_promise(*this).resume();
}

std::suspend_never initial_suspend() { return {}; }
std::suspend_never final_suspend() noexcept { return {}; }
void unhandled_exception() {}

suspend_aways yield_value(){}
void return_void() {}   
Result return_value(const Result& res){ return res;}
};

// add
promise_type *promise_type_ptr;
};

我们可以使用coroutine_handle<promise_type>::from_promise(*this);从 promise_type 对象指针获取协程句柄,因此我们可以在 caller 的协程返回结果中创建一个函数resume(),并按如下方式使用它

auto result = CoroutineFunction();
result.resume();

最新更新