do-while 确保资源初始化至少执行一次的用法

do-while 循环是唯一能天然保障资源初始化操作至少执行一次的可靠机制，它通过清晰分离初始化、重试与退出逻辑，从根本上避免了 while(true)+break 方式中常见的资源泄漏、EINTR 处理遗漏、逻辑耦合和可维护性崩坏等陷阱；文章深入剖析了正确用法——do 块专注执行探测与副作用处理（含 errno 判断、重试计数、显式 EINTR 重试及及时清理），while 条件仅保留无副作用的状态判断，并警示开发者：即使使用 do-while，若初始化动作不可重入、未妥善释放资源或忽略多线程竞争，仍会导致严重隐患——掌握这一看似简单却极易误用的结构，是写出健壮系统级代码的关键一课。

do-while 是唯一能天然保证探测至少执行一次的循环结构，其他写法（包括 while(true) + break）都容易漏掉错误处理或资源清理逻辑。

为什么不能用 while(true) 模拟“至少一次”

很多人用 while(true) 加内部 break 来凑逻辑，但这掩盖了“初始化必须发生”的语义，且极易出错：

• 在 break 前忘记调用 close() 或 free()，导致 fd 泄漏或内存泄漏
• 把重试判断（如 errno == EINTR）和初始化逻辑混在循环体里，分支越来越多，可读性崩坏
• 信号中断（EINTR）时直接跳出，没重试，设备就卡死在未就绪状态
• 后续维护者可能误删 break 或挪动条件判断位置，破坏“至少一次”契约

do-while 中探测、重试、退出三者的职责必须分离

真正安全的写法，是让 do 块只干一件事：执行探测并处理副作用；while 条件只做纯判断，不带任何副作用。

• do 块内完成：调用 open()/connect()/pthread_mutex_init()、检查 errno、更新重试计数、调用 usleep()
• while 条件里只写：fd 或 result == nullptr 这类无副作用的表达式
• 绝对不要在 while 条件里写 try_init() == -1——这会导致重复调用，可能打开两次设备、分配两块内存
• 初始化失败时，do 块末尾必须确保已释放临时资源（比如 free(buf)），否则每次循环都会泄漏

信号中断（EINTR）必须显式处理

在嵌入式、实时系统或高负载服务器中，open()、connect()、read() 等系统调用被信号中断后会返回 -1 且 errno == EINTR。这不是失败，而是应重试。

• 若忽略 EINTR，探测会提前终止，资源永远无法就绪
• 正确做法是在 do 块中单独判断：if (errno == EINTR) continue;，而不是让它落入“其他错误”分支
• Linux 下 epoll_wait()、sem_wait() 同样受此影响，不能只看返回值是否为 -1
• POSIX 标准不保证所有系统调用自动重启，依赖 SA_RESTART 是不可靠的

do-while 初始化探测最常被忽略的边界点

很多人以为只要用了 do-while 就万事大吉，其实关键在初始化动作本身是否可重入、是否幂等：

• 如果探测包含 malloc() + read()，失败时没 free()，do-while 会放大泄漏——第一次失败泄漏 1KB，重试三次就泄漏 4KB
• 对非幂等操作（如向硬件寄存器写复位命令），重复探测可能触发意外行为，必须加状态标记或硬件握手
• fd 初始值设为 -1 是惯例，但不是保护；真正起作用的是 do 块内首次调用 open() 的动作本身
• 多线程环境下，do-while 不提供同步——它只解决单线程内的“至少一次”，线程间竞争仍需 std::once_flag 或 pthread_once_t

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于文章的相关知识，也可关注golang学习网公众号。