虚函数
构造函数不能声明为虚函数,析构函数可以声明为虚函数,而且有时是必须声明为虚函数。
不建议在构造函数和析构函数里面调用虚函数。
构造函数不能声明为虚函数的原因是:
- 构造一个对象的时候,必须知道对象的实际类型,而虚函数行为是在运行期间确定实际类型的。而在构造一个对象时,由于对象还未构造成功。编译器无法知道对象的实际类型,是该类本身,还是该类的一个派生类,或是更深层次的派生类。无法确定。。。
- 虚函数的执行依赖于虚函数表。而虚函数表在构造函数中进行初始化工作,即初始化vptr,让他指向正确的虚函数表。而在构造对象期间,虚函数表还没有被初始化,将无法进行。
虚函数的意思就是开启动态绑定,程序会根据对象的动态类型来选择要调用的方法。然而在构造函数运行的时候,这个对象的动态类型还不完整,没有办法确定它到底是什么类型,故构造函数不能动态绑定。(动态绑定是根据对象的动态类型而不是函数名,在调用构造函数之前,这个对象根本就不存在,它怎么动态绑定?)
编译器在调用基类的构造函数的时候并不知道你要构造的是一个基类的对象还是一个派生类的对象。
析构函数设为虚函数的作用:
解释:在类的继承中,如果有基类指针指向派生类,那么用基类指针delete时,如果不定义成虚函数,派生类中派生的那部分无法析构。
例:
#include"stdafx.h" #include"stdio.h" classA { public: A(); virtual~A(); }; A::A() { } A::~A() { printf("DeleteclassAPn"); } classB: publicA { public: B(); ~B(); }; B::B() {} B::~B() { printf("DeleteclassBPn"); } intmain(intargc, char *argv[]) { A *b = newB; deleteb; return0; }
输出结果为:
DeleteclassB
DeleteclassA
如果把A的virtual去掉:那就变成了DeleteclassA也就是说不会删除派生类里的剩余部分内容,也即不调用派生类的虚函数
因此在类的继承体系中,基类的析构函数不声明为虚函数容易造成内存泄漏。所以如果你设计一定类可能是基类的话,必须要声明其为虚函数。
Note:
- 如果我们定义了一个构造函数,编译器就不会再为我们生成默认构造函数了。
- 编译器生成的析构函数是非虚的,除非是一个子类,其父类有个虚析构,此时的函数虚特性来自父类。
- 有虚函数的类,几乎可以确定要有个虚析构函数。
- 如果一个类不可能是基类就不要申明析构函数为虚函数,虚函数是要耗费空间的。
- 析构函数的异常退出会导致析构不完全,从而有内存泄露。最好是提供一个管理类,在管理类中提供一个方法来析构,调用者再根据这个方法的结果决定下一步的操作。
- 在构造函数不要调用虚函数。在基类构造的时候,虚函数是非虚,不会走到派生类中,既是采用的静态绑定。显然的是:当我们构造一个子类的对象时,先调用基类的构造函数,构造子类中基类部分,子类还没有构造,还没有初始化,如果在基类的构造中调用虚函数,如果可以的话就是调用一个还没有被初始化的对象,那是很危险的,所以C++中是不可以在构造父类对象部分的时候调用子类的虚函数实现。但是不是说你不可以那么写程序,你这么写,编译器也不会报错。只是你如果这么写的话编译器不会给你调用子类的实现,而是还是调用基类的实现。
- 在析构函数中也不要调用虚函数。在析构的时候会首先调用子类的析构函数,析构掉对象中的子类部分,然后在调用基类的析构函数析构基类部分,如果在基类的析构函数里面调用虚函数,会导致其调用已经析构了的子类对象里面的函数,这是非常危险的。
- 记得在写派生类的拷贝函数时,调用基类的拷贝函数拷贝基类的部分,不能忘记了。
析构函数什么情况下要定义为虚函数?
1.第一段代码
#include<iostream> using namespace std; class ClxBase { public: ClxBase() {}; ~ClxBase() { cout << "Output from the destructor of class ClxBase!" << endl; }; void DoSomething() { cout << "Do something in class ClxBase!" << endl; }; }; class ClxDerived : public ClxBase { public: ClxDerived() {}; ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; }; void DoSomething() { cout << "Do something in class ClxDerived!" << endl; }; }; int main() { ClxDerived *p = new ClxDerived; p->DoSomething(); delete p; return 0; }
运行结果:
Do something in class ClxDerived! Output from the destructor of class ClxDerived! Output from the destructor of class ClxBase!
这段代码中基类的析构函数不是虚函数,在main函数中用继承类的指针去操作继承类的成员,释放指针P的过程是:先释放继承类的资源,再释放基类资源.
2.第二段代码
#include<iostream> using namespace std; class ClxBase { public: ClxBase() {}; ~ClxBase() { cout << "Output from the destructor of class ClxBase!" << endl; }; void DoSomething() { cout << "Do something in class ClxBase!" << endl; }; }; class ClxDerived : public ClxBase { public: ClxDerived() {}; ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; }; void DoSomething() { cout << "Do something in class ClxDerived!" << endl; } }; int main() { ClxBase *p = new ClxDerived; p->DoSomething(); delete p; return 0; }
输出结果:
Do something in class ClxBase! Output from the destructor of class ClxBase!
这段代码中基类的析构函数同样不是虚函数,不同的是在main函数中用基类的指针去操作继承类的成员,释放指针P的过程是:只是释放了基类的资源,而没有调用继承类的析构函数.调用dosomething()函数执行的也是基类定义的函数.
一般情况下,这样的删除只能够删除基类对象,而不能删除子类对象,形成了删除一半形象,造成内存泄漏.
在公有继承中,基类对派生类及其对象的操作,只能影响到那些从基类继承下来的成员.如果想要用基类对非继承成员进行操作,则要把基类的这个函数定义为虚函数.
析构函数自然也应该如此:如果它想析构子类中的重新定义或新的成员及对象,当然也应该声明为虚的.
3.第三段代码:
#include<iostream> using namespace std; class ClxBase { public: ClxBase() {}; virtual ~ClxBase() { cout << "Output from the destructor of class ClxBase!" << endl; }; virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; }; }; class ClxDerived : public ClxBase { public: ClxDerived() {}; ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; }; void DoSomething() { cout << "Do something in class ClxDerived!" << endl; }; }; int main() { ClxBase *p = new ClxDerived; p->DoSomething(); delete p; return 0; }
运行结果:
Do something in class ClxDerived! Output from the destructor of class ClxDerived! Output from the destructor of class ClxBase!
这段代码中基类的析构函数被定义为虚函数,在main函数中用基类的指针去操作继承类的成员,释放指针P的过程是:只是释放了继承类的资源,再调用基类的析构函数.调用dosomething()函数执行的也是继承类定义的函数.
如果不需要基类对派生类及对象进行操作,则不能定义虚函数,因为这样会增加内存开销.当类里面有定义虚函数的时候,编译器会给类添加一个虚函数表,里面来存放虚函数指针,这样就会增加类的存储空间.所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数.
转自 http://blog.sina.com.cn/s/blog_7c773cc50100y9hz.html
其实这个问题最终将回答一个问题:
如果Base * pbase = new Derived;那么如果delete pbase的话,怎样避免内存泄露?
对比1:父类的普通成员函数和虚函数均是非虚函数
来看看这时候会发生什么,具体代码和运行结果如下:
#include <iostream> using namespace std; //情景1:普通成员函数和析构函数,都不是虚函数 class Base{ public: Base(){} //父类的析构函数,不是虚函数 ~Base(){ cout<<"Base destructor"<<endl; } //普通成员 void dosomething(){ cout<<"do something in Base"<<endl; } }; //派生类 class Derived : public Base{ public: Derived(){} ~Derived(){ cout<<"Derived destructor"<<endl; } void dosomething(){ cout<<"do something in Derived"<<endl; } }; int main(){ //这个时候,虽然父类指针实际指向子类,可是没有虚函数表,所以不能调用实际的类型,因此输出的只能是父类指针自身能看到的内容 Base *base = new Derived; base->dosomething();//输出的是父类的函数 delete base;//调用的是父类的析构函数 system("pause"); return 0; }
输出:
do something in Base Base destructor
其实涉及到虚函数,必然要想到虚函数表,虚函数表就是对类中的所有虚函数维持的数据结构,若是父类指针调用子类对象,这时候会查找虚函数表到实际的类型。可是如果没有虚函数,父类指针只能“看到”自身的成员,这时候自然只能调用本身的方法(普通方法和析构方法);
因为没有虚构函数,那么pbase指针只能调用子类对象中的父类对象部分的方法,因此只能调用父类的析构函数。
对比2:父类析构函数是虚函数(将调用哪个析构函数?)
将代码的父类的虚构函数加上virtual关键字,其他完全相同,得到如下代码和运行结果:
#include <iostream> using namespace std; //情景1:普通成员函数和析构函数,都不是虚函数 class Base{ public: Base(){} //父类的析构函数,是虚函数,只做了这里的更改 virtual ~Base(){ cout<<"Base destructor"<<endl; } //普通成员 void dosomething(){ cout<<"do something in Base"<<endl; } }; //派生类 class Derived : public Base{ public: Derived(){} ~Derived(){ cout<<"Derived destructor"<<endl; } void dosomething(){ cout<<"do something in Derived"<<endl; } }; int main(){ //这个时候,虽然父类指针实际指向子类,可是没有虚函数表,所以不能调用实际的类型,因此输出的只能是父类指针自身能看到的内容 Base *base = new Derived; base->dosomething();//输出的是父类的函数 delete base;//调用的是父类的析构函数 system("pause"); return 0; }
输出:
so something in Base Derived destructor Base destructor
由此可以看出,这个时候,就真正实现了将实际类型对象进行释放的。同时可以得到,如果父类析构是虚函数,子类调用析构函数的话,会先调用子类的析构函数,之后会调用父类的析构函数
其实这里父类的析构函数加上了virtual,并不是说pbase释放的时候,同时调用了子类的析构函数和父类的析构函数,它实际上指向的是子类的虚函数表,那么就是说父类指针最终只调用了子类的析构函数,由C++类本身特性,当子类析构函数调用的时候,会自动调用父类的析构函数,完成了释放。
相关小结
对于Base *pbase = new Derived;
- 如果父类函数不是析构函数,那么pbase只能“看见”父类本身的函数,这是因为没有虚函数表让它可以找到本身
- 如果父类析构函数是虚函数,如果delete pbase,将会先调用子类函数的析构函数,然后子类析构函数自动调用父类的析构函数,真正实现了资源释放,防止了内存泄露
- 构造派生类的时候,会先构造基类部分,然后构造子类部分;撤销派生类对象的时候,会先撤销派生类部分,然后撤销基类部分
转载自http://www.51projob.com/a/bishimianshi/2012/0414/195.html