1、纯虚函数和抽象类
在多态中,通常父类中虚函数的实现是毫无意义的,主要是调用子类重写的内容。
虚函数—>纯虚函数
纯虚函数的语法:virtual 返回值类型 函数名 (参数列表) = 0;
当类中有了纯虚函数,这个类也称为 抽象类
抽象类的特点:
·无法实例化对象
·子类必须重写抽象类中的纯虚函数,否则也属于抽象类
class Base
{
public:
//父类中想用多态来复类虚函数内容是毫无意义的
//只要有一个虚函数,这个类就称为抽象类
//特点:
//1.无法实例化对象
//2.子类必须重写抽象类中的纯虚函数,否则也属于抽象类
virtual void func() = 0;
};
class Son :public Base
{
public:
virtual void func()
{
cout << "func函数的调用" << endl;
}
};
void test01()
{
//Base b;//抽象类无法实例化对象
//new Base;//抽象类无法实例化对象
//Son s;
Base*base = new Son;
base->func();
}
2、制作饮品案例
class AbstractDringKing
{
public:
//煮水
virtual void Boid() = 0;
//冲泡
virtual void Brew() = 0;
//倒水
virtual void PourInCup() = 0;
//加佐料
virtual void PutSomething() = 0;
void mskeDrink()
{
Boid();
Brew();
PourInCup();
PutSomething();
}
};
//制作咖啡
class Coffee :public AbstractDringKing
{
public:
//煮水
virtual void Boid() {
cout << "著农夫山泉" << endl;
}
//冲泡
virtual void Brew()
{
cout << "冲咖啡" << endl;
}
//倒水
virtual void PourInCup()
{
cout << "倒入杯中" << endl;
}
//加佐料
virtual void PutSomething()
{
cout << "加牛奶" << endl;
}
};
//制作茶
class Tea :public AbstractDringKing
{
public:
//煮水
virtual void Boid() {
cout << "著农夫山泉" << endl;
}
//冲泡
virtual void Brew()
{
cout << "冲泡 茶叶" << endl;
}
//倒水
virtual void PourInCup()
{
cout << "倒入杯中" << endl;
}
//加佐料
virtual void PutSomething()
{
cout << "加茶料" << endl;
}
};
void doWork(AbstractDringKing*abs)//AbstractDringKing*abs = new Coffee
{
abs->mskeDrink();
delete abs;//释放 防止堆区数据内存泄漏
}
void test01()
{
//制作咖啡
doWork(new Coffee);
}
3、虚析构和纯虚析构
多态使用时,如果子类中有属性开辟到堆区,那么父类指针在释放时无法调用到子类的析构代码
解决方式:将父类中的析构函数改成 虚析构 或者纯虚析构
虚析构和纯虚析构的
共性:
·可以解决父类指针释放的子类对象
·都需要有具体的函数实现
区别:
·纯虚析构,该类是抽象类无法实例化对象
虚析构语法:
virtual ~类名(){}
纯虚析构语法:
virtual ~类名()=0;
类名::~类名(){};
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: //继承了animal类,父类中的纯虚函数子类必须要重写,否则子类也属于抽象类
Cat(string name)
{
cout << "Cat构造函数的调用" << endl;
m_Name=new string(name);
}
virtual void speak()
{
cout << *m_Name<<"小猫在说话" << endl;
}
string *m_Name;//名称不是创建在栈上,创建指针具体创建在堆区的数据上
~Cat()
{
if (m_Name != NULL)
{
cout << "Cat析构函数的调用" << endl;
delete m_Name;
m_Name = NULL;
}
}
};
void test01()
{
Animal * animal = new Cat("Tom");
animal->speak();
//父类指针在析构的时候,不会调用子类中的析构函数,导致子类如果有堆区属性,出现内存泄漏
delete animal;
}
·非虚函数,都是静态绑定,绑定对象的静态类型,而对象的静态类型是指声明对象时使用的类型,在编译时确定,普通析构函数也是静态绑定,所以执行的是animal的析构函数。
·内存泄漏:程序中已动态分配的堆内存由于某种原因程序未释放或无法释放,造成系统内存的浪费,导致程序运行速度减慢甚至系统崩溃等严重后果
·调用子类虚析构父类虚析构也会被调用:因为虚析构函数变成子类的虚析构函数后,会指挥子类虚析构,而子类虚析构的过程中,会把它创建的父类也虚析构了;父类虚析构就是调用父类的虚析构函数,所以这里并不是一个虚析构可以同时调用父类和子类的虚析构函数,而是先调用子类的析构,再有子类的析构调用父类的析构
·语法强制纯虚析构函数必须有函数实现,因为有时候父类也有一些数据开辟在这个堆区
纯虚函数,又要释放弗莱在堆区中的数据,就需要使用类内纯虚函数声明,类外写实现的写法。
总结:
1.虚析构或纯虚析构就是用来解决通过父类指针释放子类对象
2.如果子类中没有堆区数据,可以不写为虚析构或纯虚析构
3.拥有纯虚析构函数的类也属于抽象类