C++ 编程指南34 - C++ 中 ABI 不兼容的典型情形

一：概述

        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 内联函数如果在多个翻译单元中被用到，改变实现后会造成不一致运行行为.

         5. 不同编译器 / 编译选项生成的 ABI 不兼容