C POSIX 完整实践：双文件字节统计库 · 独立练习至资料与适用边界

返回分篇目录

先具备 C 指针、分离编译和基本所有权知识。本专题沿文件契约、线程生存期、完整项目、排错推进。示例未执行，仅完成静态文本/模板检查，不声称运行通过。

专题入口：C POSIX 文件接口：描述符、短读写与错误契约 · C POSIX 线程：创建、互斥与退出前收拢 · C POSIX 完整实践：双文件字节统计库 · C POSIX 排错：系统错误、死锁与不完整输出

独立练习

两个输入都选 left.txt 时预测输出。把 right.txt 换成缺失文件，说明左线程即使完成也不能报告的原因。设计一个不能仅靠普通小文件可靠触发的错误。

先写出状态和资源归属，再对照答案；这些是推演练习，没有执行示例。

参考解答与检查条件

重复输入为bytes=8。任一任务失败使ready保持0，已累计的内部总和不构成可发布结果。短写、EINTR、创建线程失败或64位溢出需受控替身，不能虚构已执行证据。

资料与适用边界

2026-10-17 核对 Linux read 手册、write 手册、close 的平台差异、pthread_create、pthread_join 与 POSIX mutex 规范镜像。Linux 手册中的实现差异不直接推广为 macOS 实测结果。The Open Group 的 POSIX 页面本次抓取被拒绝，不记为已成功核读。线程依赖的目标表达参考 CMake 3.20 FindThreads，没有执行它来探测本机。

C++ 链接与拥有关系参照 cppreference language linkage、unique_ptr；中文核对 Microsoft extern 说明，仅引用语言链接概念，不套用其 Windows 编译开关。文章采用独立组织的边界与失败推演，外链用于溯源，必要答案已在正文。