c++之旅第八弹——多态

大家好啊，这里是c++之旅第八弹，跟随我的步伐来开始这一篇的学习吧！

如果有知识性错误，欢迎各位指正！！一起加油！！

创作不易，希望大家多多支持哦！

一，动态联编和静态联编：

1.什么是联编：

是计算机自身彼此关联的过程，在这个过程中确定程序中的操作调用与之前操作的代码段之间的映射关系

比如：函数重载时，编译器会根据函数名和函数的参数来区别要执行的函数 ( 哪一段代码 ) 。这就是建立的一种映射关系，明确函数调用时会执行哪一个代码段。

2.静态和动态的理解（用数组初始化操作来理解）：

数组的静态初始化是在数组一产生就给它赋值，即定义时就给它进行赋值操作，这个赋值操作只有一瞬间的赋值动作，所以大部分是静态的，称之为静态初始化；而数组的动态初始化是数组在定义时不给它赋值，而使用循环来对其进行赋值操作，由于赋值是在循环中一直发生的，所以是动态的，称之为动态初始化。

3.静态联编和动态联编的区分：

（1）静态联编：静态联编是在程序的编译阶段就确定了程序是要调用哪一个函数，其函数的调用是确定的，又称之为早期联编，或静态约束。

（2）动态连编：指的是编译阶段不能确定将要调用的函数，只能在程序运行的时候才能确定将要调用的函数，也就是说在程序运行的时候才将函数实现和函数调用关联。也叫晚期联编或动态约束

4.实现动态联编的条件：

（1）把动态联编的行为定义为类的虚函数

（2）有父子关系的类，这个行为通常是重写的父类的虚函数

（3）使用基类指针或引用指向派生类对象，然后使用基类指针调用虚函数成员（这可以实现不同对象实现不同的操作）

***动态联编最显著的表现就是多态

二，多态：

1.什么是多态：

同一个接口（函数），通过不同的对象调用就有不同的效果

2.多态的实现：

需要虚函数，就是在类中的函数成员前面加一个 virtual 关键字

3.虚函数的特点：

（1）如果在类中定义了至少一个虚函数，那么系统会为这个类创造一个虚函数表

类中没有数据成员，只有普通函数成员时，该类的大小是一个字节，若给该类写了虚函数，那么该类就会变为四个字节（那一个字节是会被直接覆盖的），写多个虚函数也是一样，因为一旦写了虚函数，系统就会为这个类维护一个虚函数表，这四个字节在这个类中的表现形式为一个指针，指向一个相当于指针数组（存放着函数首地址）的空间，故占四个字节

虚函数表内存示意图：

（2）类会在没有该关键字的基础上多出 4 个字节的指针去指向这个虚函数表，在虚函数表中保存了虚函数的首地址，在调用虚函数的时候就会先到类中的虚函数表中查找虚函数，然后调用；一般函数是直接在类中找到使用的函数然后执行该函数，也就是多了一步查找虚函数表

（3）虚函数表不会被继承（也就是虚函数表的数组首地址不会被继承），但是表中的项会被继承（虚函数会被继承）

使用虚函数继承时的注意事项：使用虚函数后的继承，如果派生类中有自己的虚函数（和基类的虚函数是非同名的）是会在继承的基类的虚函数表的基础上往后添加的，而且由于这个派生类新添加的虚函数是属于派生类的，所以基类是无法访问这个派生类中新添加的虚函数的；但是如果派生类中写有和基类的虚函数同名的函数时，这个函数是会替代虚函数表中的基类虚函数的（同名函数在基类必须有virtual关键字，在派生类中就是可有可无的），也就是在虚函数表进行修改，将基类的同名函数首地址改为派生类的同名函数首地址

4.多态的一般实现方式：

使用基类指针指向基类和派生类对象来调用虚函数，这是没有必要的，一般实现多态是不会这样写的，因为直接通过对象名就可以访问虚函数了，没有必要用指针来访问；所以，多态实现方式一般会是在类对象没有名字时（动态内存开辟堆区对象）来使用指针调用虚函数，否则无法对堆区的对象进行虚函数的调用（因为无法通过对象名来进行直接访问）

CA *pa;
pa = new CB;//CB是继承CA的派生类
pa->fun();//调用派生类中的替换fun函数
delete pa;//写了基类虚析构的话，这时可以通过派生类析构函数调用基类析构函数，即两个析构函数均被调用，虚析构函数在下面有解释

没有虚函数成员函数的访问是通过类型来进行访问的，有了虚函数之后，成员函数的访问是通过虚函数表来进行访问的

类中有虚函数，析构改为虚析构：这样派生类中就可以对基类析构函数进行重写和替换（替换是重点）

原因解释：当基类指针指向派生类对象时，如果基类的析构函数不是虚函数，那么在使用delete删除基类指针时，只会调用基类的析构函数，而不会调用派生类的析构函数，这可能导致派生类中的资源未被正确释放，造成内存泄漏。通过将基类的析构函数声明为虚析构函数，可以确保在删除派生类对象时，会依次调用派生类和基类的析构函数，从而安全释放所有相关资源。（因为调用派生类的析构函数时就会先调用基类的析构函数）

三，抽象类：

1、抽象类也是一个类，只不过不能拿来定义对象

2、抽象类是用来描述一些公有的属性和行为的

3、一个类中拥有至少一个纯虚函数，这个类就变为了抽象类

4 、子类如果继承了抽象类，那么子类必须重写抽象类中的所有纯虚函数 ( 构造析构除外 ) ，否则子类也会变为抽象类，没有函数实现就是抽象类（除构造析构）

5、纯虚函数的定义：virtual void fun()=0;//不需要实现

不能用抽象类类型来定义对象（因为里面有函数没有定义），但是抽象类可以用作指针的类型，因为可以指向派生类的重写的基类纯虚函数（重写后就不是纯虚函数了）

四，final：

1.在虚函数的后面加修饰:

• 在虚函数后面加上final修饰符表示该虚函数是“最终的”，即不能在派生类中被重写（覆盖）。

• 如果一个虚函数被声明为final，那么任何尝试在派生类中重新定义该函数的行为都会导致编译错误。

• 这种方式可以用来阻止进一步的继承层次中对该虚函数的重写，确保该函数在派生类中不会被修改。在这种情况下，使用基类指针来调用有final函数派生类的下一个派生类的该函数时，就会调用到有final函数的类的该重写函数

2.在定义类的后面加修饰：

• 在定义类后面加上final修饰符表示该类是“最终的”，即不能被继承。

• 如果一个类被声明为final，那么任何尝试从该类派生出新的子类的行为都会导致编译错误。

• 这种方式可以用来阻止进一步的继承，确保该类不会被用作基类。