c++ -- 多态的含义、原理剖析

一. C++中的多态

1. 在c++中多态分为动态多态和静态多态；

静态多态：像函数重载和运算符重载就是静态多态，一个显著的特点就是复用函数名；
动态多态：派生类和虚函数实现运行时多态；

2. 动态多态和静态多态的区别

静态多态函数地址早绑定—在编译阶段就已经确定了函数的地址；
动态多态函数地址晚绑定—在运行阶段确定函数地址；

class Animal
{
public:
	void speek(void)
	{
		printf("animal speek\n");
	}
};

class Cat:public Animal
{
public:
	void speek(void)
	{
		printf("cat speek\n");
	}
};


void doSpeek(Animal &a)
{
	a.speek();
}

void test()
{
	Cat cat;

	doSpeek(cat);  //
}

int main(int argc, char *argv[])
{
	test();

	return 0;
}

上面这个打印出来：
animal speek
上面这个speek函数在编译阶段及已经绑定了关系，在调用doSpeek()函数编译的时候speek就已经和Animal类中的speek函数绑定了，所以不管传入的是Cat类又或者是其其他派生自Animal的类，打印出来的Speek都是父类中的函数；
所以如果要想打印出子类中的Speek，就不能让这个函数在编译阶段绑定，需要在运行的时候绑定。下面就是动态多态的实现：

class Animal
{
public:
	virtual void speek(void)
	{
		printf("animal speek\n");
	}
};

class Cat:public Animal
{
public:
	void speek(void)
	{
		printf("cat speek\n");
	}
};

/*
 *
*/
void doSpeek(Animal &a) //
{
	a.speek();
}

void test()
{
	Cat cat;

	doSpeek(cat);  //
}

int main(int argc, char *argv[])
{
	test();

	return 0;
}

在父类中加上关键字virtual后，就能实现动态多态，这样打印出来的就是：cat speek;

3. 动态多态的满足条件

   （1）有继承关系
   （2）子类要重写父类的虚函数；（子类中virtual可写可不写）
   （3）父类指针或引用指向子类对象
   注意：此处是重写不是重载

二.动态多态的原理剖析

1.在Animal 类中加上virtual关键字之后，这个类就会维护一个虚函数表指针vfptr,这个类的大小也会发生变化，当子类继承父类之后，虚函数表指针也会继承过来，当子类重写父类虚函数之后，子类中的虚函数地址有原来的父类作用域下的函数地址被替换为子类中的函数地址，如下图：

2.当父类的指针或者引用指向子类对象的时候，就会发生动态多态。