多态的本质：对抽象类型方法调用的解释机制

两个方面：

1、抽象类型的具体化；

2、方法调用的解释

同一个接口方法调用在运行时，针对不同的抽象类型具体化变量输入，具有不同的解释；

解释机制：

编译器插入：查找、绑定、执行；

运行时解释：查找、绑定、执行；对全部消息调用进行解释？

同一个接口函数在接收到不同的接口实现时，存在不同的解释；