so库升级后程序崩溃主因是C++符号修饰变化导致dlsym找不到符号，需用nm -D/objdump -T查动态符号、extern "C"封装、-fvisibility=hidden控制导出、version script管理版本、接口仅用POD类型保障ABI稳定。
so库升级后程序崩溃，dlsym 找不到符号？先查 nm -D 和 objdump -T
动态库升级后旧程序跑不起来，十有八九是符号不见了——不是你删了函数，而是编译器把符号名“改”了。C++ 的名字修饰（name mangling）会让 void foo(int) 变成类似 _Z3fooi 这种不可读的玩意，而不同编译器、甚至同一编译器不同版本对修饰规则可能有微小差异。更麻烦的是：哪怕函数签名没变，只要加了 constexpr、noexcept 或改了默认参数，修饰名就可能变，dlsym 一找一个空。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用
nm -D libxxx.so看运行时可见符号，对比新旧版本输出，确认目标符号是否还在、名字是否一致 - 用
objdump -T libxxx.so查看动态符号表，它比nm -D更贴近 loader 实际加载行为 - 如果符号名变了但逻辑没变，别硬改调用方——那是饮鸩止渴；该做的，是用
extern "C"封装或符号版本控制
用 __attribute__((visibility("hidden"))) 控制导出范围，别让所有 class 成员都裸奔
默认情况下，GCC/Clang 会把所有非 static 的定义都尝试导出，结果是库体积膨胀、符号污染严重，还容易因模板实例化或内联函数变化导致 ABI 不稳定。一个 std::vector<int> 的内部函数被意外导出，下次 STL 版本一换，它的符号就可能消失或重命名，连累整个库。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 编译时加
-fvisibility=hidden，再对真正要对外暴露的函数/类显式加__attribute__((visibility("default"))) - 对 C++ 类，不要直接导出完整
class；优先导出工厂函数（返回std::unique_ptr<Interface>），接口用纯虚类定义，实现类加visibility(hidden) - 避免导出含 STL 容器成员的类（如
std::string字段）——它们的 ABI 在 GCC 从 4.x 升到 5.x 时就翻过车，std::string内存布局变了，旧程序解引用直接 crash
version script 不是可选项，是 C++ so 库向前兼容的底线
光靠 visibility 控制还不够。你想保留旧版 foo_v1(int)，同时新增 foo_v2(int, bool)，又不想让老程序误调到新版——这时候就得用链接器脚本（version script）给符号打标签，强制 loader 按版本选符号。没有它，所有符号平权共处，loader 随机绑定，兼容性就是赌运气。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 写一个
libxxx.map文件，例如：LIBXXX_1.0 { global: foo_v1; local: *; }; LIBXXX_2.0 { global: foo_v2; local: *; } LIBXXX_1.0; - 链接时加
-Wl,--version-script=libxxx.map；注意顺序：LIBXXX_2.0继承LIBXXX_1.0，表示 v2 兼容 v1 - 调用方必须用
dlsym(RTLD_DEFAULT, "foo_v1@LIBXXX_1.0")显式指定版本，否则dlsym默认只找 latest，旧程序照样崩
ABI 稳定比 API 稳定更难，std::shared_ptr 和 std::function 别往接口里塞
API 向前兼容只是表面功夫；ABI 稳定才是生死线。只要二进制接口（参数传递方式、返回值布局、vtable 偏移、异常传播机制）变了，哪怕头文件一字未改，旧程序加载新 so 也会在第一次调用时 segfault。而 std::shared_ptr 和 std::function 这类类型，在不同标准库实现中内存布局不统一，GCC libstdc++ 和 Clang libc++ 对它们的构造/析构逻辑也不同。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 对外接口参数/返回值只用 POD 类型、裸指针、
size_t、int等绝对稳定的类型 - 需要传对象？用 opaque handle（如
typedef void* handle_t）+ 一整套 C 风格操作函数（create_handle(),destroy_handle()） - 回调函数必须用函数指针，别传
std::function；后者底层可能捕获 lambda，涉及堆分配和 RTTI，ABI 高度不可控
真正麻烦的从来不是“怎么加新功能”，而是“怎么让旧二进制不知道你在改”。符号版本、隐藏实现、C 接口封装、POD 通信——每一步都在对抗 C++ 的天然不稳定性。漏掉任意一环，兼容性就变成纸糊的。
