promise_type 必须定义在协程返回类型内部，因为编译器仅在此处查找该嵌套类型，不进行ADL或模板推导；若放于外部或用别名间接引用，co_await/co_return将报错。
为什么 promise_type 必须定义在协程返回类型内部
因为 C++ 标准规定：编译器只会在协程函数的返回类型中查找嵌套的 promise_type，不会做 ADL 或模板参数推导。如果你把它放在外面、或者用别名间接引用，co_await、co_return 都会直接报错——常见错误是 error: no type named 'promise_type' in 'XXX'。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 返回类型必须是类模板或类（不能是内置类型或别名），且必须公开嵌套定义
promise_type - 不要试图用
using promise_type = MyPromise;指向外部定义——可以，但MyPromise本身也得满足协程 promise 要求（比如有get_return_object()、initial_suspend()等） - 如果返回类型是模板（如
task<int></int>），promise_type通常也要是模板嵌套，且需与外层模板参数对齐
promise_type 最小必要接口有哪些
不是所有成员函数都强制要求，但漏掉关键几个会导致编译失败或未定义行为。最简可行集合取决于你是否用 co_return、是否需要捕获异常、是否要控制挂起点。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 必须提供：
get_return_object()（返回协程句柄）、initial_suspend()（返回suspend_always或suspend_never）、final_suspend()（同上） - 用
co_return val;就必须实现return_value(T&&)；用co_return;（无值）则需return_void() - 想让未处理异常传播出去，必须实现
unhandled_exception()，否则程序直接调用std::terminate() - 不需要
await_transform除非你要重载co_await行为（比如自动包装裸指针）
如何让 promise_type 携带启动时的参数
协程函数调用时传入的参数，不会自动转发给 promise_type 构造函数。标准方式是靠 get_return_object() 中“偷看”调用栈——但不行，C++ 没提供机制。真实可行路径只有一条：把参数塞进返回对象，再由返回对象转交给 promise。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 在返回类型（如
task<t></t>）的构造函数里接收参数，并保存为成员 - 在
task的promise_type构造函数中，通过task对象反向取参（比如加一个get_promise_init_args()成员函数） - 更干净的做法：让
promise_type构造函数接受一个std::tuple或自定义上下文对象，由get_return_object()组装并传递 - 注意：不要在
promise_type构造函数里做重操作（如分配内存、锁），它发生在协程帧分配前，异常安全要求高
调试 promise_type 崩溃时最容易忽略的点
崩溃常发生在 final_suspend() 返回 suspend_always 后，用户忘了手动恢复协程，导致 promise 对象被析构而协程帧还活着；或者 get_return_object() 返回了临时对象，被提前销毁。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 给
promise_type加日志（构造/析构打点），确认生命周期是否匹配协程帧存在时间 - 检查
get_return_object()是否返回局部变量、是否返回右值引用（如return task{std::move(p)};是错的） - 若用
suspend_always，确保最终有某处调用了handle.resume()，且该handle未被 move 走或已 destroy - Clang/GCC 的
-fsanitize=coroutine可检测部分挂起状态不一致问题，但支持有限，别全信
协程 promise 不是普通类，它的每个成员函数调用时机由编译器硬编码决定，稍有错位就会 UB。写完先跑单测，重点覆盖异常路径和 early-return 场景。
