C++自学笔记(19 类和对象_多态)
19 类和对象_多态
本次记录多态,还请各位大佬批评指正!
多态(面向对象的三大特性之一)
多态分为两类:
静态多态:函数重载和运算符重载属于静态多态,复用函数名。
动态多态:派生类和虚函数实现运行时多态。
静态多态和动态多态的区别:
静态多态的函数地址早绑定 - 编译阶段确定函数地址;
动态多态的函数地址晚绑定 - 运行时确定函数地址。
多态的优点:
代码组织结构清晰;
可读性强;
利于前期和后期的扩展及维护。
动态多态满足条件:
1、有继承关系;
2、子类重写父类的虚函数(当子类重写父类的虚函数,子类中的虚函数表 内部 会替换成 子类的虚函数地址)。
动态多态使用:
父类的指针或者引用 指向子类的对象。
#include<iostream>
#include <stdlib.h>
#include<string>
using namespace std;
//多态
class Animal
{
public:
//虚函数
virtual void speak()
{
cout << "动物在说话!" << endl;
}
};
class Cat : public Animal
{
public:
//重写:函数返回值类型、函数名、参数列表完全相同称为重写
//virtual可写可不写
virtual void speak()
{
cout << "小猫在说话!" << endl;
}
};
class Dog : public Animal
{
public:
void speak()
{
cout << "小狗在说话!" << endl;
}
};
//执行说话的函数
//地址早绑定,在编译阶段确定函数地址
//如果想执行让猫说话,那么这个函数地址就不能提前绑定,需要在运行阶段进行绑定,即地址晚绑定
void doSpeak(Animal& animal)// Animal& animal = cat
{
animal.speak();
}
void test01()
{
Cat cat;
doSpeak(cat);
Dog dog;
doSpeak(dog);
}
int main()
{
test01();
system("pause");
return 0;
}
动态多态内部原理:
父类Animal中成员函数不加virtual关键字,打开开发人员命令提示符工具,查看Animal结构:cl /d1 reportSingleClassLayoutAnimal “10 类和对象_多态.cpp”
此时Animal类为空类,大小为1。加上virtual关键字后,重新查看Animal结构:
Animal类大小变为4,且多了vfptr,即虚函数(表)指针,指向vftable,即虚函数表。虚函数表的内部纪录的是 Animal ::speak 的地址。
当子类(Cat类)没有重写父类的虚函数时,查看Cat类结构:cl /d1 reportSingleClassLayoutCat “10 类和对象_多态.cpp”
Cat类大小也是4个字节,因为继承了父类(Animal类)中的vfptr指针。没有发生重写的时候,vftable中纪录的还是Animal ::speak 的地址。
当子类(Cat类)重写父类的虚函数时,重新查看Cat类结构:
此时,vftable中纪录的数据变为 Cat ::speak 的地址。
多态案例1:计算器类
案例描述:分别利用普通写法和多态技术,设计实现两个操作数进行运算的计算器类。
#include<iostream>
#include <stdlib.h>
#include<string>
using namespace std;
//多态案例1:计算器类
//普通实现
class Caculator
{
public:
int getresult(string oper)
{
if (oper == "+")
{
return m_Num1 + m_Num2;
}
else if (oper == "-")
{
return m_Num1 - m_Num2;
}
else if (oper == "*")
{
return m_Num1 * m_Num2;
}
//如果想扩展新的功能,需要修改源码
//在真实开发中提倡 开闭原则
//开闭原则:对扩展进行开放,对修改进行关闭
}
int m_Num1;
int m_Num2;
};
void test01()
{
Caculator c;
c.m_Num1 = 10;
c.m_Num2 = 10;
cout << c.m_Num1 << "+" << c.m_Num2 << "=" << c.getresult("+") << endl;
cout << c.m_Num1 << "-" << c.m_Num2 << "=" << c.getresult("-") << endl;
cout << c.m_Num1 << "*" << c.m_Num2 << "=" << c.getresult("*") << endl;
}
//多态实现
//实现计算器抽象类
class AbstractCalculator
{
public:
virtual int getresult()
{
return 0;
}
int m_Num1;
int m_Num2;
};
//加法计算器类
class AddCalculator : public AbstractCalculator
{
public:
int getresult()
{
return m_Num1 + m_Num2;
}
};
//减法计算器类
class SubCalculator : public AbstractCalculator
{
public:
int getresult()
{
return m_Num1 - m_Num2;
}
};
//乘法计算器类
class MulCalculator : public AbstractCalculator
{
public:
int getresult()
{
return m_Num1 * m_Num2;
}
};
void test02()
{
//多态使用条件:父类指针或者引用指向子类对象
//加法运算
AbstractCalculator* abc = new AddCalculator;
abc->m_Num1 = 100;
abc->m_Num2 = 100;
cout << abc->m_Num1 << "+" << abc->m_Num2 << "=" << abc->getresult() << endl;
//用完后记得销毁
delete abc;
//减法运算
abc = new SubCalculator;
abc->m_Num1 = 100;
abc->m_Num2 = 100;
cout << abc->m_Num1 << "-" << abc->m_Num2 << "=" << abc->getresult() << endl;
delete abc;
//乘法运算
abc = new MulCalculator;
abc->m_Num1 = 100;
abc->m_Num2 = 100;
cout << abc->m_Num1 << "*" << abc->m_Num2 << "=" << abc->getresult() << endl;
delete abc;
}
int main()
{
test01();
test02();
system("pause");
return 0;
}
纯虚函数和抽象类
在多态中,通常父类中虚函数的实现是毫无意义的,主要都是调用子类重写的内容。因此可以将虚函数改为纯虚函数。只要类中有纯虚函数,这个类就称为抽象类。
纯虚函数语法: virtual 返回值类型 函数名 (参数列表) = 0;
抽象类特点:
无法实例化对象;
子类必须重写抽象类中的纯虚函数,否则也属于抽象类。
#include<iostream>
#include <stdlib.h>
#include<string>
using namespace std;
//纯虚函数和抽象类
class Base
{
public:
//纯虚函数
virtual void func() = 0;
};
class Son1 : public Base
{
public:
virtual void func()
{
cout << "Son1 func函数调用!" << endl;
}
};
class Son2 : public Base
{
public:
virtual void func()
{
cout << "Son2 func函数调用!" << endl;
}
};
void test01()
{
//Base b;//错误:不允许使用抽象类类型“Base”的对象
//new Base;//抽象类无法实例化对象
Son1 s;//子类必须重写抽象类中的纯虚函数,否则无法实例化对象
Base* base1 = new Son1;
base1->func();
Base* base2 = new Son2;
base2->func();
}
int main()
{
test01();
system("pause");
return 0;
}
多态案例2:制作饮品
案例描述:制作饮品的大致流程为:煮水 - 冲泡 - 倒入杯中 - 加入辅料。利用多态技术实现本案例,提供抽象制作饮品基类,提供子类制作咖啡和茶叶。
#include<iostream>
#include <stdlib.h>
#include<string>
using namespace std;
//多态案例2:制作饮品
class AbstractDrinking
{
public:
//煮水
virtual void Boil() = 0;
//冲泡
virtual void Brew() = 0;
//导入杯中
virtual void PourInCup() = 0;
//加辅料
virtual void PutSomething() = 0;
//制作流程
void MakeDrink()
{
Boil();
Brew();
PourInCup();
PutSomething();
}
};
class Coffee :public AbstractDrinking
{
public:
//煮水
virtual void Boil()
{
cout << "煮怡宝" << endl;
}
//冲泡
virtual void Brew()
{
cout << "冲泡咖啡" << endl;
}
//导入杯中
virtual void PourInCup()
{
cout << "导入杯中" << endl;
}
//加辅料
virtual void PutSomething()
{
cout << "加入糖和牛奶" << endl;
}
};
class Tea :public AbstractDrinking
{
public:
//煮水
virtual void Boil()
{
cout << "煮农夫山泉" << endl;
}
//冲泡
virtual void Brew()
{
cout << "冲泡茶叶" << endl;
}
//导入杯中
virtual void PourInCup()
{
cout << "导入杯中" << endl;
}
//加辅料
virtual void PutSomething()
{
cout << "加入枸杞" << endl;
}
};
void doWork(AbstractDrinking *abs)//AbstractDrinking *abs = new Coffee
{
abs->MakeDrink();
delete abs;//手动开辟,手动释放
}
void test01()
{
//制作咖啡
doWork(new Coffee);
cout << "-------------------" << endl;
//制作茶
doWork(new Tea);
}
int main()
{
test01();
system("pause");
return 0;
}
虚析构和纯虚析构
问题: 多态使用时,如果子类中有属性开辟到堆区,那么父类指针在释放时不会调用到子类的析构代码。
解决方式: 将父类中的析构函数改为虚析构或纯虚析构。
虚析构和纯虚析构共性:
可以解决父类指针释放子类对象时不干净的问题;
都需要具体的函数实现。
虚析构和纯虚析构区别:
如果是纯虚析构,该类属于抽象类,无法实例化对象。
虚析构语法:
virtual ~类名(){ }
纯虚析构语法:
virtual ~类名() = 0;
类名::~类名(){ }
#include<iostream>
#include <stdlib.h>
#include<string>
using namespace std;
//虚析构和纯虚析构
class Animal
{
public:
Animal()
{
cout << "Animal构造函数调用!" << endl;
}
//纯虚函数
virtual void speak() = 0;
利用虚析构可以解决 父类指针释放子类对象时不干净的问题
//virtual ~Animal()
//{
// cout << "Animal虚析构函数调用!" << endl;
//}
//纯虚析构也可以解决上述问题 需要声明,也需要实现
//有了纯虚析构之后,这个类也属于抽象类,无法实例化对象
virtual ~Animal() = 0;
};
Animal::~Animal()
{
cout << "Animal的纯析构函数调用!" << endl;
}
class Cat :public Animal
{
public:
Cat(string name)
{
cout << "Cat构造函数调用!" << endl;
m_Name = new string(name);
}
virtual void speak()
{
cout << *m_Name <<"小猫在说话!" << endl;
}
~Cat()
{
if (m_Name != NULL)
{
cout << "Cat析构函数调用!" << endl;
delete m_Name;
m_Name = NULL;
}
}
string* m_Name;
};
void test01()
{
Animal* animal = new Cat("Tom");
animal->speak();
//父类指针在析构时不会调用子类的析构函数,导致子类如果有堆区属性,会出现内存泄漏。
delete animal;
}
int main()
{
test01();
system("pause");
return 0;
}
总结:
1、虚析构或纯虚析构是用来解决通过父类指针释放子类对象的问题;
2、如果子类中没有堆区数据,可以不写虚析构或纯虚析构;
3、拥有纯虚析构函数的类也属于抽象类。
多态案例3:电脑组装
案例描述:电脑主要组成部件为:CPU(用于计算),显卡(用于显示),内存(用于存储)。
要求如下:
1、将每个零件封装成抽象基类,并且提供不同的厂商生产不同的零件,例如Intel厂商和AMD厂商。
2、创建电脑类提供让电脑工作的函数,并且调用每个零件工作的接口。
3、测试时组装三台不同的电脑进行工作。
#include<iostream>
#include <stdlib.h>
#include<string>
using namespace std;
//多态案例3:电脑组装
class CPU
{
public:
//抽象的计算函数
virtual void calculate() = 0;
};
class GraphicsCard
{
public:
//抽象的显示函数
virtual void display() = 0;
};
class Memory
{
public:
//抽象的存储函数
virtual void storage() = 0;
};
class Computer
{
public:
//构造函数中传入三个零件指针
Computer(CPU* cpu, GraphicsCard* gpu, Memory* mem)
{
m_cpu = cpu;
m_gpu = gpu;
m_mem = mem;
}
void Work()
{
//让零件工作起来,调用接口
m_cpu->calculate();
m_gpu->display();
m_mem->storage();
}
//提供析构函数释放3个电脑零件
~Computer()
{
if (m_cpu != NULL)
{
delete m_cpu;
m_cpu = 0;
}
if (m_gpu != NULL)
{
delete m_gpu;
m_gpu = 0;
}
if (m_mem != NULL)
{
delete m_mem;
m_mem = 0;
}
}
private:
CPU* m_cpu;//CPU零件指针
GraphicsCard* m_gpu;//显卡零件指针
Memory* m_mem;//内存零件指针
};
class IntelCPU :public CPU
{
virtual void calculate()
{
cout << "Intel的CPU开始计算了!" << endl;
}
};
class IntelGraphicsCard :public GraphicsCard
{
virtual void display()
{
cout << "Intel的显卡开始显示了!" << endl;
}
};
class IntelMemory :public Memory
{
virtual void storage()
{
cout << "Intel的内存开始存储了!" << endl;
}
};
class AMDCPU :public CPU
{
virtual void calculate()
{
cout << "AMD的CPU开始计算了!" << endl;
}
};
class AMDGraphicsCard :public GraphicsCard
{
virtual void display()
{
cout << "AMD的显卡开始显示了!" << endl;
}
};
class AMDMemory :public Memory
{
virtual void storage()
{
cout << "AMD的内存开始存储了!" << endl;
}
};
void test01()
{
//第一台电脑零件
CPU* intelCpu = new IntelCPU;//父类指针指向子类对象
GraphicsCard* intelCard = new IntelGraphicsCard;
Memory* intelMem = new IntelMemory;
cout << "第一台电脑开始工作:" << endl;
//组装第一台电脑
Computer* computer1 = new Computer(intelCpu, intelCard, intelMem);
computer1->Work();
delete computer1;
cout << "-----------------------" << endl;
cout << "第二台电脑开始工作:" << endl;
//组装第二台电脑
Computer* computer2 = new Computer(new AMDCPU, new AMDGraphicsCard, new AMDMemory);
computer2->Work();
delete computer2;
cout << "-----------------------" << endl;
cout << "第三台电脑开始工作:" << endl;
//组装第二台电脑
Computer* computer3 = new Computer(new AMDCPU, new IntelGraphicsCard, new AMDMemory);
computer3->Work();
delete computer3;
}
int main()
{
test01();
system("pause");
return 0;
}