能否在C++中实现零分配协程运行时？相关设计疑问解析

• Rust的async函数会返回编译器生成的匿名结构体，该结构体可直接存储在栈上（满足栈大小限制的前提下），无需堆内存分配。开发者只需调用结构体上自动生成的poll方法即可驱动异步逻辑，设计简洁直观。
• C++协程默认强制堆内存分配，核心原因是co_return的机制限制：标准实现下，保存协程状态的协程帧默认会分配到堆上。虽然可通过自定义分配器将协程帧放到栈缓冲区，但会大幅增加代码复杂度，不属于常规用法。

仅靠await_ready、await_suspend、await_resume三个方法完全不足以支撑C++协程的完整逻辑，原因如下：

• promise_type是C++协程的核心控制枢纽，负责协程全生命周期管理：包括协程启动初始化、返回值存储与传递、异常捕获处理、协程结束清理。比如co_return的返回值通过promise_type::return_value传递，协程最终结果也从promise_type中获取；若协程抛出异常，promise_type::unhandled_exception会负责处理。
• 三个await_*方法仅负责处理**awaiter（等待对象）**的逻辑——即协程挂起/恢复时与外部异步操作的交互，完全不涉及协程自身的状态管理、返回值处理等核心流程。
• 从编译器角度，promise_type是生成协程框架代码的依据：编译器需要通过它确定如何保存协程帧、协调执行流程。如果仅提供三个await_*方法，编译器无法得知协程的控制规则，也就无法生成正确的协程代码。这也是开发者无法直接构造带三个await_*方法的SomeTask<T>返回的原因——编译器需要promise_type绑定协程核心逻辑。

核心思路是让协程帧完全在栈上分配，或让协程无需挂起（从而不需要分配帧），具体可行方式如下：

1. 利用编译器扩展实现栈分配协程帧 #

部分编译器提供栈分配协程的扩展选项，比如Clang的-fcoroutines-stack-allocation、MSVC的_coro_stack_allocation。配合自定义协程返回类型，让promise_type的get_return_object返回栈上对象，即可实现零分配：

#include <coroutine>
#include <cstdlib>

template<typename T>
struct StackTask {
    struct promise_type {
        T result;

        StackTask get_return_object() noexcept {
            return StackTask{std::coroutine_handle<promise_type>::from_promise(*this)};
        }

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

        void return_value(T val) noexcept {
            result = val;
        }

        void unhandled_exception() noexcept {
            std::terminate();
        }
    };

    std::coroutine_handle<promise_type> handle;

    ~StackTask() noexcept {
        if (handle) handle.destroy();
    }

    T get() noexcept {
        return handle.promise().result;
    }
};

// 零分配协程示例
StackTask<int> zero_alloc_coro() {
    co_return 42;
}

编译时开启对应编译器的栈分配选项，协程帧就会分配在栈上，无需堆内存。

2. 实现无挂起的协程 #

如果协程逻辑中没有任何挂起点（不使用co_await），编译器会将协程优化为同步执行，此时无需分配任何堆内存。这种方式适合不需要异步挂起的场景，本质是用协程语法简化同步逻辑：

#include <coroutine>

struct SyncTask {
    struct promise_type {
        SyncTask get_return_object() noexcept { return {}; }
        std::suspend_never initial_suspend() noexcept { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() noexcept {}
        void unhandled_exception() noexcept { std::terminate(); }
    };
};

SyncTask sync_coro() {
    // 无挂起逻辑，同步执行
    co_return;
}

3. 编译期确定协程帧大小，用栈缓冲区容纳 #

若能在编译期确定协程帧大小，可手动在栈上分配足够大的缓冲区存储协程帧。这种方式依赖编译器的非标准扩展（比如GCC的__coro_frame_size），通用性较差，但确实能实现零分配。

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