内存泄露——不包含头文件类的析构函数不执行

今天遇到一个很诡异的内存泄露，记录如下：

1.两个类，记为A，B。其中A有应指向B的指针；B也有指针成员，指向new出来的空间。两个类定义如下：

<span style="font-family: Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255);"></span><pre name="code" class="cpp">1.1文件A.h
class B;
class A{public:
    ~A();
public:
    B * m_pB;
...
};
1.2 文件A.cpp
#include "A.h"
A::~A()
{
    if(m_pB)
    {
        delete m_pB;
        m_pB = NULL; 
    }
}
1.3 文件B.h
<pre name="code" class="cpp"><pre name="code" class="cpp">class B{
public:
    B();
    ~B();
private:
    int * m_p0;
...
};
1.4 文件B.cpp
#include "B.h"
B::B()
{
    m_p0 = new int(NUM);
}
B::~B()
{
    if(m_p0)
    {
        delete m_p0;
        m_p0 = NULL;
    }
}

<span style="font-family: Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255);">根据上述定义，可以看出：</span>

1）B类里有new的指针，因此需要自定义析构函数，否则会造成内存泄露；

2）A类中有B的指针（下面会用new来赋值），但A.h文件只是声明了B类，而不是包含B类的头文件。A.cpp文件也未包含B.h，因此也是看不到B类的定义的。

2.下面给出main函数：

</pre><pre name="code" class="cpp">#include "A.h"
#include "B.h"
int main()
{
    A * pA = new A;
    A.m_pB = new B();
    delete pA;
}

上述代码会造成内存泄露！

3.分析：

     理论上说，执行delete pA;会调用A的析构函数，而A的析构函数又会调用B的析构函数，B的析构函数析构new出来的数组空间。然而实际上并非如此，上述代码会造成内存泄露。原因如下：

执行delete pA;会调用A类的析构函数，这步没有错。A类的析构函数会执行delete m_pB; 这步并不会调用B类的析构函数，原因在于A类的析构函数看不到B类的定义，所以也就不知道B类定义了自己的析构函数，它只释放了B类占用的空间（不包括B类里m_p0指针指向的空间）。因此造成内存泄露。

解决方法很简单：在A.cpp中包含头文件B.h。

4.总结：

    这个代码是在VS2010里写的，我不确定上述问题是C++语法的问题，还是VS的问题。有上面的分析我搞明白了delete所做的工作，delete一个指针p，p指向的对象的大小size肯定是知道的，那么delete的功能就是释放从p开始，大小为size的连线空间。