析构函数是用来释放所定义的对象中使用的指针，默认的析构函数不用显示调用，自建的析构函数要在程序末尾调用。 虚函数可以让成员函数操作一般化，用基类的指针指向不同的派生类的对象时，基类指针调用其虚成员函数，则会调用其真正指向对象的成员函数，而不是基类中定义的成员函数（只要派生类改写了该成员函数）。若不是虚函数，则不管基类指针指向的哪个派生类对象，调用时都会调用基类中定义的那个函数。 如果你把一个成员函数定义成虚函数，那么编译器的时候就会在类的开头加一个指针（vptr），指向虚函数表（vtbl）。每个类都有自己的vtbl，vtbl的作用就是保存自己类中虚函数的地址，我们可以把vtbl形象地看成一个数组，这个数组的每个元素存放的就是虚函数的地址。在运行时，首先是取出vptr的值，这个值就是vtbl的地址，再根据这个值来到vtbl这里，然后调用这个函数。
所以析构函数定义虚函数也是同样的道理，通过指针到实际对象的虚函数表，然后调用实际对象的虚构函数。
把类的析构函数写成虚函数有什么好处
2008年10月10日 星期五 20:56
一）面试题：
class Base
{
public:
Base() { mPtr = new int; }
~Base() { delete mPtr; }
private:
int* mPtr;
}
class Derived : public Base
{
public:
Derived() { mDerived = new long; }
~Derived() { delete mDerived; }
private:
long* mDerived;
}
void main()
{
Base* p = new Derived;
delete p;
}
请问以上的程序片段会产生内存泄露吗？
二）简答：
类要采用多态的话，一定要把析构函数写成虚函数
class Base
短篇伦理小说{
public:
Base() { mPtr = new int; }
virtual ~Base() { delete mPtr; }
private:
int* mPtr;
};
class Derived : public Base
{
public:
Derived() { mDerived = new long; }
virtual ~Derived() { delete mDerived; }
private:
long* mDerived;
};
三）其它
（1）写成虚的是为了在实现多态的时候不造成内存泄露, 比如:
class a
{
int aa;
public:
virtual ~a(){};
木结构设计规范};
class b : public a
{
int bb;
xm25};
如果你这样:
a *pa = new b; // upcast
然后这样:
兰州交通大学学报delete pa;
这句delete, 如果你基类的析构函数不是虚的的话, 就会造成内存泄露, 具体表现为派生类的内存被释放了而基类没有.
我已经给你了参考资料的地方, Efftive C++里人家说的已经很好了, 我表达能力又不好, 在继承中使用多态来创建动态对象时, 比如上面的:a *pa = new b;
由于pa是个基类的指针, 只能识别属于基类的部分, 所以如果没有虚析构函数的话, 那么子类中特有的部分就不会被释
放, 造成"经典"的释放一半, 泄露一半的内存泄露.
这和object slicing的原理是一样的, 至于object slicing:
#include <iostream>
#include <string>
using namespace std;
class Pet
{
public:
Pet(const string& _category_) : category(_category_){}
virtual void Desc()
{
cout << "This is a " << category << ".\n";
}
virtual const string& GetCate()
{
return category;
}
virtual ~Pet(){}
private:
string category;
};
贺兰山的魂
class Cat : public Pet
{
public:
Cat(const string& _category_, const string& _name_)
:
Pet(_category_), name(_name_){}
virtual void Desc()
{
cout << "This is a " << Pet::GetCate() << ".\n";
cout << "Its name is " << name << endl;
}
private:
string name;
};
void Describe(Pet p) // object slicing
{
p.Desc();
}
int main()
{
Pet p("Yellow dog");
Cat c("Black and white cat", "Kitty");
Describe(p);
Describe(c); // object slicing
}
所以表现在动态对象上就会造成delete不完全, 造成内存泄露.
我的编译器警告级别被我调成最高, 有一次写类多态的时候它就警告我base类中没有虚的虚构函数, 我
开始也不懂为什么, 但既然警告了就说明一定有问题, 后来查了资料就知道了, 自己也长了见识. 一般的, 只要一个类要作为其他类的基类, 那么它就一定有虚函数, 只要一个类中有虚函数, 那么它的析构函数就一定也要是虚的, 否则就会造成我以上所说的问题, 你以后自己多看点书查查资料吧...
参考资料：Effective C++ Item 7: Declare destructors virtual in polymorphic base classes
（2）如果不改，则只会调用基类的析构函数。如果析构函数改为虚函数，则这个程序会先调用派生类的析构，后调用基类的析构。
（3）用虚函数是为了方便让基类的指针能访问派生类(用FOR循环实现)，而不是一定要有，不写虚函数也是一样可以，那样就得用类的作用域来限定是想访问是基类还是派生类的成员，虚析构也是一样的道理--想用指针来访问派生类对象，里面涉及到动态分配内存的话，就要用虚析构。
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议