为什么构造函数不可以声明为虚函数,而析构函数最好声明为虚函数
为什么构造函数不可以被声明为虚函数:
1、因为创建一个对象时要确定对象的类型,而虚函数是在运行时确定其类型的,而在构造一个对象时,由于对象还未创建成功,编译器无法知道对象的实际类型。
2、虚函数对应一个虚表,可是这个虚表其实是存储在对象的内存空间的。如果构造函数是虚的,就需要通过虚表来调用,可是对象还没有实例化,也就是内存空间还没有,怎么找虚表呢?所以构造函数不能是虚函数。
为什么析构函数最好被声明为虚函数:
析构函数的作用与构造函数正好相反,是在对象的生命期结束时,释放系统为对象所分配的空间,即要撤消一个对象。
用对象指针来调用一个函数,有以下两种情况:
1.如果是虚函数,会调用派生类中的版本。(在有派生类的情况下)
2.如果是非虚函数,会调用指针所指类型的实现版本。
析构函数也会遵循以上两种情况,因为析构函数也是函数嘛,不要把它看得太特殊。 当对象出了作用域或是我们删除对象指针,析构函数就会被调用。
1.当派生类对象出了作用域,派生类的析构函数会先调用,然后再调用它父类的析构函数, 这样能保证分配给对象的内存得到正确释放。
2.但是,如果我们删除一个指向派生类对象的基类指针,而基类析构函数又是非虚的话, 那么就会先调用基类的析构函数(上面第2种情况),派生类的析构函数得不到调用。
因为析构函数声明为虚函数,将使所有派生类的析构函数自动成为虚函数,如果程序中显式地用了delete运算符删除一个对象,而delete运算符操作对象指向派生类对象的基类指针,则系统会调用相应类的析构函数。
程序示例:
析构函数没有声明为虚函数:
在对象析构时只析构了对象继承基类的那部分,而派生类自己派生的部分将不会被析构, 会造成内存泄露。
析构函数声明为虚函数:
所以析构函数最好声明为虚函数。