派生类对象的地址可以赋值给基类指针。对于通过基类指针调用基类和派生类中都有的同名、同参数表的虚函数的语句,编译时并不确定要执行的是基类还是派生类的虚函数;而当程序运行到该语句时,如果基类指针指向的是一个基类对象,则基类的虚函数被调用,如果基类指针指向的是一个派生类对象,则派生类的虚函数被调用。这种机制就叫作“多态(polymorphism)”。
包含虚函数的类称为“多态类”。
所谓“虚函数”,就是在声明时前面加了 virtual 关键字的成员函数。virtual 关键字只在类定义中的成员函数声明处使用,不能在类外部写成员函数体时使用。静态成员函数不能是虚函数。
多态可以简单地理解为同一条函数调用语句能调用不同的函数;或者说,对不同对象发送同一消息,使得不同对象有各自不同的行为。
下面是一个体现多态规则的例子。
#include <iostream>
using namespace std;
class A
{
public:
virtual void Print() { cout << "A::Print" << endl; }
};
class B : public A
{
public:
virtual void Print() { cout << "B::Print" << endl; }
};
class D : public A
{
public:
virtual void Print() { cout << "D::Print" << endl; }
};
class E : public B
{
virtual void Print() { cout << "E::Print" << endl; }
};
int main()
{
A a; B b; D d; E e;
A *pa = &a; B *pb = &b;
pa->Print(); //多态, a.Print()被调用,输出:A::Print
pa = pb; //基类指针pa指向派生类对象b
pa->Print(); //b.Print()被调用,输出:B::Print
pa = &d; //基类指针pa指向派生类对象d
pa->Print(); //多态, d. Print ()被调用,输出:D::Print
pa = &e; //基类指针pa指向派生类对象e
pa->Print(); //多态, e.Print () 被调用,输出:E::Print
return 0;
}
运行截图
再举例:
在该函数中,若传入父类(Parent)指针,则执行Parent类中的print方法,若传入子类(Child)指针,则执行Child类中的print方法。