Thinking in Java 前期绑定&动态绑定

P280

方法调用绑定

将一个方法调用同一个方法主体(该方法所在的类)关联起来被称作绑定。若在程序执行前进行绑定（如果有的话，由编译器和连接程序实现），叫做前期绑定。读者可能以前从来没有听说过这个术语，因为它是面向过程的语言中不需要选择默认的绑定方式。例如，C只有一种方法调用，那就是前期绑定。上述程序之所以令人迷惑，主要是因为前期绑定。因为，当编译器只有一个Instrument引用时，它无法知道究竟调用哪个方法才对。

解决的办法就是后期绑定，它的含义就是在运行时根据对象的类型进行绑定。后期绑定也叫做动态绑定或运行时绑定。如果一种语言想实现后期绑定，就必须具有某种机制，以便在运行时能判断对象的类型，从而调用恰当的方法。也就是说，编译器一直不知道对象的类型，但是方法调用机制能找到正确的方法体，并加以调用。后期绑定机制随编程语言的不同而有所不同，但是只要想一下就会得知，不管怎样都必须在对象中安置某种“类型信息”。

Java中除了static方法，final方法，private方法（private方法属于final方法）和构造方法之外，其它所有的方法都是后期绑定。这意味着通常情况下，我们不必判定是否应该进行后期绑定——它会自动发生。

为什么要将某个方法声明为final呢？正如前一章提到的那样，它可以防止其他人覆盖该方法。但更重要的一点或许是：这样做可以有效地“关闭”动态绑定，或者说，告诉编译器不需要对其进行动态绑定。这样，编译器就可以为final方法调用生成更有效的代码。然而，大多数情况下，这样做对程序员的整体性能不会有什么改观。所以，最好根据设计来决定是否使用final，而不是出于试图提高性能的目的来使用final。

摘抄至网络

java当中的向上转型或者说多态是借助于动态绑定实现的，所以理解了动态绑定，也就搞定了向上转型和多态。

程序绑定的概念：

　　绑定指的是一个方法的调用与方法所在的类(方法主体)关联起来。对java来说，绑定分为静态绑定和动态绑定；或者叫做前期绑定和后期绑定

静态绑定（早绑定 编译器绑定）：

　　在程序执行前方法已经被绑定，此时由编译器或其它连接程序实现。例如：C 。针对java可以理解为程序编译期的绑定；特别说明一点，java当中的方法只有final，static，private和构造方法是前期绑定

动态绑定（迟绑定 运行期绑定）：

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

　　若一种语言实现了后期绑定，同时必须提供一些机制在运行期间判断对象的类型，并分别调用适当的方法。也就是说编译器此时依然不知道对象的类型，但方法调用机制能自己去调查，找到正确的方法主体。不同的语言对后期绑定的实现方法是有所区别的。可以这样认为：它们都要在对象中安插某些特殊类型的信息。

动态绑定的过程：

虚拟机提取对象的实际类型的方法表

虚拟机搜索方法签名

调用方法

 

关于绑定相关的总结：

　　了解三者的概念之后，我们发现java属于后期绑定。在java中，几乎所有的方法都是后期绑定，在运行时动态绑定方法属于子类还是基类。但也有特殊，针对static方法和final方法由于不能被继承，因此在编译时就可以确定他们的值，他们是属于前期绑定。特别说明的一点，private声明的方法和成员变量不能被子类继承，所有的private方法都被隐式的指定为final的(由此我们知道：将方法声明为final类型的  一是为了防止方法被覆盖，二是为了有效的关闭java中的动态绑定)。java中的后期绑定是由JVM来实现的，我们不用去显式的声明它，而C++则不同,必须明确的声明某个方法具备后期绑定。java当中的向上转型或者说多态是借助于动态绑定实现的，所以理解动态绑定，也就搞定向上转型和多态。

　　对于java当中的方法而言，除了final，static，private和构造方法是前期绑定外，其他的方法全部为动态绑定。而动态绑定的典型发生在父类和子类的转换声明之下：

比如：Parent p = new Children();

具体过程如下：

1：编译器检查对象的声明类型和方法名。假设我们调用x.f(args)方法，并且x已经被声明为C类的对象，那么编译器会列举出C类中所有的名称为f的方法和从C类的超类继承过来的f方法

2：接下来编译器检查方法调用中提供的参数类型。如果在所有名称为f 的方法中有一个参数类型和调用提供的参数类型最为匹配，那么就调用这个方法，这个过程叫做“重载解析”

3：当程序运行并且使用动态绑定调用方法时，虚拟机必须调用同x所指向的对象的实际类型相匹配的方法版本。假设实际类型为D(C的子类)，如果D类定义了f(String)那么该方法被调用，否则就在D的超类中搜寻方法f(String),依次类推