不会阻塞主线程，但默认启动策略不确定（可能deferred），必须显式指定std::launch::async；其本质是线程级并发而非内核级异步，大文件读取仍同步阻塞IO，真正非阻塞需用io_uring或OVERLAPPED。
std::async 读文件会阻塞主线程吗
不会自动阻塞，但默认情况下 std::async 的启动策略是 std::launch::deferred 或 std::launch::async，不显式指定时行为取决于编译器实现——GCC 默认 deferred（惰性执行），调用 get() 或 wait() 才真正运行；Clang/MSVC 多数情况走 async，但不可靠。这意味着你写 std::async([]{ read_file(); })，如果不调 get()，函数甚至可能根本不执行。
- 务必显式传入
std::launch::async：std::async(std::launch::async, []{ /* IO */ }) - 避免在 lambda 中直接用
std::ifstream读大文件——它仍是同步阻塞调用，只是跑在另一线程里，没解决内核级阻塞问题 - 若需真正非阻塞，必须配合 OS 原生异步 I/O（如 Linux 的
io_uring或 Windows 的OVERLAPPED），std::async只是线程级“假异步”
用 std::thread + std::promise 实现带返回值的异步读取
比 std::async 更可控，尤其适合需要捕获异常、复用线程或避免拷贝大 buffer 的场景。核心是把文件读取逻辑放进独立线程，用 std::promise 传递结果或错误。
- 读取失败时，必须调用
promise.set_exception()（而非只 throw），否则主线程调future.get()会 terminate - 不要在线程函数里直接 return string —— 大字符串移动语义虽好，但若底层分配器跨线程不安全（如某些旧 libc++），建议用
std::shared_ptr<:vector>></:vector>或预分配 buffer - 示例关键片段：
std::promise<std::string> prom; auto fut = prom.get_future(); std::thread([path = std::string(path), &prom] { std::ifstream f(path, std::ios::binary); if (!f) { prom.set_exception(std::make_exception_ptr(std::runtime_error("open failed"))); return; } std::string buf((std::istreambuf_iterator<char>(f)), {}); prom.set_value(std::move(buf)); }).detach(); // 注意 detach 前确保 promise 生命周期足够长
Windows 上用 CreateFile + ReadFileEx 真异步读文件
这是 Win32 层面真正的重叠 I/O，不占用线程，靠 APC 或 IOCP 回调驱动。C++ 标准库不封装它，必须手写 Win32 API 调用。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
CreateFile必须带FILE_FLAG_OVERLAPPED，否则ReadFileEx直接失败并返回ERROR_INVALID_PARAMETER - 回调函数签名固定为
void CALLBACK CompletionRoutine(DWORD dwErrorCode, DWORD dwNumberOfBytesTransfered, LPOVERLAPPED lpOverlapped)，不能捕获局部变量，需把上下文指针存进lpOverlapped->hEvent或额外字段 - APC（异步过程调用）只在目标线程处于可唤醒状态（如
SleepEx,WaitForSingleObjectEx）时触发，生产环境更推荐绑定到 IOCP，避免线程模型耦合
Linux 下用 io_uring 替代传统 AIO
传统 aio_read 在 glibc 中实际是线程池模拟，仍有开销；io_uring 是内核提供的高效异步 I/O 接口，从 5.1 内核起稳定，liburing 封装较成熟。
立即学习“C++免费学习笔记（深入）”；
- 初始化需调
io_uring_queue_init(32, &ring, 0)，32 是 SQ/CQ 队列大小，小文件读取设 8~16 即可，不必过大 -
io_uring_prep_read提前准备操作，但真正提交要调io_uring_submit；未 submit 前调io_uring_cqe_wait会死等 - 读取缓冲区必须页对齐（
posix_memalign分配），且长度需是 512 字节整倍数（尤其对块设备），否则cqe->res返回 -EINVAL
真正异步文件读取不是加个 std::async 就完事。系统级异步（io_uring / OVERLAPPED）和线程级并发（std::thread）解决的是不同层次的问题——前者减少内核态等待，后者只是把阻塞挪到别的线程。选哪种，取决于你是否真被 I/O 卡住，还是仅仅想不让 UI 线程停顿。
