宜宾网站建设公司

C++之多态（中篇）（最全总结）-创新互联

这里接上面C++之多态（上篇）

成都创新互联专业为企业提供常德网站建设、常德做网站、常德网站设计、常德网站制作等企业网站建设、网页设计与制作、常德企业网站模板建站服务，10余年常德做网站经验，不只是建网站，更提供有价值的思路和整体网络服务。本篇目录
  • 4.多态的原理
    • 4.2 多态的原理
    • 4.3 C++ 11 override和final
    • 4.4 重载、重写（覆盖）、隐藏（重定义）的对比 （函数之间的关系）
  • 5.抽象类
    • 5.1概念
    • 5.2接口继承和实现继承
  • 6.单继承和多继承关系的虚函数表

4.多态的原理 4.2 多态的原理

从上面虚函数的分析中我们已经知道了多态的原理，接下来我们从更深层次去探索多态。

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

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

int main()
{//同一个类型的对象共用一个虚表
	Person p1;
	Person p2;

	//vs下，不管是否完成重写，子类虚表跟父类虚表都不是同一个
	Student s1;
	Student s2;
	return 0;
}

在这里插入图片描述
通过上图我们发现，同一个类型的对象共用同一个虚表，vs下，不管是否完成重写，子类虚表跟父类虚表都不是同一个，除此之外，我们发现，vs的监视窗口下，子类自己的虚函数Func2(), 它是在子类自己的虚函数表中的，但是vs的监视窗口却没有显示出来，下面我们用一段程序将其展示出来。
虚表的本质是一个函数指针数组
在这里插入图片描述
在这里插入图片描述

通过上图我们发现对象虚表的地址在它对象的地址处的值取前4个字节即可。

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

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

typedef void(*VFPTR)();

//void PrintVFTable(VFPTR table[])//打印虚函数表
void PrintVFTable(VFPTR* table,size_t n)//打印虚函数表中的虚函数地址并且调用虚函数
{//for (size_t i = 0; table[i] != nullptr; ++i)
	for (size_t i = 0; i< n; ++i)
	{printf("vft[%d]:%p->", i, table[i]);
		//table[i]();
		VFPTR pf = table[i];//有点类似与强制类型转换
		pf();
	}
	cout<< endl;
}

int main()
{//同一个类型的对象共用一个虚表
	Person p1;
	Person p2;

	//vs下，不管是否完成重写，子类虚表跟父类虚表都不是同一个
	Student s1;
	Student s2;

	//取对象头部虚函数表指针传递过去
	//这里的2，3是我们知道对象的虚函数的个数
	PrintVFTable((VFPTR*)*(int*)&p1,2);
	PrintVFTable((VFPTR*)*(int*)&s1,3);
	return 0;
}

在这里插入图片描述

4.3 C++ 11 override和final

从上面可以看出，C++对函数的重写的要求比较严格，但是有些情况下由于疏忽，可能会导致函数名的字母次序写反而无法构成重载，而这种错误在编译期间是不会报出来的，只有程序运行时没有得到预期结果才来debug会得不偿失，因此：C++ 11提供了override和final这两个关键字，可以用来帮助用户检测是否重写。

1.final：修饰虚函数，表示该虚函数不能被重写

class Car
{public:
	virtual void Drive()final{}
};

class Benz :public Car
{public:
	virtual void Drive() //error
	{cout<< "Benz-舒适"<< endl;
	}
};

2.override:检查派生类虚函数是否重写基类某个虚函数，如果没有编译报错

class Car
{public:
	virtual void Drive(){}
};

class Benz :public Car
{public:
//检查子类虚函数是否完成重写
	virtual void Drive()override
	{cout<< "Benz-舒适"<< endl;
	}
};
4.4 重载、重写（覆盖）、隐藏（重定义）的对比 （函数之间的关系）

在这里插入图片描述

5.抽象类 5.1概念

在虚函数的后面写上 =0，则这个函数为纯虚函数，包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。

class Car
{public:
	virtual void Drive() = 0;
};

class Benz :public Car
{public:
	virtual void Drive()
	{cout<< "Benz-舒适"<< endl;
	}
};

class BwM:public Car
{public:
	virtual void Drive()
	{cout<< "BMW-操控"<< endl;
	}
};

int main()
{//Car c;//抽象类不能实例化对象
	//BwM b;

	Car* ptr = new BwM;
	ptr->Drive();//多态的体现

	ptr = new Benz;
	ptr->Drive();
	return 0;
}

在这里插入图片描述

5.2接口继承和实现继承

普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。

6.单继承和多继承关系的虚函数表

需要注意的是在单继承和多继承关系中， 下面我们去关注的是派生类对象的虚表模型，因为基类的虚表模型前面我们已经看过了，没什么需要特别研究的。

class Base1
{public:
	virtual void func1()
	{cout<< "Base1::func1"<< endl;
	}
	virtual void func2()
	{cout<< "Base1::func2"<< endl;
	}
private:
	int b1 = 1;
};

class Base2
{public:
	virtual void func1()
	{cout<< "Base2::func1"<< endl;
	}
	virtual void func2()
	{cout<< "Base2::func2"<< endl;
	}
private:
	int b2 = 2;
};


class Derive :public Base1, public Base2
{public:
	virtual void func1()
	{cout<< "Derive::func1"<< endl;
	}

	virtual void func3()
	{cout<< "Derive::func3"<< endl;
	}
private:
	int d = 3;
};

typedef void(*VFPTR)();

//void PrintVFTable(VFPTR table[])//打印虚函数表
void PrintVFTable(VFPTR* table,size_t n)//打印虚函数表中的虚函数地址并且调用虚函数
{//for (size_t i = 0; table[i] != nullptr; ++i)
	for (size_t i = 0; i< n; ++i)
	{printf("vft[%d]:%p->", i, table[i]);
		table[i]();
		VFPTR pf = table[i];//有点类似与强制类型转换
		pf();
	}
	cout<< endl;
}

int main()
{Derive d;

	PrintVFTable((VFPTR*)*(int*)&d,3);//打印Base1虚函数表
	PrintVFTable((VFPTR*)*(int*)((char*)&d + sizeof(Base1)), 2);//法一：打印Base2虚函数表
	//法二：打印Base2虚函数表
	Base2* ptr2 = &d;//切片得到Base2的地址
	PrintVFTable((VFPTR*)(*(int*)ptr2), 2);
	return 0;
}

在这里插入图片描述
在这里插入图片描述
更深层次的问题
观察上图我们发现Base1中的func1和Base2中的func1都被Derive进行了重写，它们的内容是一样的，应该指向同一份函数，但是它们的地址为什么不一样呢？

下篇文章我们会揭晓！！！

你是否还在寻找稳定的海外服务器提供商？创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源，准确流量调度确保服务器高可用性，企业级服务器适合批量采购，新人活动首月15元起，快前往官网查看详情吧


网站栏目：C++之多态（中篇）（最全总结）-创新互联
分享网址：http://ybzwz.com/article/dedihs.html

其他资讯