内在剖析:
1、父类中定义虚函数会生成一个虚函数(表)指针,指向一个虚函数表,表内记录虚函数的地址:&Animal::speak, 这里用引用表示地址,speak是虚函数。
2、与虚类继承相似,子类只继承基类的指针。
子类也只继承虚函数的指针:虚函数(表)指针,它指向一个虚函数表。
如果子类class cat: public Animal,那么子类把父类所有的内容都继承了一份,所以cat类也有一个虚函数指针,指向虚函数表:
3、但是,如果子类 重写 了父类的虚函数,子类中的 虚函数表内部 会替换成 子类的虚函数地址:
父类没有改变,子类只替换自己的虚函数表。
当父类的指针或者引用指向子类对象时候,发生多态(运行时发生,属于动态多态)
Animal & animal = cat;
animal.speak();
这里由于创建的还是cat子类对象,所以调用speak公共接口时候,会从子类中找函数确实的入口地址,确定是cat的入口地址就会做cat的speak函数,确定是dog的入口地址就会做dog的speak函数。