From Functions to Coroutines

《From Functions to Coroutines》总结 本文回顾了C++中从函数到协程的40年演进历程，重点关注了可调用对象的不同形式、协程的实现机制及未来发展方向。 1. **函数的演进** C++中的可调用对象经历了从函数、函数对象到lambda表达式的演变： - **函数**：通过函数名调用，如`add1`。 - **函数对象**：通过实例调用，例如`Add2`。 - **lambda表达式**：匿名函数，可捕获上下文，逐步支持模板参数 Retirement（如`std::integral auto`）。 2. **协程的概念与实现** 协程是一种可以 suspend 和 resume 的 generalized子例程，包含： - **组成部分**：promise对象（内部管理）、handle（外部控制）、状态（参数、局部变量等）。 - **实现步骤**： 1. 编译器将协程转换为状态机。 2. 执行协程时，分配激活帧，传递参数，创建 promise 和 generator。 3. 协程在 suspension 点生成生成器返回，调用者通过 generator 恢复协程。 3. **未来方向** - **统一函数调用语法**：目标是使`x.f(y)`和`f(x, y)`等价，分别优先查找成员函数或非成员函数。 - **协程的广泛应用**：将协程与可调用对象（函数、lambda、函数对象）结合使用。 4. **函数与协程的区别** 函数通过栈帧实现，结束后栈帧销毁；而协程通过状态和生成器实现 suspend 和 resume，提供更灵活的执行方式。