Linux C++ 019-多态

Linux C++ 019-多态

本节关键字：Linux、C++、多态、虚函数
相关库函数：

多态的基本概念

多态分为两类：

静态多态：函数重载和运算符重载属于静态多态，复用函数名
动态多态：派生类和虚函数实现运行时多态

静态多态和动态多态的区别：

静态多态的函数地址早绑定 - 编译阶段确定函数地址
动态多态的函数地址晚绑定 - 运行阶段确定函数地址

动态多态的满足条件：

(1) 有继承关系
(2) 子类重写父类的虚函数
	重写：函数返回值类型 函数名 参数列表 完全一致称为重写

动态多态的使用：父类的指针或者引用 执行子类对象

//动物类		
class Animal
{
public:
	//虚函数 - 实现地址的晚绑定
	virtual void speak()
	{
		cout << "动物在说话" << endl;
	}
};
//猫类
class Cat : public Animal
{
public:	
	virtual void speak() // virtual 可以不加
	{
		cout << "小猫在说话" << endl; 
	}
}
//如果想执行让猫说话，那么这个函数地址就不能提前绑定，需要在运行阶段进行绑定，即地址晚绑定
//Animal & animal = cat;
void doSpeak(Animal &animal)
{
	animal.speak();
}
void test01()
{
	Cat cat;
	doSpeak(cat);//加上 virtual 前的运行结果是：动物在说话
}

多态案例 - 计算器类

案例描述：分别用普通写法和多台技术，设计实现两个操作数进行预算的计算器类

多态优点：

(1) 代码组织结构清晰
(2) 可读性强
(3) 利用前期和后期的扩展以及维护

普通实现

//普通实现		
class Calculator
{
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;
        }
        else if(oper == "/")
        {
            return m_Num1 / m_Num2;
        }
        //如果想扩展新的功能，需要修改源码
        //在实际开发中，提倡 开闭原则
        //开闭原则：对扩展进行开放，对修改进行关闭
    }
    
    int m_Num1;
    int m_Num2;
};

void test01()
{
    Calculator c;
    c.m_Num1 = 10;
    c.m_Num2 = 10;
    
    cout << c.m_Num1 << "+" << c.m_Num2 << "=" << c.oper("+") << endl;
}		

利用多态实现计算器

//实现计算器抽象类
class AbstracCalculator
{
public:
    virtual int getResult()
    {
        return 0;
    }
    
    int m_Num1;
    int m_Num2;
};
//加法计算器类
class AddCalculator : public AbstracCalculator
{
public:
    int getResult()
    {
        return m_Num1 + m_Num2;
    }
};
//减法计算器类
class SubCalculator : public AbstracCalculator
{
public:
    int getResult()
    {
        return m_Num1 - m_Num2;
    }
};
//乘法计算器类
class MulCalculator : public AbstracCalculator
{
public:
    int getResult()
    {
        return m_Num1 * m_Num2;
    }
};
//除法计算器类
class DivCalculator : public AbstracCalculator
{
public:
    int getResult()
    {
        return m_Num1 / m_Num2;
    }
};
void test02()
{
    //多态使用条件
    //父类指针或者引用指向子类对象
    //加法运算
    AbstracCalculator *abc = new AddCalculator;
    abc->m_Num1 = 10;
    abc->m_Num2 = 10;
    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 << "=" << endl;
    delete abc;
    //乘法运算
    abc = new MulCalculator;
    abc->m_Num1 = 50;
    abc->m_Num2 = 50;
    cout << abc->m_Num1 << "*" << abc->m_Num2 << "=" << endl;	
    delete abc;
    //除法运算
    abc = new DivCalculator;
    abc->m_Num1 = 2;
    abc->m_Num2 = 2;
    cout << abc->m_Num1 << "/" << abc->m_Num2 << "=" << endl;
    delete abc;
}

纯虚函数和抽象类

在多态中，通常父类中虚函数的实现是毫无意义的，主要是调用子类重写的内容，因此可以将虚函数改为纯虚函数。
纯虚函数语法： virtual 返回值类型 函数名(参数列表) = 0;

当类中有了纯虚函数，这个类也称为抽象类，抽象类的特点：
(1)无法实例化对象
(2)子类必须有重写抽象类中的纯虚函数，否则该子类也属于抽象类，同样无法实例化对象

//抽象类 - 成员中有一个纯虚函数的类就是抽象类
class Base
{
public:
	virtual void func() = 0;
};
//派生类不重写父类的虚函数，派生类也是抽象类
class Son : public Base
{
public:
	void func()
	{
		cout << "func()函数调用" << endl;
	}
};
void test01()
{
	//Base b;//错误，抽象类无法实例化对象
	//new Base;//错误，抽象类无法实例化对象
	Son s;
	Base * base = new Son;
	base->func();
}

多态案例 - 制作饮品

案例描述：
	制作饮品的大致流程为：煮水、冲泡、倒入杯中、加入，利用多态技术实现本案例，提供抽象制作饮品基类，提供子类制作咖啡和茶叶

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)
{
	abs->makeDrink();
	delete abs;//防止内存泄露
}
void test01()
{
	//制作咖啡
	doWork(new Coffee);
	cout << "-----------------" << endl;
	//制作茶
	doWork(new Tea);
}

虚析构和纯虚析构

问题：	多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用到子类的析构代码?
解决方法：将父类中的析构函数改为虚析构或者纯虚析构。

虚析构和纯虚析构共性：可以解决父类指针释放子类对象；都需要有具体的函数实现。
虚析构和纯虚析构区别：如果是纯虚析构，该类属于抽象类，无法实例化对象。

虚析构语法： virtual ~类名(){}
纯虚析构语法： virtual ~类名() = 0;

总结：
(1) 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象
(2) 如果子类中没有堆区数据，可以不写为虚析构或纯虚析构
(3) 拥有纯虚析构函数的类也属于抽象类

class Animal
{
public:
	Animal()
	{
		cout << "Animal 构造函数" << endl;
	}
	//利用虚析构可以解决 父类指针释放子类对象时不干净的问题
	virtual ~Animal()
	{
		cout << "Animal 虚析构函数" << endl;
	}
	//有了纯虚析构之后，这个类也属于抽象类，无法实例化对象
	//virtual ~Animal() = 0;//纯虚析构 需要声明和实现
	virtual void speak() = 0;
};
// animal::~animal()
// {
	// cout << "animal 纯虚析构函数" << endl;
// }
class Cat : public Animal
{
public:
	Cat(string name)
	{
		cout << "Cat的构造函数" << endl;
		m_Name = new string(name);
	}
	~Cat()
	{
		if(m_Name != NULL)
		{
			cout << "Cat的析构函数" << endl;
			delete m_Name;
			m_Name = NULL;
		}
		
	}
	void speak()
	{
		cout << *m_Name << "小猫在说话" << endl;
	}
	string *m_Name;
};
void test01()
{
	Animal * animal = new Cat("Tom");
	animal->speak();
	//父类指针在析构时，不会调用子类的析构函数，造成内存泄露
	delete animal;
}

多态案例 电脑组装

案例描述：
	1、电脑主要组成部件CPU(用于计算)，显卡(用于显示)，内存条(用于存储)
	2、将每个零件封装出抽象基类，并且提供不同的厂商生产不同的零件，例如Intel厂商和Lenovo厂商
	3、创建电脑类提供让电脑工作的函数，并且调用每个零件工作的接口
	4、测试时组装三台不同的电脑进行工作

//抽象的CPU		
class CPU
{
public:
	virtual void calculate() = 0;//计算函数
};
//抽象的显卡
class VideoCard
{
public:	
	virtual void display() = 0;//显示函数
};
//抽象的内存条
class Memory
{
public:
	virtual void storage() = 0;//存储函数
};
//抽象的计算机
class Computer
{
public:
	Computer(CPU *cpu, VideoCard *vc, Memory *mem)
	{
		m_cpu = cpu;
		m_vc = vc;
		m_mem = mem;
	}
	//工作函数
	void work()
	{	//调用接口
		m_cpu->calculate();
		m_vc->display();
		m_mem->storage();
	}
	//提供析构函数，释放3个电脑零件
	~Computer()
	{
		if(m_cpu != NULL)
		{
			delete m_cpu;
			m_cpu = NULL;
		}
		if(m_vc != NULL)
		{
			delete m_vc;
			m_vc = NULL;
		}
		if(m_mem != NULL)
		{
			delete m_mem;
			m_mem = NULL;
		}
	}
	
private:
	CPU *m_cpu;//CPU零件的指针
	VideoCard *m_vc;//显卡的零件指针
	Memory *m_mem;//内存条的零件指针
};
//抽象的Intel CPU
class IntelCPU : public CPU
{
public:
	void calculate()
	{
		cout << "Intel的CPU开始计算了" << endl;
	}
};
class IntelVideoCard : public VideoCard
{
public:
	void display()
	{
		cout << "Intel的VideoCard开始显示了" << endl;
	}
};
class IntelMemory : public Memory
{
public:
	void storage()
	{
		cout << "Intel的Memory开始存储了" << endl;
	}
};
//抽象的Lenovo CPU
class LenovoCPU : public CPU
{
public:
	void calculate()
	{
		cout << "Lenovo的CPU开始计算了" << endl;
	}
};
class LenovoVideoCard : public VideoCard
{
public:
	void display()
	{
		cout << "Lenovo的VideoCard开始显示了" << endl;
	}
};
class LenovoMemory : public Memory
{
public:
	void storage()
	{
		cout << "Lenovo的Memory开始存储了" << endl;
	}
};
void test01()
{
	//第一台电脑零件
	cout << "第一台电脑开始工作" << endl;
	CPU * intelCpu = new IntelCPU;
	VideoCard * intelCard = new IntelVideoCard;
	Memory * intelMem = new IntelMemory;
	//创建第一台电脑
	Computer * computer1 = new Computer(intelCpu, intelCard, intelMem);
	computer1->work();
	delete computer1;
	
	cout << "------------------------------" << endl;
	
	//第二台电脑零件
	cout << "第二台电脑开始工作" << endl;
	CPU * intelCpu = new LenovoCPU;
	VideoCard * intelCard = new LenovoVideoCard;
	Memory * intelMem = new LenovoMemory;
	//创建第二台电脑
	Computer * computer2 = new Computer(intelCpu, intelCard, intelMem);
	computer2->work();
	delete computer2;
	
	cout << "------------------------------" << endl;
	
	//第三台电脑零件
	cout << "第三台电脑开始工作" << endl;
	//创建第三台电脑
	Computer * computer3 = new Computer(new LenovoCPU, new LenovoVideoCard, new LenovoMemory);
	computer3->work();
	delete computer3;
}