先说总结:构造函数不能是虚函数,析构函数可以是虚函数,也可以不是,看需求来定义
1、构造函数不可以是虚函数
当类中有虚函数时,编译器会在类中生成一个虚指针和一个虚函数表,虚指针指向虚函数表,虚函数表是一个存储虚函数成员指针的数组。虚函数表是由编译器自动生成和维护的。
虚指针的初始化:虚指针是在创建对象的时候进行初始化。在定义子类对象时,虚指针先指向父类虚函数表,在父类构造完成后,子类的虚指针才指向自己的虚函数表;
如果构造函数是虚函数,那么创建对象调用构造函数就要利用虚指针,而虚指针是在创建对象时才初始化的。所以构造函数不能是虚函数。
2.析构函数可以是虚函数
1.析构函数是否定义成虚函数的区别
(1)析构函数定义成虚函数时:基类指针或引用可以指向派生类对象实现多态性,如果释放该基类指针delete p,那么就会先调用派生类的析构函数,而派生类的析构函数又会调用基类的析构函数,这样就完成了派生类的全部资源释放
(2)析构函数不定义成虚函数时:编译器实施静态绑定,释放基类指针时,只会调用基类的析构函数,不会调用派生类的析构函数,导致内存泄漏。
基类析构函数不是虚函数时:
#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(){
A* a = new B;
cout << "\n";
delete a;
return 0;
}
运行结果:释放基类指针时,只会调用基类的析构
基类析构函数是虚函数时:
#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;
}
~B()
{
cout << "派生类B的析构函数" << endl;
}
};
int main(){
A* a = new B;
cout << "\n";
delete a;
return 0;
}
运行结果:delete基类指针时,会先调用派生类析构函数,然后派生类析构函数自动调用基类析构函数(是因为虚函数实现了多态)
3、虚函数什么时候用
如果需要基类的指针或引用指向派生类,并且该指针需要操作派生类的成员,才把函数声明为虚函数;否则不要轻易把函数声明为虚函数,因为这样会在类的存储空间增加一个虚指针和虚函数表,消耗内存。说白了就是要实现多态就将函数基类函数声明位虚函数,否则反之。