动态库中Singleton类新增私有成员是否会破坏ABI稳定性？

你的判断不正确，新增私有成员b的改动依然会破坏ABI，不存在“单例类加私有成员不破坏ABI”的特殊规则。

场景复现 #

初始版本动态库中类A的定义如下：

// in library 
class A {
  public:
    static A* instance(){
       static A self;
       return &self;
    }
    void foo() { }
  private:
    A () {}
    int a{0};
};

新版本动态库在类A的私有段新增int类型成员b：

class A {
  public:
    static A* instance(){
       static A self;
       return &self;
    }
    void foo() { }
  private:
    A () {}
    int a{0};
    int b{0};
};

核心原因 #

你认为不破坏ABI的核心逻辑是“应用侧仅操作A类指针、指针大小不变、公开接口无改动”，这个逻辑混淆了API兼容和ABI兼容的边界，也忽略了C++类布局的ABI规则：

• 首先，只要类的完整定义暴露在公开头文件中（应用侧编译时可获取类的全量定义，而非仅前向声明的不透明类型），所有非静态数据成员（无论公有/保护/私有）都是类内存布局的组成部分，这是通用C++ ABI（如行业通用的Itanium C++ ABI）的明确规则。新增成员会直接改变类的sizeof大小、成员偏移量，属于明确的ABI破坏改动，和类是否为单例没有任何关联。
• 其次，ABI兼容的判定标准非常严格：所有基于旧版本头文件编译的合法二进制程序，无需重新编译即可在新版本动态库上正常运行，才叫ABI兼容。你提到的“应用侧仅操作类指针、指针大小不变、公开接口无改动”只是非常局限的理想场景，无法覆盖所有合法的旧代码用法：
  • sizeof(A)、alignof(A)都是编译期常量，旧应用编译时会按照旧类定义计算这些值，和新库中类的实际大小、对齐要求不匹配，任何依赖这些值的逻辑（内存拷贝、缓冲区分配、指针运算、自定义内存管理等）都会触发内存错误。
  • 类的隐式特殊成员函数（析构、拷贝构造等）默认为inline属性，如果旧应用代码触发了这些函数的生成（比如对A指针执行delete、直接做内存拷贝等合法操作），生成的逻辑完全基于旧类布局，直接触发未定义行为。
  • 类的RTTI信息、类型唯一标识和类定义绑定，类成员变动会导致新旧版本的类型标识不匹配，所有用到dynamic_cast、typeid的逻辑都会异常。
• 最后，这个改动直接违反C++标准的单一定义规则（ODR）：同一个类在应用侧翻译单元（基于旧头编译）和库侧翻译单元（基于新定义编译）的定义不一致，标准层面直接归为未定义行为，没有任何兼容性保证。

注：这个改动属于典型的API兼容但ABI不兼容场景：应用侧代码不需要做任何修改，重新编译即可正常运行，但已经编译完成的旧二进制直接替换新库，可能出现各种难以复现的内存问题。如果要实现不破坏ABI的成员新增，需要采用PIMPL（指针到实现）模式，将所有非公开成员放到库侧的内部实现类中，公开头文件仅保留固定大小的不透明指针，保证对外暴露的类内存布局永远不变。

内容的提问来源于stack exchange，提问作者Davidbrcz