C++对象模型(4)---多态如何实现_普通函数覆盖为什么不能实现多态-CSDN博客

本文探讨了C++中多态性的实现原理，通过虚函数表机制解释了如何通过指针或引用调用虚函数来实现多态。并提供了具体的代码示例说明不同情况下多态的实现效果。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

多态（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函数。