两个方面：
1、抽象类型的具体化；
2、方法调用的解释
同一个接口方法调用在运行时，针对不同的抽象类型具体化变量输入，具有不同的解释；
解释机制：
编译器插入：查找、绑定、执行；
运行时解释：查找、绑定、执行；对全部消息调用进行解释？
同一个接口函数在接收到不同的接口实现时，存在不同的解释；
