一:概述
ABI(Application Binary Interface)是二进制层面的接口规范。如果一个库的 ABI 发生了变化,那么基于旧 ABI 编译的代码可能在运行时与新库不兼容(即使接口名字都一样也不行)。那么在C++中编程中,哪些情形会导致ABI不兼容呢?下面逐一列举一下。
二:C++ 中 ABI 不兼容的情形
1. 类/结构体布局发生变化
1.1 新增/删除数据成员
1.2 改变成员变量顺序
1.3 改变继承结构(尤其是虚继承)
1.4 虚函数表(vtable)改变:新增/移除虚函数
2. 函数签名发生变化
2.1 返回值类型变了
2.2 参数类型变了
2.3 参数顺序变了
2.4 参数添加/删除(即使是默认参数)
3. 使用模板做接口,模板本身就不具备 ABI 兼容性
3.1 模板函数或类的每个实例会生成独立代码
3.2 模板接口一旦暴露给外部,任何改动几乎都会 break ABI
4. 内联函数实现发生变更
4.1 内联函数如果在多个翻译单元中被用到,改变实现后会造成不一致运行行为.