[C++]找出下面代码中的错误……

JAY

1. ~A() { delete []m_pData; }

复制代码

to

1. ~A() { if (m_pData) delete []m_pData; }

复制代码

may be...

或者说delete b;的时候不能正确调用A的析构函数？
不解了...

JAY

DEBUG监视Memory了，果然delete b;不会调用A的析构释放空间，Memory leak。
在b的类型是A的时候，为new A(100)申请的内存
在b的类型是A的时候，delete b会释放掉上面申请的空间
在b的类型是Base的时候，为new A(100)申请的内存   
在b的类型是Base的时候，delete b并没有释放掉上面申请的空间

JAY

关于解决方法，基类不能调用派生类的函数，要不然只能考虑重载了，不知道析构可不可以重载哦...

shooting

鼓励一下钻研精神~~

虚函数的override应该翻译成覆盖，而不是重载（overload）

析构函数可以为虚，而且一般如果基类中有虚函数的话，析构函数一定要声明成虚的，因为这种情况下一般总会用基类指针指向子类。

FantasyDR

因为基类的析构函数没有定义为虚，所以删除一个指向子类的基类指针时，没有调用正确的析构函数。

只有将基类的析构函数定义成虚的，才能保证总是调用到正确的析构函数。所以应该这样解决，只要改动基类的定义就可以：

1. class Base
2. {
3. public:
4. Base() {};
5. virtual ~Base() {};
6. };

复制代码

同时还有一个小技巧。如果想定义一个class，并且仅想让它作为基类而存在，不希望有它的实例，那么需要将其定义为抽象类。抽象类需要有纯虚方法，可以把析构函数声明为纯虚来解决这个问题，一石二鸟：

1. class Base
2. {
3. public:
4. Base() {};
5. virtual ~Base() = 0;
6. };

复制代码

JAY

就是virtual啊...我想到了的...可是习惯性的给~A也加上了virtual，编译通不过了...
后来又觉得这两个析构名字不一样，一下子不知道怎么覆盖了...

LindiX

~A前面也可以加上virtual，当然，前提是A的父类的析构函数也是虚函数。

JAY

我试过啊~不能编译通过...

FantasyDR

2. class Base
3. {
4.   public:
5.   Base() {}
6.   ~Base() {}
7. };
9. class A : public Base
10. {
11. public:
12.   A() {m_pData = NULL;}
13.   A(int nSize) { m_pData = new int[nSize]; }
14. ~A() { delete []m_pData; }
15.   
17. private:
18.   int * m_pData;
19. };
21. void main()
22. {
23.   Base * b = new A(100);
24.   delete b;
25. }

复制代码

找出错误，说明原因，应该如何“合理”地改正？