From Functions to Coroutines

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档主要探讨了从函数到协程的演变过程。Callable概念的发展是核心，涵盖了函数、函数重载、函数对象和Lambda表达式等基础概念。文档详细介绍了协程的实现机制，包括Promise对象和状态管理，并讨论了函数调用语法的统一策略。协程作为一种能够被 suspend 和 resume 的扩展子例程，在现代编程中具有重要意义。文档还提到函数调用的演变，包括Lambda表达式和函数对象的使用，以及如何处理函数调用的语法统一问题。

AI总结

《从函数到协程》

本文主要探讨了C++中Callable Function（可调用函数）的概念及其演变，重点介绍了协程（Coroutine）的相关内容。

1. 可调用函数
可调用函数的形式包括：
- 函数重载
- 函数对象
- Lambda表达式
- 协程

2. 协程
协程是一种可以被挂起和恢复的子例程，其主要组成部分包括：
- Promise对象：用于内部操作
- 外部句柄：用于恢复或销毁协程
- 状态：包含动态分配的参数、局部变量和临时对象
- 挂起点的表示

协程的实现机制：
- 编译器将包含`co_return`、`co_yield`、`co_await`的协程代码转换为基于Promise对象的结构。
- 协程的生命周期包括初始挂起和最终挂起阶段。

3. 历史演变
从函数到协程经历了40年的发展，从最初的函数概念逐步演变为现代C++中的协程特性。

4. 未来方向
- 统一函数调用语法：`x.f(y)`和`f(x,y)`应等价
- 基于提案N4474（Bjarne Stroustrup和Herb Sutter，2015）的语法改进
- 通用策略：优先查找成员函数，再查找自由函数
- 指针调用`p->f(y)`与`f(p,y)`等价

总结：本文详细介绍了C++中可调用函数的多种形式及其发展，并重点分析了协程的定义、实现和未来方向，为理解和使用现代C++的协程特性提供了重要参考。