C++修炼之路之多态--多态的条件与例外，重载+重写+重定义

news2024/9/21 15:50:18

前言

一：构成多态的条件及一些特殊情况（前提是构成父子类）

1.多态是在不同的继承关系的类对象，去调用同一函数，产生了不同的结果

2.两个条件

3.三同的两个例外

1.协变---返回值类型可以不同，但必须是父子类关系的指针或引用

2.派生类重写的虚函数可以不加virtual(建议加上)

3.对于派生类重写的虚函数可以不加virtual的浅浅分析--关于析构中的问题

二：普通调用与多态调用，final和virtual修饰类与成员函数，c++11中的final，override的比较

1.多态调用与普通调用

2.final和virtual修饰类与成员函数

3.c++11中的final和override

三：重载+重写(覆盖) +隐藏(重定义)的对比

四：抽象类和纯虚函数 +接口继承和实现继承

1.纯虚函数

2.抽象类

3.接口继承和实现继承

五：经典超易错题

接下来的日子会顺顺利利，万事胜意，生活明朗-----------林辞忧

前言

对于面向对象的三大特性封装，继承和多态，封装和继承在前面已经介绍了，对于多态简单来说就是多种形态，就是当不同的对象去完成同一个行为时，产生的结果不同，他的实现是基于继承的基础上来完成的，但对于一些细节要格外关注注意，接下来开始介绍多态

一：构成多态的条件及一些特殊情况（前提是构成父子类）

1.多态是在不同的继承关系的类对象，去调用同一函数，产生了不同的结果

比如同样是买各种票，对于学生总是有优惠的，对于普通人是全价

2.两个条件

1.必须是通过父类的指针或引用去调用虚函数

2.被调用的函数必须为虚函数，且派生类必须对基类的虚函数进行重写，就是父子继承关系的两个虚函数，满足三同（函数名，参数类型+参数个数，返回值类型）

3.三同的两个例外

1.协变---返回值类型可以不同，但必须是父子类关系的指针或引用

2.派生类重写的虚函数可以不加virtual(建议加上)

但基类的虚函数的virtual必须写的，不写的的话则不构成多态

3.对于派生类重写的虚函数可以不加virtual的浅浅分析--关于析构中的问题

1.普通情况

#include <iostream>
using namespace std;

class Person {
public:
	virtual void BuyTicket()
	{
		cout << "Person买票-全价" << endl;
	}
	~Person()
	{
		cout << "~Person()" << endl;
	}
};

class Student : public Person {
public:
	void  BuyTicket()
	{
		cout << "Student买票-半价" << endl;
	}
	~Student()
	{
		cout << "~Student()" << endl;
	}
};
void Func(Person& p)
{
	p.BuyTicket();
}
int main()
{
	Person ps;
	Student st;

	Func(ps);
	Func(st);

	return 0;
}

对于这种情况调用时的析构是没问题的，结果为

2.特殊情况：对象是new的

对于此时的父类指针p它既可以指向父类对象，也可以根据切片规则，指向子类对象，此时delete就不能分辨了，这时是因为

delete p 由于多态会转换为p->desturct()+operator delete(p)

而指针p是父类指针，但destruct()不是虚函数，所以是普通调用，依据指针的类型来调用对应的析构函数

解决办法的话，显而易见就是加virtual修饰变成虚函数，所以析构是虚函数，才能正确调用析构

但如果这里不支持派生类重写的虚函数可以省略virtual的话，如果我们写了基类的析构的virtual,忘记给派生类重写的虚函数加virtual的话，就会没释放空间，造成内存泄漏，所以为了避免这种情况的发生，支持对于派生类重写的虚函数可以省略virtual，这时就要注意在题目中如果没写派生类重写虚函数的virtual的话，也是构成多态的

二：普通调用与多态调用，final和virtual修饰类与成员函数，c++11中的final，override的比较

1.多态调用与普通调用

多态调用要同时满足两个条件，不满足任意一个条件的，都为普通调用

2.final和virtual修饰类与成员函数

注意：final只能修饰类和虚函数，不能修饰别的

3.c++11中的final和override

对于final上面已经介绍，对于override是修饰派生类的虚函数，检查是否完成重写，如果没有完成重写的话会报错

三：重载+重写(覆盖) +隐藏(重定义)的对比

四：抽象类和纯虚函数 +接口继承和实现继承

1.纯虚函数

在虚函数的后面加上 =0 ,这个函数就是纯虚函数

2.抽象类

含有纯虚函数的类叫做抽象类，抽象类不能实例化出对象

派生类继承后也不能实例出对象，只能重写虚函数，派生类才能实例化出对象

纯虚函数间接规范了派生类必须重写，也更好地体现了接口继承

辅助理解例子

class Car
{
public:
	virtual void Drive() = 0;
	
	void func()
	{
		cout << "void func()" << endl;
	}
};
	
class Benz :public Car
{
public:
	virtual void Drive()
	{
		cout << "Benz-舒适" << endl;
	}
};
	
class BMW :public Car
{
public:
	virtual void Drive()
	{
		cout << "BMW-操控" << endl;
	}
};
	
void func(Car* ptr)
{
	ptr->Drive();
}
int main()
{
	func(new Benz);
	func(new BMW);
	return 0;
}