17370845950

C++标准库无真正的异步文件I/O；std::async只是将同步读操作扔进新线程，仍属阻塞式伪异步，适合CPU密集任务而非I/O密集场景。

C++ 标准库本身不提供真正的异步文件 I/O（比如类似 Linux 的 io_uring 或 Windows 的 OVERLAPPED）；std::async + std::launch::async 只是把同步读取扔进独立线程，不是操作系统级异步。

为什么 std::async 读文件不是“真异步”

它只是用线程池或新线程调用 std::ifstream::read 这类阻塞函数，期间线程仍会挂起等待磁盘完成。CPU 不会并行处理 I/O 等待，只是把等待换到另一个线程里——对单文件意义不大，还可能因线程开销反而更慢。

• 真正异步需要 OS 支持：libaio（Linux）、IOCP（Windows）、kqueue（macOS/BSD）
• std::async 本质是“伪异步”，适合 CPU 密集型任务卸载，不适合 I/O 密集场景
• 频繁小文件读 + std::async 容易触发线程创建/销毁开销，甚至耗尽线程资源

如何正确用 std::async 做“模拟异步读”

仅当你要避免主线程卡顿、且能接受线程切换成本时可用。关键点：显式管理生命周期、避免拷贝大缓冲区、检查异常。

auto read_task = std::async(std::launch::async, []() -> std::vector {
    std::ifstream file("data.bin", std::ios::binary);
    if (!file) throw std::runtime_error("cannot open file");
    
    file.seekg(0, std::ios::end);
    size_t size = file.tellg();
    file.seekg(0, std::ios::beg);
    
    std::vector buf(size);
    file.read(buf.data(), size);
    if (!file) throw std::runtime_error("read failed");
    
    return buf; // 移动语义自动生效
});

// 主线程可做其他事...
std::this_thread::sleep_for(10ms);

// 阻塞获取结果（此时才真正等待完成）
try {
    auto data = read_task.get(); // 注意：只可调用一次
} catch (const std::exception& e) {
    // 处理文件打开失败、读取失败等异常
}

• 必须用 std::launch::async，否则 std::async 可能延迟执行（std::launch::deferred）
• 返回大对象（如 std::vector）时依赖移动语义，别写 return std::move(buf) —— 编译器会自动优化
• read_task.get() 是唯一取结果方式，调用后 std::future 失效；重复调用抛 std::future_error
• 异常在 get() 时重抛，不能在 lambda 内吞掉

替代方案：比 std::async 更实用的选择

除非你项目已重度依赖 std::thread 且不想引入第三方，否则以下方式更可靠：

• POSIX AIO（Linux/macOS）：用 aio_read + aio_suspend，需链接 -lrt；但 API 繁琐、错误码分散、不支持 C++ RAII
• Boost.ASIO：封装了跨平台异步文件 I/O（boost::asio::posix::stream_descriptor on Linux，boost::asio::windows::random_access_handle on Windows），支持 completion handler 和 co_await
• C++20 协程 + 第三方库：如 liburing 绑定 + 自定义 awaiter，才能逼近零拷贝、无栈协程级异步
• 简单场景直接用线程 + std::queue + std::condition_variable：比 std::async 更可控，避免 std::future 生命周期陷阱

真正要异步读文件，别卡在 std::async 上；它只是个线程启动器，不是 I/O 抽象层。系统调用的阻塞与否，不取决于你用什么 C++ 封装，而取决于你调的是 read() 还是 io_submit()。