基类虚拟析构函数访问冲突

Question

抱歉，如果已经有人问过这个问题，但我很难搜索析构函数和访问冲突 =)

这是场景的 C++ 伪代码：

---

在 DLL1 中（使用 /MT 编译）

class A
{
public:
    virtual ~A()      <== if "virtual" is removed, everthing works OK
    {
    }
}

class B : public A
{
public:
    __declspec( dllexport ) ~B()  // i did try without exporting the destructor as well
     {
     }      <== Access Violation as it returns (if fails in assembly at delete operator...)
}

---

在链接到 DLL1 的 DLL2 中

main()enter code here
{
    B* b = new B();
    delete b;           <== Access Violation
}

发生了什么？我是不是脑子有问题？如果我将 A 的析构函数设为非虚拟，则一切正常 - 甚至 A 和 B 的析构函数也会被调用（就好像 A 的析构函数是虚拟的 - 这是因为它是公共的吗？）。

我的主要问题是——当基类的析构函数被声明为虚拟时，为什么会出现访问冲突？

Answer 1

谢谢你们！谢谢 ChrisW.. 看来这正是发生的事情。
我唯一需要添加的其他东西是静态分配器（static createNew()）：（

class A
{
public:
  __declspec( dllexport ) static void destroy(A* self) { delete self; }
protected:
  virtual ~A() {}
};

class B : public A
{
 protected: 
   B();
 public:
   __declspec( dllexport ) static B* createNew() { return new B(); }
}

int main()
{
  B* b = B::createNew()
  A::destroy(b); //instead of delete b
  return 0;
}

考虑到我的部署环境，使用 /MD 编译对我来说不是一个选项）

Answer 2

因为它在删除运算符中崩溃，并且因为您说您正在使用 /MT 进行编译，所以我相信原因是您的两个 DLL 不共享相同的堆：因为它们各自链接到静态库，它们各自获得自己的运行时堆的私有副本；您可以有效地从一个堆中分配一个 DLL 中的内存，并从另一堆中删除另一个 DLL 中的内存。

要解决此问题，您可以声明析构函数受到保护，并且不导出它。相反，创建一个静态销毁函数：

class A
{
public:
  __declspec( dllexport ) static void destroy(A* self) { delete self; }
protected:
  virtual ~A() {}
};

int main()
{
  B* b = new B();
  A::destroy(b); //instead of delete b
  return 0;
}

或者，您可能更喜欢这样做，因为它不涉及更改源代码，请确保两个 DLL 都构建为使用相同的堆，即使用 C 运行时的 DLL 版本，这我认为意味着使用 /MD 选项而不是 /MT 。