纯虚函数与抽象类
1、在多态中,通常父类中虚函数的实现是毫无意义的,主要都是调用子类重写的内容。这种情况可以将虚函数改为纯虚函数
2、纯虚函数语法: virtual 返回值类型 函数名 (参数列表)=0;
3、当类中有了纯虚函数,这个类也称为抽象类
4、抽象类的特点:
①无法实例化对象
②子类必须重写抽象类中的纯虚函数,否则也该子类属于抽象类
class Base {
public:
//纯虚函数
//1、无法实例化对象
//1、抽象类的子类必须重写父类中的纯虚函数,否则也属于抽象类
virtual void func() = 0;
};
class Son :public Base {
public:
virtual void func() {
cout << "func()函数调用" << endl;
}
};
void test01() {
//Base b;//抽象类无法实例化对象
//new Base;//抽象类无法实例化对象
Base* base = new Son;
base->func();
}
虚析构和纯虚析构
1、问题: 多态使用时,如果子类中有属性开辟到堆区,父类指针在释放时无法调用到子类的析构代码。
2、解决办法: 将父类中的析构函数改为虚析构或者纯虚析构。
3、虚析构和纯虚析构共性:
①可以解决父类指针释放子类对象
②都需要有具体的函数实现
4、虚析构和纯虚析构区别:
①如果是纯虚析构,该类属于抽象类,无法实例化对象
5、虚析构语法: virtual ~类名(){ }
6、纯虚析构语法:
virtual ~类名() = 0;
类名::~类名(){ }
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;
}
总结:
1、虚析构或纯虚析构都是用来解决通过父类指针释放子类对象
2、如果子类中没有堆区数据,可以不写为虚析构或者纯虚析构
3、拥有纯虚析构函数的类也属于抽象类