Java 后期绑定

绑定

绑定指的是一个方法调用与方法所在类(方法主体)关联起来

前期 & 静态 & 编译时绑定

• 若在程序执行前进行绑定（如果有的话，由编译器和连接程序实现），叫做前期/静态/编译时绑定前期绑定是面向过程语言中默认的绑定方式。

这么做意味着编译器将产生对一个具体函数名字的调用，而运行时将这个调用解析到将要被执行的代码的绝对地址

• 为何能将调用解析到将要被执行的代码的绝对地址？因为前期绑定在程序运行前的编译期间就已将方法调用与方法主体关联起来了

然而在OOP（Oriented-Object Programming）中，程序直到运行时才能够确定代码的地址，所以当消息发送到一个泛化对象时，必需采用其他机制

• 方法调用机制，即在运行时判断对象的具体类型，从而调用恰当的方法，找到正确的方法执行主体，后期绑定机制随编程语言的不同而有所不同，但无论如何都必须在对象中安置某种【类型信息】

后期 & 动态 & 运行时绑定

• 面向对象程序设计语言使用了后期/动态/运行时绑定的概念

当向对象发送消息时，被调用的方法的代码直到运行时才能确定，编译器确保被调用方法的存在，并对被调用参数和返回值执行类型检查（无法提供此类保证的语言被称为是弱类型的），但是并不知道将要被执行的确切代码

为了执行后期绑定，Java使用一小段特殊的代码来代替绝对地址调用，这段代码使用在对象中存储的信息来计算方法体的地址。这样，根据这一小段代码的内容，每一个对象都可以具有不同的行为表现。当向一个对象发送消息时，该对象就能够知道这条消息应该做些什么

• 后期绑定在运行时根据具体对象类型进行绑定

Java中static方法、final方法(private方法属于final方法)属于前期绑定，子类无法重写final方法，成员变量(包括静态/非静态)也属于前期绑定，除了static和final之外的其他方法属于后期绑定

有了后期绑定，当向一个对象发送消息时，即使涉及向上转型，该对象也只知道要执行什么样的正确行为

向上转型

• 一个面向对象程序肯定会在某处包含向上转型

upcasting，灵感来源于模型铸造的塑模动作，而向上up这个词来源于继承图的典型布局方式：通常基类在顶部，而导出类在其下部散开，因此，转型为一个基类就是在继承图中向上移动，即【向上转型】，因为这正是将自己从必需知道确切类型的限定中解放出来的关键