C++中,为什么构造函数不能够是虚函数,而析构函数可以是虚函数,而且最好是虚函数
程序员文章站
2024-03-21 09:50:58
...
首先说一说构造函数不能够是虚函数的原因:
1、一个类有虚函数时,那么它就会对应着有一个虚表,这个虚表是存在在对象的内存空间的,所有虚函数的调用都要用到虚表,如果构造函数是虚的,那么他也就需要这个虚表来调用,但是这个时候没有执行构造函数,哪来的对象?也就是还没有分配内存空间,这个虚表你是找不到的,那么构造函数就无法执行了。所以构造函数不能是虚函数。而且虚表的初始化是在构造函数阶段完成的。
2、虚函数的作用是实现动态绑定,即通过父类的指针或者引用指向的实际类型来选择要调用的方法,然而在构造函数运行的时候,但是构造函数是在创建对象的时候自动调用的,不可能通过父类的指针和引用去调用
3、当你构造一个对象的时候,你必须的知道对象的实际类型,而虚函数表示的是运行时的多态,他是在运行的时候才可以确定实际类型的,而在构造一个对象的时候,你连对象的没有构造成功,怎么会知道对象的实际类型呢,所以构造函数不可以是一个虚函数。
析构函数可以是虚函数,而且最好是虚函数
1、在类的继承中,如果基类的指针指向派生类,那么最好销毁对象用delete时,如果不定义成虚函数,那么就只会销毁基类的对象,派生类就不管了,就没有办法析构,这样就会造成内存泄漏,是很危险的。
下面可以通过一个例子来看:
例子1,析构函数不是虚函数的
#include<iostream>
using namespace std;
class A
{
public:
A()
{
cout << "A的构造函数执行" << endl;
}
~A()
{
cout << "A的析构函数执行" << endl;
}
};
class B :public A
{
public:
B()
{
cout << "B的构造函数执行" << endl;
}
~B()
{
cout << "B的析构函数执行" << endl;
}
};
int main(void)
{
A* p = new B();
delete p;
return 0;
}
执行结果
A的构造函数执行
B的构造函数执行
A的析构函数执行
可以看出当析构函数不是虚函数的时候那么B就无法析构
下来我们看看当构造函数是虚函数的时候
#include<iostream>
using namespace std;
class A
{
public:
A()
{
cout << "A的构造函数执行" << endl;
}
virtual ~A()
{
cout << "A的析构函数执行" << endl;
}
};
class B :public A
{
public:
B()
{
cout << "B的构造函数执行" << endl;
}
virtual ~B()
{
cout << "B的析构函数执行" << endl;
}
};
int main(void)
{
A* p = new B();
delete p;
return 0;
}
运行结果
A的构造函数执行
B的构造函数执行
B的析构函数执行
A的析构函数执行
这样才是我们想要的结果,所以析构函数最好是虚函数
上一篇: activiti 数据库表