例子
#include<iostream>
using namespace std;
class b
{
public:
b(){cout<<"base constructor"<<endl;}
~b(){cout<<"base destoyer"<<endl;}
virtual void dosth(){cout<<"base do some things"<<endl;}
};
class c:public b
{
public:
c(){cout<<"son constructor"<<endl;
ptr = new char[256];
*ptr = 'c';
}
~c(){cout<<"son destroyer"<<endl;
delete ptr;
}
void dosth(){cout<<"son do something"<<endl;
cout<<*ptr<<endl;
}
private:
char *ptr;
};
int f()
{
//c c_t;
//c_t.dosth();
b *b_e = new c();
b_e->dosth();
delete b_e;
}
int main()
{
f();
system("pause");
}
可以看到,delete父类指针时不会调用之类的析构函数。如果将父类的析构函数声明为virtual,则会调用之类的析构函数。
using namespace std;
class b
{
public:
b(){cout<<"base constructor"<<endl;}
~b(){cout<<"base destoyer"<<endl;}
virtual void dosth(){cout<<"base do some things"<<endl;}
};
class c:public b
{
public:
c(){cout<<"son constructor"<<endl;
ptr = new char[256];
*ptr = 'c';
}
~c(){cout<<"son destroyer"<<endl;
delete ptr;
}
void dosth(){cout<<"son do something"<<endl;
cout<<*ptr<<endl;
}
private:
char *ptr;
};
int f()
{
//c c_t;
//c_t.dosth();
b *b_e = new c();
b_e->dosth();
delete b_e;
}
int main()
{
f();
system("pause");
}
如果某个类不包含
虚函数,那一般是表示它将不作为一个
基类来使用。当一个类不准备作为
基类使用时,使析构函数为虚一般是个坏主意。因为它会为类增加一个
虚函数表,使得对象的体积翻倍,还有可能降低其可移植性。
所以基本的一条是:无故的声明虚析构函数和永远不去声明一样是错误的。实际上,很多人这样总结:当且仅当类里包含至少一个
虚函数的时候才去声明虚析构函数。
虚析构函数举例
这里是一个例子:
class awov { // awov = "abstract w/o
// virtuals"
public:
virtual ~awov() = 0; // 声明一个纯虚析构函数
};
这个类有一个
纯虚函数,所以它是抽象的,而且它有一个虚析构函数,所以不会产生析构函数问题。但这里还有一件事:必须提供纯虚析构函数的定义:
awov::~awov() {} // 纯虚析构函数的定义
这个定义是必需的,因为虚析构函数工作的方式是:最底层的派生类的析构函数最先被调用,然后各个
基类的析构函数被调用。这就是说,即使是
抽象类,
编译器也要产生对~awov的调用,所以要保证为它提供
函数体。如果不这么做,
链接器就会检测出来,最后还是得回去把它添上。
注意:如果声明虚析构函数为inline,将会避免调用它们时产生的开销,但
编译器还是必然会在什么地方产生一个此函数的拷贝。