C++协程promise_type返回void引发编译错误的解决方案咨询

错误原因 #

C++协程的核心语法规则要求：promise_type::get_return_object()必须返回非void类型。这个返回值是编译器关联协程与promise对象的载体，直接返回void会导致编译器无法定位对应的promise_type，从而抛出"unable to find the promise type for this coroutine"错误。你的设计思路（避免修改函数签名）没问题，但违反了协程的基础语法要求。

可行解决方案 #

核心思路是用一个空的标记类型作为协程返回值载体，同时通过std::coroutine_traits让编译器识别无返回值函数的promise类型，完全保留原有void()函数的接口。

1. 定义空标记返回类型 #

这个类型不需要任何成员，仅作为编译器识别协程的标记：

struct VoidCoroutine {};

2. 实现适配的promise_type #

调整get_return_object()返回上述标记类型，同时实现协程必需的成员，以及co_await延迟支持：

#include <coroutine>
#include <chrono>
#include <stdexcept>

// 假设你的调度器具备延迟提交任务的接口
struct Scheduler {
    void post_delayed(std::chrono::milliseconds delay, auto callback) {
        // 调度器延迟执行回调的业务逻辑
    }
};

inline Scheduler scheduler;

struct TaskPromise {
    // 返回空标记类型，满足协程语法要求
    VoidCoroutine get_return_object() { return {}; }

    // 协程启动时立即执行，匹配原有调度器的任务启动逻辑
    std::suspend_never initial_suspend() { return {}; }

    // 协程结束时不挂起
    std::suspend_never final_suspend() noexcept { return {}; }

    // 处理无返回值的协程结束逻辑
    void return_void() {}

    // 处理未捕获异常
    void unhandled_exception() { std::terminate(); }

    // 支持co_await延迟操作的awaiter
    struct DelayAwaiter {
        std::chrono::milliseconds delay;

        bool await_ready() const { return delay.count() == 0; }

        void await_suspend(std::coroutine_handle<TaskPromise> h) {
            // 将协程句柄交给调度器，延迟后恢复执行
            scheduler.post_delayed(delay, [h]() { h.resume(); });
        }

        void await_resume() {}
    };

    // 重载co_await，支持直接等待毫秒数
    DelayAwaiter operator co_await(std::chrono::milliseconds ms) {
        return {ms};
    }
};

3. 特化std::coroutine_traits #

告诉编译器：返回值为void的函数作为协程时，使用我们定义的TaskPromise：

namespace std {
template<>
struct coroutine_traits<void> {
    using promise_type = TaskPromise;
};
}

4. 原有接口的使用方式 #

无参数、无返回值的裸函数可以直接使用co_await，完全不需要修改签名：

void my_async_task() {
    // 等待100毫秒后执行后续逻辑
    co_await std::chrono::milliseconds(100);
    // 这里编写任务的业务代码
}

关键说明 #

• 空标记类型VoidCoroutine不会影响原有接口，用户调用my_async_task()时，该返回值会被自动忽略（函数签名为void）。
• initial_suspend()返回std::suspend_never，保证协程启动后立即执行，符合原有调度器的任务执行逻辑。
• 延迟操作的核心是在await_suspend()中将协程句柄交给调度器，延迟后调用h.resume()恢复协程执行。

内容的提问来源于stack exchange，提问作者Hamza Hajeir