4、虚函数相关问题
4.1、面向对象三大特性
面向对象的三大特性:封装、继承、多态。具有相同性质的对象,可以抽象为类。封装就是指将属性(变量)和行为(函数)作为一个整体,表现一个对象。继承,是指类与类之间的特殊关系,下级成员除了拥有上级成员的共性,还有自己的特点,减少重复的代码。多态,就是指多种形态,主要分为静态多态和动态多态,静态多态就是指重载(函数重载和运算符重载)也就是编译多态,动态多态是指继承关系的派生类、子类重写父类中的虚函数实现的运行多态。
1、封装
1)封装的概念
封装就是把数据和代码捆绑在一起,避免外界干扰和不确定性访问,也就是客观事物封装成抽象的类,并且类可以把自己的数据和方法只让可信的类或者对象操作,对不可信的进行信息隐藏。例如:将公共的数据或方法使用public修饰,而不希望被访问的数据或方法采用private修饰。
2)实现方式
- 数据封装:保护数据成员,不让类外的程序直接访问或修改,只能通过提供的公共的接口访问;
- 方法封装:方法的细节是对用户隐藏的,只要接口不变,内容的修改不会影响到外部的调用者;
- 对象的方法可以接收对象外的消息;
- 对象外面不能直接访问对象的属性,只能通过和该属性对应的方法访问;
- 当对象含有完整的属性和与之对应的方法时称之为封装。
2、继承
1)继承的概念
继承就是让某种类型对象获得另一个类型对象的属性和方法。
继承方式一共有三种:公共继承、保护继承、私有继承(公共就是公共访问,保护就是子类访问,私有就是自己才能访问)C++中默认继承方式是private。
私有权限,子类永远不可以访问;保护继承,则子类都是保护属性;公共继承,则子类属性不变,除了不可访问私有。先私有继承之后,再进行公共继承,依然不可以访问,因为第一次私有继承之后所有成员属性都变为私有。
- public:该数据成员、成员函数是对所有用户开放的,所有用户都可以进行调用;
- protected:对于子女、朋友来说,就是public的,可以自由使用,没有任何限制,而对于其他的外部class,protected就变成private;
- private:私有,除了class自己之外,其他都不可以直接使用;
2)常见的继承方式
- 实现继承:指使用基类的属性和方法而无需额外编码的能力
- 接口继承:指仅使用属性和方法的名称、但是子类必须提供实现的能力
- 可视继承:指子窗体(类)使用基窗体(类)的外观和实现代码的能力(C++里好像不怎么用)
3、多态
多态:同一事物表现出不同事物的能力,即向不同对象发送同一消息,不同的对象在接收时会产生不同的行为**(重载实现编译时多态,虚函数实现运行时多态)**。 多态一般分为:静态多态、动态多态,还有一个模板template。
- 静态多态通过重载实现,函数重载(重载参数个数不同,重载参数类型不同或者参数类型顺序不同),运算符重载(operator)。在编译阶段就可以确定函数入口地址。
- 动态多态通过虚函数实现。地址晚绑定,是在运行阶段确定的。
- 在基类的函数前面+virtual,在派生类中重写该函数,运行时将会根据所指对象的实际类型来调用相应函数。派生类–派生类,基类–基类。虚函数具有虚函数表和虚函数指针:
- 虚函数表:类中含有virtual关键字修饰的方法,编译器会自动生成虚函数表。
- 虚表指针:在含有虚函数的类实例化对象时,对象地址的前四个字节存储的指向虚函数表的指针。
- 在基类的函数前面+virtual,在派生类中重写该函数,运行时将会根据所指对象的实际类型来调用相应函数。派生类–派生类,基类–基类。虚函数具有虚函数表和虚函数指针:
1)多态的底层原理
- 编译器在发现基类中有虚函数时,会自动为每个含有虚函数的类生成一份虚表,该表是一个一维数组,虚表里保存了虚函数的入口地址;
- 编译器会在每个对象的前四个字节中保存一个虚表指针(vptr),指向对象所属类的虚表。在构造时,根据对象类型去初始化虚表指针vptr,从而让vptr指向正确的虚表,从而在调用虚函数时,能找到正确的函数;
- 在派生类定义对象时,程序运行会自动调用构造函数,在构造函数中创建虚表并对虚表初始化。在构造子类对象时,先调用父类的构造函数,此时,编译器只看到父类,并为父类对象初始化虚表指针,令其指向父类的虚表;当调用子类的构造函数时,为子类对象初始化虚表指针,令其指向子类的虚表;
- 当派生类对基类的虚函数没有重写时,派生类的虚表指针指向基类的虚表;当派生类对基类的虚函数重写时,派生类的虚表指针指向自身的虚表;当派生类中有自己的虚函数时,在自己的虚表中将此虚函数地址添加在后面。
2)静态绑定与动态绑定
-
静态类型:对象在声明时采用的类型,在编译期既已确定
-
动态类型:通常是指一个指针或引用目前所指对象的类型,是在运行期决定的;
-
静态绑定:绑定的是静态类型,所对应的函数或属性依赖于对象的静态类型,发生在编译期;
-
动态绑定:绑定的是动态类型,所对应的函数或属性依赖于对象的动态类型,发生在运行期;
非虚函数一般都是静态绑定,而虚函数都是动态绑定。
3)区别
- 静态绑定发生在编译期,动态绑定发生在运行期;
- 对象的动态类型可以更改,但是静态类型无法更改;
- 要想实现动态,必须使用动态绑定;
- 在继承体系中只有虚函数使用的是动态绑定,其他的全部是静态绑定;
4)建议
绝对不要重新定义继承而来的非虚(non-virtual)函数(《Effective C++ 第三版》条款36),因为这样导致函数调用由对象声明时的静态类型确定了,而和对象本身脱离了关系,没有多态,也这将给程序留下不可预知的隐患和莫名其妙的BUG;另外,在动态绑定也即在virtual函数中,要注意默认参数的使用。当缺省参数和virtual函数一起使用的时候一定要谨慎,不然出了问题怕是很难排查。
5)引用能否实现动态绑定?
可以。引用在创建的时候必须初始化,在访问虚函数时,编译器会根据其所绑定的对象类型决定要调用哪个函数。注意只能调用虚函数。
6)A类有B类的对象,B类有A类对象怎么释放
主函数中只实例化A a。会发现先调用B的构造函数,然后构造A的构造函数,之后再调用A的析构函数,最后是B的析构函数。(还是根据实例化对象来的,因为实例化了A,A中有B,所以要先构造B才行,释放了A,那B也没用了,所以B后析构)
**4.2、**虚函数表
1、实现
假设有一个基类ClassA,一个继承了该基类的派生类ClassB,并且基类中有虚函数,派生类实现了基类的虚函数。
我们在代码中运用多态这个特性时,通常以两种方式起手:
- ClassA *a = new ClassB();
- ClassB b; ClassA *a = &b;
以上两种方式都是用基类指针去指向一个派生类实例,区别在于第1个用了new关键字而分配在堆上,第2个分配在栈上。
以左图为例,ClassA *a是一个栈上的指针。该指针指向一个在堆上实例化的子类对象。基类如果存在虚函数,那么在子类对象中,除了成员函数与成员变量外,编译器会自动生成一个指向**该类的虚函数表(这里是类ClassB)**的指针,叫作虚函数表指针。通过虚函数表指针,父类指针即可调用该虚函数表中所有的虚函数。
2、类的虚函数表与类实例的虚函数指针
首先不考虑继承的情况。如果一个类中有虚函数,那么该类就有一个虚函数表。
这个虚函数表是属于类的,所有该类的实例化对象中都会有一个虚函数表指针去指向该类的虚函数表。
从第一部分的图中我们也能看到,一个类的实例要么在堆上,要么在栈上。也就是说一个类可以有很多很多