1. 线程句柄的析构行为：std::thread vs std::future
1.1 std::thread：析构时的生死抉择
std::thread 的析构行为非常严格：
- 如果线程可结合（joinable），析构时会调用 std::terminate，直接终止程序！
- 原因：隐式 join（等待线程结束）可能导致死锁，而隐式 detach（分离线程）可能导致资源泄漏。
{
std::thread t([]{ std::cout << "Running...\n"; });
// 如果 t.join() 或 t.detach() 未被调用，程序会崩溃！
}
// 析构时 terminate() 被调用！
最佳实践：显式调用 join() 或 detach()，避免未定义行为。
1.2 std::future：析构时的温柔等待
std::future 的行为更复杂，取决于共享状态（Shared State）的来源：
| 析构行为 | 触发条件 |
|---|---|
| 正常析构（直接销毁） | 共享状态不是由 std::async 创建 |
| 阻塞析构（隐式 join） | 共享状态由 std::async 创建，且是最后一个 future |
auto fut = std::async(std::launch::async, []{
std::this_thread::sleep_for(1s);
return 42;
});
// fut 析构时可能阻塞，直到任务完成！
关键点：
- std::async 创建的 future 析构可能阻塞（类似 join）。
- std::packaged_task 或手动 std::promise 创建的 future 析构不会阻塞。
2. 共享状态（Shared State）的运作机制
std::future 的核心是共享状态，它存储异步任务的结果，并由引用计数管理生命周期。
| 组件 | 职责 |
|---|---|
| std::promise | 负责写入结果 |
| std::future | 负责读取结果 |
| 共享状态 | 中间存储区，确保数据安全传递 |
说明：
- std::promise 负责写入结果。
- std::future 负责读取结果。
- 共享状态是中间存储区，确保数据安全传递。
3. AI 辅助编程优化：如何用提示词解决析构问题？
在 AI 辅助编程时代，我们可以优化提示词（Prompt），让 AI（如 GitHub Copilot、ChatGPT）更精准地生成代码。
