C++对象模型(4)---多态如何实现

xiaoxiao2021-02-28  103

原文链接:吴秦大神的C++对象模型

多态(Polymorphisn)在C++中是通过虚函数实现的。通过前面的模型【参见有重写的单继承】知道,如果类中有虚函数,编译器就会自动生成一个虚函数表,对象中包含一个指向虚函数表的指针。能够实现多态的关键在于:虚函数是允许被派生类重写的,在虚函数表中,派生类函数对覆盖(override)基类函数。除此之外,还必须通过指针或引用调用方法才行,将派生类对象赋给基类对象。

上面2个类,基类Base、派生类Derived中都包含下面2个方法:

void print() const; virtual void print_virtual() const;

这个2个方法的区别就在于一个是普通成员函数,一个是虚函数。编写测试代码如下:

void test_polmorphisn() { Base b; Derived d; b = d; b.print(); b.print_virtual(); Base *p; p = &d; p->print(); p->print_virtual(); }

根据模型推测只有p->print_virtual()才实现了动态,其他3调用都是调用基类的方法。原因如下:

 b.print();b.print_virtual();不能实现多态是因为通过基类对象调用,而非指针或引用所以不能实现多态。

 p->print();不能实现多态是因为,print函数没有声明为虚函数(virtual,派生类中也定义了print函数只是隐藏了基类的print函数。

转载请注明原文地址: https://www.6miu.com/read-1950026.html

最新回复(0)