C++ 虚函数与多态性

虚函数

虚函数的唯一作用：实现类的 多态性

C++虚函数是定义在基类中的函数,子类必须对其进行覆盖,在类中声明虚函数的格式如下:

virtual void display();

---

C++提供多态的目的是：可以通过 基类指针对所有派生类（包括直接派生和间接派生）的成员变量和成员函数进行“全方位”的访问，尤其是成员函数。如果没有多态，基类只能访问派生类的成员变量

---

多态性

面向对象程序设计中的多态性是指向不同的对象发送同一个消息，不同对象对应同一消息产生不同行为,多态性是指用一个名字定义不同的函数,这些函数执行不同但又类似的操作,这样就可以用同一个函数名调用不同内容的函数,也就是说,可以用同样的接口访问功能不同的函数,从而实现"一个接口,多种方法"的目的

事实上，在程序设计中经常会使用到多态性。最简单的例子就是运算符了，例如我们使用运算符+，就可以实现整型数、浮点数、双精度类型之间的加法运算，这三种类型的加法操作其实是互不相同的，是由不同内容的函数实现的。这个例子就是使用了多态的特征

在C++中，多态性的实现和 联编 （也称绑定）这一概念有关。一个源程序经过编译、链接，成为可执行文件的过程是把可执行代码联编（或称装配）在一起的过程
其中在运行之前就完成的联编成为 静态联编（前期联编）
而在程序运行之时才完成的联编叫 动态联编（后期联编）

---

两种多态的关系

由静态联编支持的多态性称为编译时多态性(静态多态性),在C++中,编译时多态性是通过函数重载和模板实现,利用函数重载机制,在调用同名函数的同时,编译系统会根据实参的具体情况确定其所要调用的函数是哪个

由动态联编支持的多态性称为运行时多态(动态多态),在C++中,运行时的多态性是通过虚函数来实现的

---

多态的定义和实现

多态定义的构成条件

举一个通俗易懂的例子：比如买票这个行为，普通人买是全价，学生买是半价票

实现多态的目的是在不同继承关系的类对象里,调用同一函数,能产生不同的行为,比如有一个Student派生类继承了Person基类,Person基类的买票函数就是全价,而Student派生类买票函数就是半价（即买票这个行为会根据买票对象的不同而不同）

如果需要使上方的要求成立,还需要两个条件,也就是在想x在继承中构成多态还需要两个条件:

1.调用函数的对象必须是指针或是引用(即必须以指针或引用的形式调用虚函数)
2.被调用的函数必须是虚函数(且必须已完成虚函数的重写)

---

虚函数

虚函数：在类(通常是最高基类)的成员函数前加上了virtual关键字的函数被称之为虚函数

class Person//基类函数
{
   
public:
	virtual void BuyTicket()
	{
   
		cout << "买票-全价" << endl;
	}
};

虚函数的重写: 派生类中有一个跟基类完全相同的虚函数，我们就称之为子类的虚函数重写了基类的虚函数。完全相同指定是:函数名 传入参数 返回值 都相同。另外,虚函数的重写也叫做虚函数的覆盖

---

为什么需要虚函数

当未声明函数为虚函数时,基类指针指向了派生类对象:

在堆中创建一个派生类(Cat类)的对象cat 并把该派生类对象赋值给基类(Pet)指针,可通过指针直接访问基类中的函数

void Pet::eat()
{
   	
	cout << name << "正在吃东西\n";
}
void  Cat::play()
{
   

	Pet::play();//todo如果需要调用基类中的play()函数  在原本的play()函数的基础上加上覆盖上的子类play()函数
	cout << name << "正在追老鼠!\n";
}

void main()
{
   
	Pet* cat = new Cat("猫");//指针cat的类型是Pet*(基类) （2）指针cat指向的对象的类型是Cat
	cat->play();//结果为 "正在吃东西" 结果错误!
}

基类指针指向派生类对象：

Pet* cat：建立一个名为cat的基类指针,其指针类型为Pet基类类型
new Cat：申请一段动态内存,其内存类型为Cat派生类类型,此时便建立了一个Cat派生类类型的派生类对象,且此对象被基类指针绑定

我们直观上认为，如果基类指针指向了派生类对象，那么调用基类和子类中的同名函数时就应该使用派生类的成员变量和成员函数，但是拿此句[Pet* cat = new Cat("猫")] 为例 此时调用的play()函数是父类Pet的,还是子类Cat的？结果是 虽然指针指向的是派生类对象，但是程序并未调用派生类Cat的play()函数而是基类Pet的play()函数

也就是,当重写的函数未声明为虚函