5.1_多态的基本概念

多态可以分为编译时的多态和运行时的多态。

编译时的多态主要指的是函数的重载（包括运算符的重载）、对重载函数的调用，在编译时就能根据实参确定调用哪个函数，所以叫做编译时的多态。

而运行时的多态和继承、虚函数等概念有关。

通过基类指针实现多态

派生类对象的地址可以赋值给基类指针。（把派生类当成基类来用也不是不行，因为不会缺少东西）

对于通过基类指针调用基类和派生类中都有的同名，同参数表的虚函数的语句，编译时并不确定要执行的是基类还是派生类的虚函数。

而当程序运行到该语句时，如果基类指针指向的是一个基类对象，则基类的虚函数被调用，如果基类指针指向的是一个基类对象，则基类的虚函数被调用，如果基类指针指向的是一个派生类对象，则派生类的虚函数被调用。这种机制就叫做“多态”。

所谓“虚函数”，就是在声明时前面加上了virtual关键字的成员函数。virtual关键字只在类定义中的成员函数声明处使用，不能在类外部写成员函数体时使用。静态成员函数不能是虚函数。

包含虚函数的类成为“多态类”。

多态在面向对象的程序设计语言中如此重要，以至于有类和对象的概念，但是不支持多态的语言，只能被称作“基于对象的程序设计语言”，而不能被成为“面向对象的程序设计语言”。例如“Visual Basic”就是“基于对象的程序设计语言”。

#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
{
	public:
		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();
	pa = pb;
	pa -> print();
	pa = &d;
	pa -> print();
	pa = &e;
	pa -> print();
	return 0;
}

输出结果

A::print
B::print
D::print
E::print

通过基类引用实现多态

通过基类的引用调用虚函数的语句也是多态的。

// 此处代码省略，类B是类A的派生类
void printInfo(A &r)
{
    r.print();
}
int main()
{
    A a;
    B b;
    printInfo(a);
    printInfo(b);
    return 0;
}