未重建主程序时，更新含成员变量的C++共享库致崩溃原因

云原生阿岚

2026-6-16

问题分析：共享库更新类定义后未重建主程序导致崩溃的原因

测试场景回顾

mars.h

#ifndef mars_h__ 
#define mars_h__
class AAA {
public:
    AAA();
};

#endif  // mars_h__

mars.cpp（编译为libmars.so）

#include <stdio.h>
#include "mars.h"

AAA::AAA()
{
    puts("I am in mars ctor()");
}

编译命令：

g++ -g -std=c++11 -shared -o libmars.so -fPIC mars.cpp

主程序main.cpp

#include "mars.h"
int main(void)
{
    AAA a;
}

编译运行：

g++ -g  -L./ -Wl,-rpath=./ -o mars main.cpp -lmars
./mars

输出：I am in mars ctor()，运行正常。

更新后的mars.h

#ifndef mars_h__
#define mars_h__

class AAA {
    int nopages[4]={1,2,3,4};
public:
    AAA();
    ~AAA();
};

#endif  // mars_h__

更新后的mars.cpp

#include <stdio.h> 
#include "mars.h"
AAA::AAA()
{
    puts("I am in mars ctor()\n");
}
AAA::~AAA()
{
    puts("I am in mars dtor()\n");
}

重新编译共享库：

g++ -g -std=c++11 -shared -o libmars.so -fPIC mars.cpp

直接运行旧主程序：

./mars

输出I am in mars ctor()后触发Segmentation fault (core dumped)。

重建主程序后运行则正常输出构造和析构信息。

修改后的主程序

int main(void)
{
    AAA *a = new AAA();
    delete a;
    a = nullptr;
}

运行旧主程序（未重建），仅输出I am in mars ctor()，无析构函数调用，也未崩溃。

旧版AAA是空类，C++标准规定空类的大小至少为1字节（用于区分不同对象的地址）。主程序编译时，会按照这个1字节的大小在栈上为AAA a;分配空间。
新版AAA添加了int nopages[4]（16字节）和析构函数，类的实际大小变为16字节（不同编译器可能有对齐差异，但肯定远大于1字节）。
当旧主程序加载新共享库运行时：
- 构造函数可以正常执行（构造函数代码在共享库中，但初始化成员变量时会写入超出栈分配的内存区域，此时可能暂时未触发崩溃）；
- 当栈对象a生命周期结束时，需要调用析构函数。析构函数会按照新版类的16字节布局操作内存，但主程序只分配了1字节的栈空间，访问超出栈分配的内存直接触发段错误。

无崩溃的侥幸性：旧主程序编译时认为AAA大小是1字节，所以new AAA()只会分配1字节的堆内存。但共享库的构造函数要初始化16字节的成员变量，这本质是堆内存越界写入，属于未定义行为。没崩溃只是因为越界区域刚好是进程可访问的内存，并不是真的没问题。
析构函数未调用：因为旧版AAA没有声明析构函数，主程序编译时，编译器不会生成调用析构函数的代码。即使共享库中的类有析构函数，delete指针时，编译器是根据编译时的类信息决定是否调用析构，所以不会触发共享库中的析构逻辑。

C++共享库中修改类的成员变量会改变类的内存布局，依赖该类的主程序必须重新编译，否则会因为内存布局不匹配导致未定义行为（崩溃、数据损坏等）。如果必须在不重建主程序的场景下更新共享库，必须保证类的二进制兼容性：

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