C++20协程——最简单的协程

一个函数返回了"协程接口",那么这个函数就是一个协程。

协程接口要求必须有promise_type。(awaitable是另外的,非必须。)

协程句柄(代表协程)是编译器负责创建的,我们只管用就行了。

最小化示例如下:

cpp 复制代码
#include <coroutine>

#include <iostream>

struct CoroutineInterface {
	struct promise_type {
		CoroutineInterface get_return_object() {
			return CoroutineInterface(std::coroutine_handle<promise_type>::from_promise(*this));
		}
		auto initial_suspend() {
			return std::suspend_always();
		}

		auto final_suspend()noexcept {
			return std::suspend_always();
		}
		void return_void() noexcept {

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

	CoroutineInterface(std::coroutine_handle<promise_type> co_handle) {
		co_handle_ = co_handle;
	}

	std::coroutine_handle<promise_type> co_handle_;
};

CoroutineInterface GetNumbers() {
	// co_wait initial_suspend();
	for (int i = 0; i < 8; ++i) {
		std::cerr << i << "\n";
		co_await std::suspend_always();
	}
	// co_wait final_suspend();
	co_return;
}
int main(void) {

	CoroutineInterface co_interface = GetNumbers();
	while (!co_interface.co_handle_.done()) {
		std::cerr << "resume:";
		co_interface.co_handle_.resume();
	}
	std::cerr << "successfully end\n";
	return 0;
}

函数(协程)执行时,编译器会在代码块最前面执行cowait initial_suspend(),并且在函数co_return之前(或者在异常跳出之前)执行cowait final_suspend()

initial_suspend()final_suspend()是标准库提供的两个awaitable(可等待体)。

initial_suspend()final_suspend()分别用于控制协程开始、协程即将结束时是否要挂起(挂起后会转移执行权,可以转移给调用者,或者其他协程)。

相关推荐
在黎明的反思2 天前
c++20协程
java·前端·c++20
黑不溜秋的4 天前
C++语言特性32 - 三方比较(C++20)
开发语言·c++·c++20
小毅&Nora7 天前
【后端】【C++】泛型算法:从传统到C++20 Ranges的进化之旅
算法·c++20·泛函算法
Lion Long7 天前
C++20 异步编程:用future、promise 还是协程?
开发语言·c++·stl·c++20
Mr_WangAndy8 天前
C++20新特性_指定初始化 (Designated Initializers)
c++20·c++40周年·指定初始化
Mr_WangAndy9 天前
C++20新特性_std::is_constant_evaluated() 编译期判断
c++20·c++40周年·编译期间判断
小毅&Nora10 天前
【后端】【C++】从裸指针到 C++20 协程:现代 C++ 内存与并发编程的双重革命
java·c++20
Mr_WangAndy10 天前
C++20新特性_std::jthread和chrono库扩展
c++20·c++20新特性·c++40周年·chrono库扩展·jthread线程
Mr_WangAndy10 天前
C++20新特性_原子智能指针,std::source_location和位操作函数
c++20·c++40周年·c++原子智能指针·source_location·位操作函数
Mr_WangAndy10 天前
C++20新特性_[[likely]] , [[unlikely]]属性和特性测试宏
c++20·likely·c++40周年·unlikely·特性测试宏