C++复习_多态

一、多态的基本语法

1.1动态多态：由子类与虚函数实现运行时多态

1.2多态实现

父类引用指向子类对象

1.3内核

(1)父类在实现虚函数后，产生vfptr，指向vftable，内存有虚函数地址（&Animal::speak()）,子类在继承时，在重写虚函数之前，会复制vfptr，当子类重写父类虚函数时，vftable中会替换为子类的虚函数地址（&cat::speak）

（2）当父类引用指向子类对象时，也即发生多态时，传入一个子类对象，调用虚函数，此时记录虚函数的地址已经发生替换，所以调用子类的虚函数，完成多态

（3）综上，当未发生多态，在测试函数中调用dospeak函数传入子类，子类中调用的虚函数仍与父类相同，所以猫不会说话，仍然是动物说话，只有在子类中虚函数重写，使得vftable中虚函数的地址发生替换后，才会真正调用子类中的函数

1.4通过工具验证

1.5整体流程

父类虚函数实现、子类虚函数重写、doSpeak函数中实现父类引用指向子类对象、创建子类对象传入do函数，在函数中实现子类虚函数的调用完成整体工作

二、计算器类实现

2.1父类引用指向子类对象思路：

        父类虚函数实现、子类虚函数重写（各种功能）、docalculate函数中实现父类引用指向子类对象、测试函数中创建子类对象（各种功能）传入do函数实现各种子类功能

2.2父类指针指向子类对象思路

        父类虚函数实现、子类虚函数重写（各种功能）、测试函数中创建父类指针指向子类new出的子类对象、父类指针直接调用子类虚函数即可、注意手动delete创建在堆区的子类对象

三、纯虚函数与抽象类

3.1motivation:

父类的虚函数实现是毫无意义的，主要都是调用子类重写的内容，所以使用纯虚函数

纯虚函数：virtual 返回值类型 函数名 （参数列表） = 0；

3.2抽象类特点

（1）类中存在纯虚函数，这个类为抽象类

（2）抽象类无法实例化对象

（3）抽象类的子类必须重写抽象类的虚函数，否则也属于抽象类

四、多态案例：制作饮品

实现：

        黑马实现：父类纯虚函数实现、实现完成所有流程的函数、子类虚函数重写实现具体流程、dowork函数实现父类指针指向子类对象并实现调用完成流程的函数、在测试函数中new子类对象并传入dowork函数

        技巧：既创建了dowork函数，也通过父类指针传入子类对象、在测试函数调用dowork时直接new子类对象传入
      

五、虚析构与纯虚析构

5.1motivation:

（1）情形：

        父类纯虚函数实现、子类虚函数重写加需求、子类中堆区创建对象在重写中输出（创建string*即指针类型的子类成员变量、在子类构造函数中通过new在堆区创建name对象用子类创建的指针类型成员变量接收，最后在虚函数中解引用输出）、测试函数中创建父类指针指向new出的子类对象，并传入name、指针调用子类虚函数、手动delete子类对象

（2）问题：

        子类中，通过new在堆区创建数据，所以需要在子类的析构函数中手动释放此数据，但是通过多态实现的代码，子类的析构函数无法正常执行

（3）原因：

        当在 C++ 中使用基类指针来删除派生类对象时，如果基类的析构函数不是虚的（virtual），则会导致一个称为“切片”（slicing）的问题，其中仅基类的析构函数被调用，而派生类的析构函数不会被调用。这是因为析构函数的调用机制是基于对象的静态类型（编译时类型），而非其动态类型（运行时类型），除非析构函数被声明为虚函数。这个行为是 C++ 的多态特性的一部分。

        父类的析构函数不是虚函数，即不是虚析构，调用delete animal时，因为animal的静态类型为父类，所以编译器只调用父类的析构函数，子类的析构函数不会调用，导致子类在堆区的数据不释放

（4）解决：

        设计原则-------在设计一个父类的时候，始终将其析构函数声明为虚函数，现在，当执行 delete animal; 时，C++ 运行时系统会首先调用 Cat 的析构函数，随后调用 Animal 的析构函数。这样确保了所有由 Cat 及其基类 Animal 管理的资源都被适当地释放

（5）语法：在父类析构函数前 加关键字virtual 为虚析构

        virtual ~ Animal = 0; 为纯虚析构，但是需要注意，纯虚析构也需要具体实现，在类外进行实现

5.2技巧总结：

1.首先子类创建string*类型的成员变量、在子类构造函数中new一个string类型的name对象（name需要外部传入）并用子类指针类型的成员变量接收，最后在子类纯虚函数中解引用输出

2.在1中的操作是在堆区开辟数据，需要在子类的析构中手动释放

3.由于多态是父类指针指向new出的子类对象实现的，最后在delete父类指针的时候，由于切片问题，编译器只会调用父类析构代码，所以使用虚析构或者纯虚析构，注意在调用纯虚析构的时候也需要具体实现

六、多态案例三 电脑组装

（1）首先，单个零件起作用：抽象零件父类实现纯虚函数、子类重写纯虚函数达到不同品牌零件实现、通过父类指针指向new出的子类对象产生多态，指针调用子类虚函数实现不同零件厂商工作

（2）但是，要实现组装电脑，需要不同的零件共同起作用，需要创建电脑类，将调用零件虚函数的实现统一归入电脑类中的dowork函数：

（3）创建电脑类、因为需要传入父类指针（在work函数中统一通过父类指针调用子类中的虚函数），所以在电脑类中创建父类指针类型的成员变量去接受父类指针，并统一在work函数中调用子类虚函数

（4）测试函数中：父类指针指向new出的子类对象，通过电脑类创建一个指针接收new出的电脑类对象（其中传入父类指针），通过电脑类指针访问dowork函数即完成电脑类创建，然后delete电脑类指针

（5）创建不同品牌的电脑，只需创建通过父类指针指向不同new出的子类对象，将父类指针传入电脑类函数中去即可

（6）注意问题：零件是在堆区开辟的，并没有释放