多态的概念
一个行为不同的对象产生出不同的形态 这就是多态,多态也是实现代码复用的方式那么为什么呢???
多态的实现前提以及实现的条件
为什么多态也是代码复用的产物呢,因为多态的第一个前提就是继承,必须建立在继承的基础之上,才有多态之谈,也就是说这个不同的对象也是有前提的,就是在继承的条件之下的不同的类对象,简单来说就是子类和基类
多态的第一个条件就是调用的函数必须是虚函数,我们的派生类必须对基类的函数进行了重写.
多态的第二个条件就是必须通过基类的指针或者引用去调用虚函数
重写
重写(也就是覆盖)是在多态的前提之下,也就是说我们基类的函数进行了virtual的修饰,我们派生类在继承了这个函数之后,自行定义了这个函数里面的内容,这时候就构成了函数的重写
当我们没有对函数进行virtual关键字修饰,仅仅只是继承,假如我们派生类中自行定义了一个与基类重名的函数,这个时候,构成了同名隐藏
多态和重载
重载与多态是经常混在一起的概念,其实是不一样的,函数重载建立在同一个作用域里面,我们的多态并没有建立在同一作用域里面,是在继承的前提下那么就是不同的类,重载是一种语言的特性,重载的实现是在编译期间,我们的编译器完成了对函数名字的重新修饰,这是在编译期间就会去做的事情,是一种静态的绑定,与多态的实现不同,多态的实现是在程序的运行期间,是一种动态的绑定.
结论就是:重载只是一种语言特性,与多态无关,与面向对象也无关!
多态实现的原理
多态的实现原理就是虚表,如果类中成员函数是加上了关键字virtual修饰的话,那么生成的类中会多一个地址,这个地址就是虚表指针,这个指针里面存放的我们虚函数的函数地址,类似于继承里面的虚基表,在函数运行期间,如果构成了多态就会在这个表中去调用对应类的函数,从而完成各自调用各自函数的功能,也就实现了不同对象的同种行为的不同状态;.
所以我们在实现多态的时候必须通过调用基类的指针或者引用来实现,为什么不能调用派生类的对象或者引用呢,父类调用子类方法?子类是要搞特色的,父类能调用不合理假如这个时候你传的是子类的引用,或者指针,但是父类对象中并没有子类的实现函数,那么不就存在不安全的事件了吗?
关于实现继承和接口继承
普通函数的继承是一种关于实现的继承,我们可以使用继承下来的函数,只不过这种行为侧重的是继承,
虚函数的继承是一种接口的继承,我们只是继承了这个接口至于接口下面的内容,我们自己来实现,目的就是重写函数,完成多态,
那么,多态的作用是什么呢?我们知道,封装可以隐藏实现细节,使得代码模块化;继承可以扩展已存在的代码模块(类);它们的目的都是为了——代码重用。而多态则是为了实现另一个目的——接口重用!而且现实往往是,要有效重用代码很难,而真正最具有价值的重用是接口重用,因为“接口是公司最有价值的资源。设计接口比用一堆类来实现这个接口更费时间。而且接口需要耗费更昂贵的人力的时间。”
多态其他的方面
构造函数是不能进行虚函数修饰的,因为我们的虚函数指针是在构造函数初始化列表那里生成的,所以是不行的]
内联函数是不能用虚函数来修饰的,因为内联函数在编译期间,编译器会将函数展开,函数并没有地址,而我们多态是需要进行动态绑定的,由此可见是不行的
静态函数也无法放进虚函数表中,因为我们的静态函数并没有this指针.
虚函数重写的两个意外
我们知道虚函数在进行重写的时候,我们两边的函数必须是参数列表完全一致的,返回值类型也是一致的,但是如果返回值的类型是各自对象的指针或者引用的时候,这个时候我们叫协变,
我们基类的析构函数没有加关键字修饰的时候,他也是会构成多态的,析构函数是清理对象空间的,那么我想这个也是可以理解的.
在虚表的最后存着nullptr指针.