C++进阶教程- 多态

多态的概念与分类

多态是面向对象程序设计（OOP）的四大特性之一（封装、继承、多态、抽象）。在OOP中，一个接口多种实现即为多态。C++中的多态性具体体现在编译和运行两个阶段。

编译时的多态称为静态多态，通常也叫做静态联编，也就是在编译阶段就可以将函数调用和函数实现进行关联。
运行时的多态称为动态多态，通常也叫做动态联编，也就是在运行时才能确定函数调用具体对应的函数实现。

我们都知道，在汇编层面，函数调用实际上就是通过函数地址进入函数内部，所以对应到这一层，静态多态也就是函数地址的早绑定，而动态多态也就是函数地址的晚绑定。

多态的作用

封装可以实现代码的模块化和访问权限控制，继承可以实现类的重用，而多态的作用是实现接口重用。

静态多态

静态多态往往通过函数重载和模板（泛型编程）来实现，具体示例如下：

#include <iostream>
using namespace std;

// 两个函数构成重载
int add(int a, int b)
{
	cout << "in add_int()" << endl;
	return a + b;
}

double add(double a, double b)
{
	cout << "in add_double()"<< endl;
	return a + b;
}

template<typename T>
T add(T a, T b)
{
	cout << "in add_template()"<< endl;
	return a + b;
}

int main()
{
	cout << add(1, 1) << endl;
	cout << add(1.1, 1.1) << endl;
	cout << add<char>('A', ' ') << endl;
}

输出结果为：
in add_int()
2
in add_double()
2.2
in add_template()
A

动态多态

动态多态最常见的用法就是声明基类的指针/引用，利用该指针/引用指向任意一个子类对象，调用相应的虚函数，可根据指向的子类的不同而调用不同的方法，实现"一个接口，多种实现"的目的。示例：

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void func()
	{
		cout << "In Base::func()" << endl;
	}
};

class Derived: public Base
{
public:
	virtual void func()
	{
		cout << "In Derived::func()" << endl;
	}
};

int main()
{
	Base *b = new Derived;
	b->func();

	Base &rb = *(new Derived)
	rb.func();
}

程序执行结果：

Derived::func()
Derived::func()

通过上面的例子可以看出，在使用基类指针/引用指向子类对象时，调用的函数是子类中重写的函数，这样就实现了运行时函数地址的动态绑定，即动态联编。