为什么会发生这种双释放错误？答案

【问题标题】：Why does this double-free error happen?为什么会发生这种双释放错误？
【发布时间】：2014-10-08 19:49:34
【问题描述】：

我有一个基类和一个派生类：

在 A.h 中：

//Includes
class A {
    protected:
       static std::string a;
       //other dummy code
};

在 A.cpp 中

std::string A::a = "bar";
//other dummy code

在 B.h：

#include "A.h"
//Other includes
class B : public A {
    public:
        int c;
        //other dummy code
};

Main.cpp：

#include "A.h"
#include "B.h"

int main() {
   printf("foo");
   return 0;
}

现在我将 A.cpp 和 B.cpp 编译为两个独立的共享库，分别为“a.so”和“b.so”，然后将它们链接到 Main.cpp。当我运行程序时 - 它以损坏的双链表错误退出。使用 valgrind 运行我看到有一个无效的免费错误。为什么会这样？

我知道每个 .so 文件都必须有自己的静态全局变量副本，但是当派生类在不同的共享库中而基类在不同的共享库中并且在基类？如何跨存在派生类的库为基类中的静态变量分配/销毁内存？

【问题讨论】：

【解决方案1】：

我了解每个 .so 文件都必须有自己的静态全局变量副本

您理解错误，除非您将 A.o 链接到 a.so 和 b.so 中，否则每个 .so 文件都不会拥有自己的静态 A::a 副本。 A.o 应该只链接到 a.so，b.so 应该链接到 a.so，而不是 A.o

【讨论】：