快照写入必须用 std::ofstream 配合 std::ios::binary 并通过临时文件原子替换原文件，否则进程崩溃或断电会导致数据丢失；需校验 magic header、版本号和文件尺寸，防止非法输入引发崩溃。
快照写入必须用 std::ofstream 配合 std::ios::binary 和临时文件原子替换
直接覆盖原快照文件是危险的——进程崩溃或断电会导致数据全丢。Redis 的 RDB 就是先写到临时文件（如 dump.rdb.tmp），再 rename() 原子替换。C++ 中需手动模拟该流程：std::ofstream 必须以二进制模式打开，否则 Windows 下换行符会被悄悄转换；写完后调用 fsync()（Linux/macOS）或 FlushFileBuffers()（Windows）确保落盘，再重命名。
常见错误：用 std::ofstream 默认文本模式写结构体，结果在 Windows 上 \n 变成 \r\n，读取时内存布局错位；或没调用 fsync()，以为写完了，实则还卡在页缓存里。
- 临时文件名建议带 PID 或时间戳，避免多进程冲突，例如
dump.rdb.tmp.12345 - 重命名后立即
unlink()旧文件（如果存在），防止残留 - 务必检查
ofstream::good()和ofstream::is_open()，写入中途失败要清理临时文件
序列化不能直接 write() 结构体地址，得处理字节序、对齐和指针
Redis 的 RDB 是自描述的二进制格式：每段数据前有 type tag、length、checksum。C++ 若直接 ofs.write(reinterpret_cast<char>(&obj), sizeof(obj))</char>，会把指针值、虚表指针、padding 字节全写进去，跨平台/跨编译器完全不可读。
正确做法是定义明确的序列化协议：基础类型统一转为网络字节序（htobe64() 等），字符串存 length + data，容器逐个序列化元素。可借助 std::vector<uint8_t></uint8_t> 构建缓冲区，再一次性写入文件，比反复 write() 更高效且易加校验。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 禁用
#pragma pack或__attribute__((packed))强制对齐——不同编译器行为不一致 - 字符串长度字段建议用变长整数（如 LEB128）或固定 4 字节，避免大对象浪费空间
- 写入前计算 CRC32 或 xxHash 写入末尾，加载时校验，防止磁盘静默损坏
加载快照时 std::ifstream 要校验 magic header 和文件尺寸，拒绝非法输入
Redis 启动时会先读 RDB 文件头（"REDIS0011"），匹配版本号再解析。C++ 加载端也必须做同样校验：用 std::ifstream 以 std::ios::binary 打开，read() 前 8 字节，比对 magic；再读版本字段，不支持的版本直接报错退出。否则可能把日志文件、空文件甚至恶意构造的二进制当快照加载，导致 reinterpret_cast 崩溃或内存越界。
更关键的是预检文件大小：若已知快照理论最小尺寸（如 header + checksum = 16 字节），而实际 file_size ，立刻拒绝。避免后续 <code>read() 返回 0 还继续解析。
- 不要用
seekg(0, std::ios::end)获取大小——某些文件系统（如 procfs）不支持 - 推荐用
stat()/_stat64()获取st_size，更可靠 - 解析过程中每读一个字段都检查
ifs.gcount() == expected_bytes，防止 EOF 截断
多线程环境下快照生成不能阻塞主逻辑，得用写时复制（Copy-on-Write）或 fork 模拟
Redis 在 Linux 用 fork() 让子进程生成 RDB，父进程继续服务。C++ 程序若无 fork()（如 Windows 或嵌入式），就得自己实现轻量级 COW：将运行时状态封装进一个 std::shared_ptr 指向的结构体，快照触发时，make_unique 一份深拷贝（仅拷贝当前快照所需字段，跳过缓存、连接句柄等），再交由独立线程序列化。注意拷贝过程本身要加锁，但锁粒度应尽量小（比如只锁哈希表的 bucket 数组，而非整个容器）。
容易被忽略的坑：深拷贝中若含 std::string 或 std::vector，默认是 copy-on-write 实现（C++11 起已废弃，但某些 STL 实现有延迟分配），仍可能意外共享底层内存；务必用 str.data() + str.size() 显式拷贝内容。
- 快照线程优先级建议设为低于主线程，避免抢占 CPU 影响响应
- 序列化线程完成前，禁止销毁原始数据结构的 shared_ptr，可用 weak_ptr 定期检查是否还在使用
- 单次快照耗时超过阈值（如 500ms）应记录警告，提示数据规模或序列化逻辑需优化
最麻烦的从来不是怎么写进去，而是怎么保证写进去的一定能被一模一样地读出来——magic 校验、字节序、对齐、落盘、原子替换，缺一不可。哪怕只漏掉 fsync() 或 magic 检查，线上就可能演变成半夜排查“为什么重启后数据少了一半”。
