1.viirtual修饰的两种函数
virtual 修饰的函数有两种,一个是虚函数,一个是纯虚函数。
2.虚函数与纯虚函数的异同之处
1.虚函数与纯虚函数的相同之处
虚函数和纯虚函数都重写的一种,什么是重写呢?重写是指在子类中写和父类中返回值相同,函数类型相同,函数参数相同,但函数实际实现不同的函数。可以说是子类对父类函数的重写。重写函数的格式就是在函数类型前加上关键字virtual。下面举个栗子
#include<iostream> using namespace std; class person { public: virtual void creature() { cout<<"i'm person"<<endl; } /// /// /// }; class student : public person { public: virtual void creature() { cout<<"i'm stduent"<<endl; } /// /// /// };
此时父类中creature函数与子类中creature函数构成重载。结合继承的知识的我们知道这里不用加virtual代码也不会报错因为子类中creature函数与父类中creature函数构成隐藏。看似virtual没什么重要之处,实际virtual最重要的用法在于多态。
2.虚函数与纯虚函数的不同之处
1.格式上的不同
变成虚函数只需要在函数最前面加上关键字virtual就行,而纯虚函数是在虚函数的基础上在函数名的最后加上=0.举个栗子
#include<iostream> using namespace std; class person { public: virtual void creature() { cout<<"i'm person"<<endl; } /// /// /// }; class student : public person { public: virtual void creature() { cout<<"i'm stduent"<<endl; } /// /// /// }; class vehicle { public: virtual void Drive()=0; /// /// /// }; class car : public vehicle { public: virtual void Drive() { cout<<"i'm car"<<endl; } /// /// /// };
2.用法不同
虚函数一般用在多态上,而纯虚函数不同。在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
2.虚表是什么?多态的底层原理
我们知道在类中只有成员变量才会占用类的空间,而函数是不再类空间中的,但是如果是虚函数就不同了,虚函数是会占用类的空间的,但是又不同于成员变量,虚函数的地址会放入到虚表中,而占空间的只是虚表的地址而已,也就是说一个类中不论有几个虚函数,其只占用了一个指针的内存
如图我定义了5个虚函数,在运行时,所有的虚函数的地址都会放在续表中,而存在于对象中的则是续表的地址(__vfptr)与成员变量。这样一个存放虚函数地址的称作续表,而__vfptr指针就是指向此表的指针。
1.多态的底层原理
多态的底层原理与虚表有关。我们知道多态的条件有
1. 必须通过基类的指针或者引用调用虚函数
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
其中条件二2调用的函数必须是虚函数,因为只有是虚函数才能根据对象的类型去找对象中虚表中的函数。
条件一必须通过基类的指针或引用调用虚函数。那为什么是基类呢,我们知道我们可以将派生类的指针或引用赋给基类的指针或引用。而反过来我们不可以将基类的指针或引用赋给派生类的指针或引用。这样一来无论是基类还是派生类,我们只要将对象传进去就可以接收到,而后根据指针类型去对应的虚表中查找函数。这样多态就实现了。所以要实现多态这两个条件都是必不可少的。