C++ 多态(自学笔记，可能有错)

为什么要用多态

面向对象的新需求，编译器的做法不是我们期望的，根据实际的对象类型来判断重写函数的调用，

如果父类指针指向的是父类对象则调用父类中定义的函数，

如果父类指针指向的是子类对象则调用子类中定义的重写函数。

 

多态

多态形成的三个条件

(1)  有继承  (2)  有代码的复写  (3)  有一个架构(函数平台)

多态的语法以及多态案例

 

#include <iostream>
using namespace std;

class hero     
{
public:
	virtual int power()    //有复写的函数 记得virtual修饰函数，有virtual关键字就是动态链编
	{
		return 10;
	}
};

class hero2 : public hero   //子类公有继承了父类
{
public:
	virtual int power()     //有复写的函数 记得virtual修饰函数
	{
		return 25;
	}
};

class badegg
{
public:
	int att()
	{
		return  20;
	}
};

//这里可以算作一个架构，参数里只需要写父类（指针或引用）就可以了
//最大优势就是提供了一个接口，可以直接用后来人写的代码，只要继承父类即可
//比如再写一个hero3类继承了hero类，也可以继续用

void fight(hero & a, badegg & b)   //参数是类的指针或引用
{
	if (a.power() > b.att())       //每个类调用各自的函数，互不影响
	{
		cout << " hero win" << endl;
	}
	else
	{
		cout << " hero lose" << endl;
	}
}


int main()
{
	hero    man1;  //一代英雄的攻击力是10
	hero2   man2;  //二代英雄的攻击力是25
	badegg  man3;  //坏蛋的攻击力是20

	//上面是用引用做参数的，所以直接写类的对象就OK了

	fight(man1, man3);    //第一轮比赛,  一代英雄失败
	fight(man2, man3);    //第二轮比赛， 二代英雄胜利

	return 0;
}

多态原理探究

         多态的实现原理是，当类中声明虚函数时，编译器会在类中生成一个虚函数表，虚函数表是一个存储类成员函数指针的数据结构，虚函数表是由编译器自动生成和维护的，virtual成员函数会被编译器放入虚函数表中。存在虚函数时，每个对象中都有一个指向虚函数表的指针(vptr指针)，也就是说当类中有虚函数的时候，在创建类的对象的时候，对象中会有一个虚函数表的指针。而多态的函数平台也没有去区分是父类函数还是子类函数，它只是根据传递对象里的虚函数表去寻找函数。

          用类定义对象的时候  C++编译器会在对象中添加一个vptr指针，把虚函数做成虚函数表，C++编译器根本不需要区分子类对象还是父类对象，父类对象和子类对象分别有一个vpyr指针，根据指针去找子类和父类对象的虚函数表，再根据虚函数表寻找函数的入口地址。

子类的vptr指针是分步初始化的

 

#include <iostream>
using namespace std;

class father
{
public:
	father()
	{
		cout << "进入父类构造函数" << endl;
		printf();
	}
	virtual void printf()
	{
		cout << "父类的printf" << endl;
	}
};

class child : public father
{
public:
	child()
	{
		cout << "进入子类的构造函数" << endl;
		printf();
	}
	virtual void printf()
	{
		cout << "子类的printf" << endl;
	}
};

int main()
{
	/*
	    1.创建子类对象，先进行父类的构造函数，再进行子类的构造函数，进行父类构造函数时，子类对象的vptr指针会先指向父类的虚函数表，执行完构造函数后
		，再进行子类的构造函数，这时子类对象的vptr指针会指向子类的虚函数表。
		2.子类的vptr指针是分布完成的
     */
	child c1;    //这里的结果是在执行父类构造函数是调用的父类的printf函数
	cout << "==================" << endl;
	father f1;   //父类的vptr指针似乎就是指向父类的虚函数表
	return 0;
}