对于静态方法约束，编译器总可以基于所引用的变量的类型确定应该调用相应的方法的哪个版本。然而，对于动态约束，被引用或指针变量所引用的对象中就必须包含足够的信息，使编译器生成的代码能够在运行时找到正确的方法版本。
最常见的实现方式是用记录的形式表示每个对象，这种记录中第一个域是一个指针，指向该对象的类的虚方法表。虚表也就是一个数组，其中的第i个项指明该对象的第i个虚方法的代码地址。同一个类的所有对象共享同一个虚表。
多态性动态方法约束将多态性引入到期望某个基类foo的对象引用的所有代码中。只要派生类的对象支持这个基类的操作，这些代码对于基类的任何派生类的对象都可以很好的工作。
有人可能会认为，有了继承和动态方法约束后就不再需要泛型了，但实际情况并非如此，为了访问这些派生类的特殊内容，就必须进行强制转换，并且得到的代码仍然是不安全的，但是泛型能够解决这些问题
多重继承有些时候，让一个派生类继承多个基类的特征也是非常有用的。例如我们需要一个学生类，又希望能够方便进行增加删除，那么就可能希望从Person类和链表类派生出一个类来。
C++和Python都有多重继承。Java、C#则只提供了一种受限的多重继承方式。
总结在这一篇的一开始我们指出了面向对象程序设计的三大基本概念：封装、继承和多态。在之后我们讨论了对象的初始化和终结操作、动态方法约束和多重继承。