do-while是唯一能天然保证探测至少执行一次的循环结构，因其语义明确分离初始化、重试与退出逻辑，避免资源泄漏、EINTR处理错误及维护性问题。
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
