二进制兼容

1. 什么是二进制兼容

所谓“二进制兼容性”指的就是在升级（也可能是 bug fix）库文件的时候，不必重新编译使用这个库的可执行文件或使用这个库的其他库文件，程序的功能不被破坏

2. 二进制不兼容会造成什么后果

如果库A升级没有能够做到二进制兼容，那么所有依赖它的程序（或库）都需要重新编译，否则会出现各种未知异常，其直接现象就是程序莫名其妙地挂掉。

3. 哪些常见做法会破坏二进制兼容

(1) 给函数增加默认参数，现有的可执行文件无法传这个额外的参数

(2) 增加虚函数，会造成 vtbl 里的排列变化。（不要考虑“只在末尾增加”这种取巧行为，因为你的 class 可能已被继承。）

(3) 增加默认模板类型参数

例如：template<typename T> class Grid{}变更为template<typename t, typenameContianer=vector> class Grid{}

(4) 改变 enum 的值，把 enum Color { Red = 3 }; 改为 Red = 4。这会造成错位。当然，由于 enum 自动排列取值，添加 enum 项也是不安全的，除非是在末尾添加

(5) 增加或减少类的数据成员

4. 哪些做法多半不会破坏二进制兼容

(1) 增加新的class

(2) 增加 non-virtual 成员函数

5. 反面教材：COM

在 C++ 中以虚函数作为接口基本上就跟二进制兼容性说拜拜了。具体地说，以只包含虚函数的 class （称为 interface class）作为程序库的接口，这样的接口是僵硬的，一旦发布，无法修改。

比方说 M$ 的 COM，其 DirectX 和 MSXML 都以 COM 组件方式发布，我们来看看它的带版本接口 (versioned interfaces)：

IDirect3D7, IDirect3D8, IDirect3D9, ID3D10*, ID3D11*

IXMLDOMDocument, IXMLDOMDocument2, IXMLDOMDocument3

话句话说，每次发布新版本都引入新的 interface class，而不是在现有的 interface 上做扩充。这样不能兼容现有的代码，强迫客户端代码也要改写。

回过头来看看 C 语言，C/Posix

这些年逐渐加入了很多新函数，同时，现有的代码不用修改也能运行得很好。如果要用这些新函数，直接用就行了，也基本不会修改已有的代码。相反，COM

里边要想用 IXMLDOMDocument3 的功能，就得把现有的代码从 IXMLDOMDocument 全部升级到

IXMLDOMDocument3，很讽刺吧。

tip：如果遇到鼓吹在 C++ 里使用面向接口编程的人，可以拿二进制兼容性考考他。

6. 解决办法