C++热重载通过动态库+运行时加载+函数指针+状态迁移实现，核心是封装可变逻辑为独立模块、主程序用dlopen/dlsym加载并管理状态快照，需规避跨库内存/STL/线程问题。
在 C++ 中实现 Hot Reload（热重载）不是语言原生支持的功能，而是通过**动态链接库（Linux .so / Windows .dll）+ 运行时加载 + 函数指针/接口抽象 + 状态迁移**等组合技术达成的。它常用于游戏引擎、插件系统、高频迭代工具或嵌入式仿真环境，目标是：不重启进程，替换部分逻辑代码，保持运行状态（如对象、变量、时间线等）。
核心思路：把可变逻辑抽成独立模块
不能直接“重载 .cpp 文件”，但可以把业务逻辑（比如 AI 行为、渲染后处理、协议解析）封装进一个动态库中，主程序只保留稳定接口，通过 dlopen/dlsym（Linux）或 LoadLibrary/GetProcAddress（Windows）在运行时加载、卸载、重新加载该库。
- 主程序定义清晰的 C 风格导出接口（避免 C++ name mangling），例如：
extern "C" { void init(); void update(float dt); void shutdown(); } - 每次修改逻辑后，重新编译生成新 .so/.dll，主程序检测文件变更 → 卸载旧库 → 加载新库 → 调用新 init() → 恢复必要状态
- 关键难点不在加载，而在状态如何跨库版本延续（比如玩家血量、动画播放进度、网络连接句柄）
状态迁移：让新库“接上”旧数据
热重载失败，90% 是因为状态丢失或错位。不能依赖全局变量或静态成员（它们随库卸载而销毁），需显式传递和恢复。
- 主程序维护一份状态快照结构体（POD 类型，不含指针/虚函数），例如：
struct GameState { float hp; int score; Vec3 pos; uint64_t last_attack_time; }; - 旧库提供 save_state(void* buf)，将当前状态 memcpy 进缓冲区；新库提供 load_state(const void* buf)
- 重载时：调用旧库 save_state → dlclose → dlopen → dlsym → 调用新库 load_state → 继续 update()
- 更健壮的做法是用 ID-based 序列化（如 flatbuffers 或自定义二进制 schema），支持字段增删兼容
工程级注意事项（避坑重点）
真实项目中，热重载不是“写个 dlopen 就完事”，需配合构建、内存、线程、调试等协同设计：
立即学习“C++免费学习笔记（深入）”；
- 内存必须由主程序分配和释放：动态库内禁止 new/malloc 返回给主程序，否则卸载后指针悬空；所有内存申请走主程序提供的 alloc/free 回调
- 避免跨库 STL 对象传递：std::string、std::vector 等不能直接传参或返回（ABI 不保证一致，且析构器可能失效）；改用 const char* + size_t 或自定义 arena allocator
- 线程安全：重载期间需暂停 update 调用（如用读写锁或信号量），防止新旧库逻辑并发执行
- 调试友好性：给每个动态库加版本号、构建时间戳，日志中打印 loaded/unloaded 路径与校验和，便于定位“为何没重载成功”
简易 Demo 结构（Linux 示例）
假设你有一个 logic.so，主程序 main.cpp：
- 监听 logic.so 文件 mtime 变化（inotify 或轮询）
- 有库句柄时先调 old_lib->shutdown()，再 dlclose(handle)
- 用 dlopen("./logic.so", RTLD_NOW | RTLD_LOCAL) 加载新版本
- 用 dlsym(handle, "init") 获取函数指针，存入函数表 struct { void(*init)(); void(*update)(float); ... } g_logic;
- 调 g_logic.init() 完成初始化后，进入正常循环
基本上就这些。它不复杂，但容易忽略状态和内存边界——真正落地时，80% 功夫花在让两个版本的模块“和平交接”上，而不是加载本身。
