协程可以理解为特数的函数，即可挂起与恢复的函数，而我们的普通函数只能一直执行到底，有没有感觉比普通的函数更厉害一些？协程一般都可以被划分为两大类，一类是有栈(tickful) 协程，例如goroutine，libco等；另一类是无栈(stackless)协程，例如C++、C#等。
这里说明一点，所谓的有栈、无栈并不是说这个协程运行的时候有没有栈，而是说协程之间是否存在调用栈，C++20协程是属于后者，协程之间调用就是通过在堆上分配协程帧空间实现的。
C++ 20标准引入了协程(coroutine)从此C++进入了协程时代，不过C++20协程只是包含了编译器需要的底层功能，开发者使用相对复杂一些，进行封装后才可以进一步使用。
下面我们看一下C++20协程的整体执行流程：
图1
针对上图1中的每个模块释义如下：
0、开始执行协程；
1、首先在堆上分配协程帧，大小包括实参大小，局部变量大小（包括寄存器），promise_type对象大小，协程状态等；
2、把协程的实参拷贝到协程帧中；
3、构造promise_type对象，promise_type构造函数如果与协程的构造函数完全一致，那么调用这个构造函数，否则调用默认构造函数；
4、通过promise_type对象来构造协程的返回类型Corouting_obj对象；
5、执行表达式co_awaitpromise_type.inintial_suspend()，可以挂起，此处为定制点，可以自定义协程行为；
6、如果协程在initial_suspend处挂起了，则需要等待回复进行执行；
7、协程函数体代码执行；
8、通过co_return语句返回时，将转换成对promise_type类型的return_void或return_value接口进行调用，二者选其中之一。具体看co_return后面跟着的表达式，如果没有表达式或者是void，转换为return_void，否则转换为return_value。co_return语句表示这个协程即将结束其生命期；
9、协程体内发生了异常，由unhandled_exception接口对异常进行处理；
10、final_suspend允许协程结束前挂起，当协程体内抛出异常或者通过co_return返回时都将到达这个挂起点，可以自定义行为，但不能抛出异常，所以实现时需要被修饰为noexcept；
11、堆内存申请失败，处理异常函数
promise_type::get_return_object_on_allocation_failure()；2.1节介绍了C++协程的整个执行过程，那么c++20为开发者实现协程又提供了哪些新的关键词、 以及什么样的函数看作是协程而不是普通函数呢？下面我们简单介绍一下C++20协程一些特点：
1、如果函数中包含了co_return, co_await, co_yield中的任意一个，这个函数就会被当作协程来处理；
2、协程被挂起后那么其局部变量或状态等需要被保存下来，通过操作协程句柄（corouting_handle)来管理写协程。协程句柄是一个对象，包含了分配在堆上协程帧指针和一些操作协程成员函数；
3、协程中promise_type类型能够让我们定制的有initial_suspend、final_suspend、yield_value、return_value或return_void、unhandled_exception等行为，这些行为在协程被调用时生效；
4、co_await表达式涉及了awaitable对象、awaiter对象相关概念，可以通过定义await_transform函数得到awaitable对象，可以通过重载operator co_await操作符得到awaiter对象；
下面我们通过协程实现一个简单的生成器（Generator)，具体代码示例如下，代码亲测可跑，只要支持C++20特性的C++编译器即可：
#include <iostream>#include <coroutine>template<typename T>struct Generator{public: struct ValueAwaiter{ constexpr bool await_ready(){ return false; } template<typename promise_type> void await_suspend(std::coroutine_handle<promise_type> h){ h.promise().value_ = value_; } void await_resume(){} T value_; }; struct promise_type{ std::suspend_always initial_suspend() noexcept{ return {}; } std::suspend_always final_suspend() noexcept{ return {}; } Generator get_return_object(){ return Generator{std::coroutine_handle<promise_type>::from_promise(*this)}; } void unhandled_exception(){ throw std::current_exception(); } void return_void(){ } auto await_transform(T v){ return ValueAwaiter{v}; } std::suspend_always yield_value(T v){ value_ =v; return {}; } public: T value_; }; T next(){ handle_.resume(); return handle_.promise().value_; }public: std::coroutine_handle<promise_type> handle_;};Generator<int> get_number(){ int i{0}; while (true){ co_yield i++; }}int main(){ auto g = get_number(); for(int j = 0; j < 10; ++j){ std::cout << g.next() << std::endl; }}上面代码中Gernerator就是一个协程object，函数get_number满足C++20协程特性使用了co_yield，因此是一个协程，而不是普通函数。执行结果如下：
C++20只是提供了简单的协程特性，开发人员如果要用到生产环境，就需要自己开发相关库，相对难度较大一些，在未来我们可以期待有更多更好的协程库 进入后续的C++标准(C++23, C++26), 这样开发人员更好的使用协程了。
本文链接：http://www.28at.com/showinfo-26-16913-0.html漫谈c++20协程
声明：本网页内容旨在传播知识，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。邮件：2376512515@qq.com
Copyright © 2016-2023 天津谷骐科技有限公司 版权所有 sitemap.xml
违法及侵权请联系：2376512515@qq.com 津ICP备18001702号
津公网安备 12010102000574号