讲师中心 微信公众号
AI工具推荐 视频效率加速

C++如何实现异步IO?(基于asio库的示例)

秋磊姑娘_8296

秋磊姑娘_8296

发布时间:2026-03-11 15:16:38

|

683人浏览过

|

来源于php中文网

原创

asio异步IO不卡死的关键是:必须调用io_context::run()驱动回调,且确保socket已连接、回调捕获error_code、用尾递归而非直接递归、多线程需strand保护;run()退出是因为无待处理操作,应先发请求再run;超时需steady_timer配合cancel;Windows下需预定义ssize_t或升级Boost。

c++如何实现异步io?(基于asio库的示例)

asio 的 async_read 和 async_write 怎么写才不卡死?

异步 IO 不等于“扔出去就不管”,async_read 和 async_write 必须配合 io_context::run() 才能真正触发回调。常见错误是只调用了异步函数,却忘了启动事件循环,结果回调永远不执行。

  • 调用 async_read 前,确保对应 socket 已连接(is_open() 且 is_open() && !socket.is_open() 是典型误判点)
  • 回调函数必须捕获 const boost::system::error_code& 参数,哪怕只写 if (ec) return; —— 忽略它会导致连接断开、超时等错误静默丢失
  • 不要在回调里直接递归调用 async_read(比如读完立刻再 read),容易栈溢出;应改用尾递归风格:在回调末尾调用新 async_read
  • io_context 实例不能跨线程随意共享;多线程调用 run() 需配合 strand 或显式加锁,否则 async_write 可能乱序或崩溃
auto sock = std::make_shared<tcp::socket>(ioc);
sock->async_read_some(buffer, [sock](const boost::system::error_code& ec, size_t n) {
    if (ec == boost::asio::error::eof) return; // 正常断连
    if (ec) return;
    // 处理数据...
    sock->async_read_some(buffer, ...); // 尾递归继续读
});

为什么 io_context::run() 一调用就退出?

io_context::run() 退出的唯一原因是“没有待处理的异步操作”——不是 bug,是设计如此。它不会阻塞等待新任务,而是立即返回。

  • 启动前必须已有至少一个 pending 操作(如已调用 async_connect 或 async_read)
  • 如果先 run() 再发请求,会立刻返回;正确顺序是:构造 io_context → 发起异步操作 → 再调 run()
  • 多线程场景下,run() 可能因其他线程调用了 stop() 而提前退出;检查是否有人误调了 ioc.stop()
  • 使用 work_guard 可维持运行(但仅限测试或守护场景):auto work = make_work_guard(ioc);,否则一旦所有异步操作完成,run() 就结束

异步 connect 怎么判断超时?

async_connect 本身不带超时,必须手动组合 steady_timer 实现。

C++ Code Review Master
C++ Code Review Master

组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载
  • 先发起 async_connect,同时启动一个 steady_timer,到期后调 socket.cancel()
  • 注意:cancel 后仍会触发 connect 回调,且 ec 为 boost::asio::error::operation_aborted,需显式忽略该错误
  • 不要用 deadline_timer(已弃用),必须用 steady_timer
  • 超时时间建议设为毫秒级(如 std::chrono::milliseconds(5000)),避免 seconds(5) 在某些平台精度不足
timer.expires_after(5s);
timer.async_wait([sock](const boost::system::error_code& ec) {
    if (!ec) sock->cancel(); // 真正超时
});
sock->async_connect(ep, [](const boost::system::error_code& ec, ...) {
    if (ec == boost::asio::error::operation_aborted) return; // 被 cancel,不算失败
    // 其他逻辑...
});

Windows 下编译 asio 报错 error C2039: 'ssize_t' 怎么办?

这是 Windows SDK 缺失 ssize_t 定义导致的,尤其在较老 VS 版本(如 VS2017)或未启用 C++17 标准时高频出现。

立即学习“C++免费学习笔记(深入)”;

  • 在包含 asio 头之前,强制定义:#define BOOST_ASIO_HAS_STD_FILESYSTEM 无效,真正有效的是:#define _SSIZE_T_DEFINED + typedef long ssize_t;
  • 更稳妥的做法:升级到 Boost 1.75+,它已内置兼容逻辑;或改用 standalone asio(头文件版),并在编译选项中添加 /D "_CRT_SECURE_NO_WARNINGS" 和 /D "_SCL_SECURE_NO_WARNINGS"
  • 若用 CMake,确保 set(CMAKE_CXX_STANDARD 17),并检查 find_package(Boost REQUIRED COMPONENTS system) 是否匹配实际安装版本

事情说清了就结束。asio 异步模型的核心约束就两条:回调必须靠 run() 驱动,所有资源生命周期必须比异步操作长——其余问题,基本是这两条没守牢。

热门AI工具

更多
SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

相关专题

更多
typedef和define区别
typedef和define区别

typedef和define区别在类型检查、作用范围、可读性、错误处理和内存占用等。本专题为大家提供typedef和define相关的文章、下载、课程内容,供大家免费下载体验。

313

2023.09.26

define的用法
define的用法

define用法:1、定义常量;2、定义函数宏:3、定义条件编译;4、定义多行宏。更多关于define的用法的内容,大家可以阅读本专题下的文章。

619

2023.10.11

scripterror怎么解决
scripterror怎么解决

scripterror的解决办法有检查语法、文件路径、检查网络连接、浏览器兼容性、使用try-catch语句、使用开发者工具进行调试、更新浏览器和JavaScript库或寻求专业帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

909

2023.10.18

500error怎么解决
500error怎么解决

500error的解决办法有检查服务器日志、检查代码、检查服务器配置、更新软件版本、重新启动服务、调试代码和寻求帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2500

2023.10.25

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

1998

2023.09.20

typedef和define区别
typedef和define区别

typedef和define区别在类型检查、作用范围、可读性、错误处理和内存占用等。本专题为大家提供typedef和define相关的文章、下载、课程内容,供大家免费下载体验。

313

2023.09.26

c语言typedef的用法
c语言typedef的用法

c语言typedef的用法有定义基本类型别名、定义结构体别名、定义指针类型别名、定义枚举类型别名、定义数组类型别名等。本专题为大家提供typedef相关的文章、下载、课程内容,供大家免费下载体验。

2392

2023.09.26

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

4887

2023.07.18

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

0

2026.09.30

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn