C++无栈协程vs有栈协程对比

2026-04-02 10:10:17 1719阅读 0评论

在现代编程中，协程已经成为提高程序性能和并发处理能力的重要工具。C++11引入了协程的概念，但其默认实现是有栈协程。然而，近年来，C++20引入了无栈协程（也称为Fiber），这使得协程的实现更加灵活和高效。本文将详细介绍C++无栈协程和有栈协程的区别，并探讨它们各自的适用场景。

什么是协程？

协程是一种特殊的函数，可以在执行过程中暂停并保存状态，稍后从暂停的地方继续执行。协程的主要优点是能够简化异步编程，提高代码的可读性和维护性。

有栈协程 vs 无栈协程

有栈协程

定义：有栈协程是指每个协程都有自己的独立堆栈空间。当协程被切换时，堆栈需要被保存和恢复。

C++无栈协程vs有栈协程对比

特点：

内存占用较高：每个协程都有独立的堆栈，因此内存占用较大。
切换开销较大：保存和恢复堆栈需要较多的CPU资源，导致切换开销较大。
适用场景：适用于不需要大量协程的情况，或者协程之间的数据共享较少的情况。

示例：

#include <iostream>
#include <coroutine>

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

Task my_coroutine() {
    std::cout << "Coroutine started" << std::endl;
    co_await std::suspend_always{};
    std::cout << "Coroutine resumed" << std::endl;
}

int main() {
    my_coroutine();
    return 0;
}

无栈协程

定义：无栈协程是指协程共享一个固定大小的堆栈空间，而不是每个协程都有独立的堆栈。当协程被切换时，堆栈不需要被保存和恢复。

特点：

内存占用较低：所有协程共享一个固定大小的堆栈，因此内存占用较低。
切换开销较小：由于不需要保存和恢复堆栈，切换开销较小。
适用场景：适用于需要大量协程的情况，或者协程之间的数据共享较多的情况。

示例：

#include <iostream>
#include <coroutine>

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

Task my_coroutine() {
    std::cout << "Coroutine started" << std::endl;
    co_await std::suspend_always{};
    std::cout << "Coroutine resumed" << std::endl;
}

int main() {
    my_coroutine();
    return 0;
}