必须显式指定std::launch::async才能确保真正并发，否则可能退化为串行；需用原子标志+轮询实现提前终止，且future析构前必须get()或wait()，否则主线程阻塞。
std::async 启动异步搜索任务时，launch策略选错会导致“看似并行实则串行”
默认情况下 std::async 使用 std::launch::deferred | std::launch::async 组合策略，但某些编译器（如 MSVC 旧版本）或优化设置下可能退化为纯延迟执行，任务根本不会真正并发。必须显式指定 std::launch::async 才能确保线程立即启动。
- 错误写法：
auto fut = std::async([]{ return search_in_range(...); });—— 行为不可控 - 正确写法：
auto fut = std::async(std::launch::async, []{ return search_in_range(...); }); - 若需控制线程数（比如限制最多 4 个并发搜索），不能只靠
std::async，得配合std::thread池或信号量
任务分解不均会导致部分线程空转，拖慢整体搜索完成时间
对一个连续数组做并行搜索时，简单按索引均分区间（如 [0, n/4), [n/4, n/2)…）在目标值靠近开头时，第一个任务很快返回，其余线程却仍在遍历无用区域。更合理的方式是采用“分块 + 提前终止”设计，配合 std::future::wait_for 或原子标志位通知其他任务退出。
- 每个子任务应在循环中定期检查全局
std::atomic<bool></bool>标志（如found_flag），一旦置 true 就立即返回 - 避免用
std::future::get()阻塞等待全部完成——应先调用wait_for(0s)轮询，发现已有结果就主动取消剩余任务（通过中断点或标志） - 示例中不要假设所有任务都跑完：实际只需首个非空结果即可
std::async 返回的 future 必须及时 get() 或 wait()，否则析构时会阻塞主线程
这是最常被忽略的陷阱：std::future 析构时若尚未就绪，且是通过 std::async 创建的，则标准要求其**同步等待完成**。这意味着忘记取结果的异步调用，反而让主线程卡住。
std::vector<std::future<int>> futures;
for (int i = 0; i < 4; ++i) {
futures.emplace_back(std::async(std::launch::async, [=]{
return linear_search(data, target, range[i]);
}));
}
// ❌ 错误：futures 析构时逐个阻塞等待
// ✅ 正确：显式收集结果，或至少 wait()
for (auto& f : futures) {
if (f.wait_for(std::chrono::seconds(0)) == std::future_status::ready) {
if (auto res = f.get(); res != -1) return res;
}
}
搜索结果合并阶段不适合用 std::async —— 它本身不解决数据竞争，只是包装执行
std::async 不提供同步原语。多个搜索任务若共享写入同一个 std::optional<int></int> 或指针变量，必须加锁或使用原子操作；否则行为未定义。与其在回调里抢着写结果，不如让每个任务返回独立结果（如 std::optional<size_t></size_t>），由主线程统一判断和选取。
立即学习“C++免费学习笔记（深入）”；
- 禁止：所有 lambda 都写
*out_ptr = idx;并依赖“谁快谁赢” - 推荐：每个
std::future<:optional>></:optional>独立返回，主线程用wait_for轮询，收到第一个has_value()就停止 - 注意：
std::optional的移动构造是 noexcept 的，适合跨线程传递
std::async 本身，而在任务粒度、提前终止机制和结果消费方式。很多人卡在“启了四个 async 却没变快”，问题往往出在等最后一个慢任务，而不是第一个快任务。 
