std::coroutine_handle::destroy()工作原理及类型擦除销毁可行性问询

首先明确：是的，你可以通过类型擦除的std::coroutine_handle<>（即不带模板参数的版本）来销毁协程句柄，对应的代码编译运行都是合法的。

底层实现机制 #

协程的底层存储结构中，编译器会自动嵌入指向销毁逻辑的函数指针（不同编译器实现细节有差异，但核心逻辑一致）。当你把带具体promise类型的std::coroutine_handle<P>转换为无类型的std::coroutine_handle<>时，句柄内部仍保留着指向协程帧的原始指针。

调用无类型句柄的destroy()方法时，它会直接从协程帧的固定位置取出与当前promise类型绑定的销毁函数地址，执行该函数完成协程的清理——包括调用promise对象的析构函数，以及释放协程帧占用的内存。

编译器如何关联实际类型的销毁逻辑？ #

编译器在生成协程帧的代码时，会针对当前的promise类型生成专属的销毁函数，这个函数会处理该promise的析构和协程帧的内存释放。同时，编译器会把这个销毁函数的地址存在协程帧的固定偏移位置。

无类型的std::coroutine_handle<>完全不需要知晓promise的具体类型，调用destroy()时只需要读取协程帧中存储的销毁函数地址并执行即可。

举个简化的逻辑示例（仅用于理解，非实际编译器代码）：

// 编译器生成的协程帧结构示意
struct CoroutineFrame {
    void (*destroy_func)(CoroutineFrame*); // 存储销毁函数指针
    PromiseType promise;
    // 其他协程状态、寄存器快照等数据
};

// 无类型handle的destroy方法逻辑
void std::coroutine_handle<>::destroy() {
    CoroutineFrame* frame = this->frame_ptr;
    frame->destroy_func(frame); // 调用绑定好的销毁函数
}

这个destroy_func是编译器为具体PromiseType定制的，会负责完成该promise的析构，以及通过协程分配时使用的机制（比如默认的operator new或自定义分配器）释放协程帧内存。

内容的提问来源于stack exchange，提问作者levzettelin