java 静态绑定_Java中的绑定—动态绑定与静态绑定机制

首先我们来了解一下绑定的概念：绑定指的是一个方法的调用与方法所在的类(方法主体)关联起来。Java中静态绑定和动态绑定机制；或者叫做前期绑定和后期绑定。

在介绍静态绑定和动态绑定之前，我们先来了解下面的几个词的概念：

构造器：方法名与类名相同，也分为有参构造，无参构造，在java中就算你对某个类没有写构造器，程序也会默认给该类一个无参的构造器用来初始化类。

实例方法：属于对象的方法，由对象来调用。

显式参数：方法中明确定义的参数。

隐形参数：this修饰的变量。

类方法：使用static修饰(静态方法)，属于整个类的，不是属于某个实例的，只能处理static域或调用static方法。

一、静态绑定

即使用private或static或final修饰的变量或者构造方法

private：不能被继承，则不能通过子类对象调用，而只能通过类本身的对象进行调用，所以可以说private方法是和方法所属的类进行绑定；

final：可以被继承，但是不能被重写(覆盖)，虽然子类对象可以调用，但是调用的都是父类中的final方法(因此可以看出当类中的方法声明为final的时候，一方面可以防止方法被覆盖，一方面有效关闭java的动态绑定，在程序编译的时候就会绑定起来)(想到final突然想到了String就是使用final修饰的，那么我们都知道他引用的对象值是不能进行修改的，当然，有些时候String类型的值进行了改变，本质不是修改的对象本身，而是引用关系)；

static：可以被子类继承，但是不能被子类重写(覆盖)，但是可以被子类隐藏。如果父类里有一个static方法，它的子类里如果没有对应的方法，那么当子类对象调用这个方法时就会使用父类中的方法。而如果子类中定义了相同的方法，则会调用子类的中定义的方法。唯一的不同就是，当子类对象上转型为父类对象时，不论子类中有没有定义这个静态方法，该对象都会使用父类中的静态方法。

动态绑定

即在运行根据具体对象信息进行绑定。

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

动态绑定的过程：

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

2.虚拟机搜索方法签名；

3.调用方法。

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

Java代码：

package hr.test;

//被调用的父类

class Father{

public void f1(){

System.out.println("father-f1()");

}

public void f1(int i){

System.out.println("father-f1()  para-int "+i);

}

}

//被调用的子类

class Son extends Father{

public void f1(){ //覆盖父类的方法

System.out.println("Son-f1()");

}

public void f1(char c){

System.out.println("Son-s1() para-char "+c);

}

}

//调用方法

import hr.test.*;

public class AutoCall{

public static void main(String[] args){

Father father=new Son(); //多态

father.f1(); //打印结果： Son-f1()

}

}

上面的源代码中有三个重要的概念：多态(polymorphism) 、方法覆盖 、方法重载 。打印的结果大家也都比较清楚，但是JVM是如何知道f.f1()调用的是子类Sun中方法而不是Father中的方法呢？在解释这个问题之前，我们首先简单的讲下JVM管理的一个非常重要的数据结构——方法表 。

在JVM加载类的同时，会在方法区中为这个类存放很多信息。其中就有一个数据结构叫方法表。它以数组的形式记录了当前类及其所有超类的可见方法字节码在内存中的直接地址。方法表有两个特点：(1) 子类方法表中继承了父类的方法，比如Father extends Object。 (2) 相同的方法(相同的方法签名：方法名和参数列表)在所有类的方法表中的索引相同。

对于上面的源代码，编译器首先会把main方法编译成下面的多态调用的字节码指令：

0  new hr.test.Son [13] //在堆中开辟一个Son对象的内存空间，并将对象引用压入操作数栈

3  dup

4  invokespecial #7 [15] // 调用初始化方法来初始化堆中的Son对象

7  astore_1 //弹出操作数栈的Son对象引用压入局部变量1中

8  aload_1 //取出局部变量1中的对象引用压入操作数栈

9  invokevirtual #15 //调用f1()方法

12  return

其中invokevirtual指令的详细调用过程是这样的：

(1) invokevirtual指令中的#15指的是AutoCall类的常量池中第15个常量表的索引项。这个常量表(CONSTATN_Methodref_info ) 记录的是方法f1信息的符号引用(包括f1所在的类名，方法名和返回类型)。JVM会首先根据这个符号引用找到调用方法f1的类的全限定名: hr.test.Father。这是因为调用方法f1的类的对象father声明为Father类型。

(2) 在Father类型的方法表中查找方法f1，如果找到，则将方法f1在方法表中的索引项11(如上图)记录到AutoCall类的常量池中第15个常量表中(常量池解析 )。这里有一点要注意：如果Father类型方法表中没有方法f1，那么即使Son类型中方法表有，编译的时候也通过不了。因为调用方法f1的类的对象father的声明为Father类型。

(3) 在调用invokevirtual指令前有一个aload_1指令，它会将开始创建在堆中的Son对象的引用压入操作数栈。然后invokevirtual指令会根据这个Son对象的引用首先找到堆中的Son对象，然后进一步找到Son对象所属类型的方法表。

(4) 这是通过第(2)步中解析完成的#15常量表中的方法表的索引项11，可以定位到Son类型方法表中的方法f1()，然后通过直接地址找到该方法字节码所在的内存空间。

很明显，根据对象(father)的声明类型(Father)还不能够确定调用方法f1的位置，必须根据father在堆中实际创建的对象类型Son来确定f1方法所在的位置。这种在程序运行过程中，通过动态创建的对象的方法表来定位方法的方式，我们叫做动态绑定机制。

综合我们上述的理论，所有私有方法、静态方法、构造器及初始化方法都是采用静态绑定机制。在编译器阶段就已经指明了调用方法在常量池中的符号引用，JVM运行的时候只需要进行一次常量池解析即可。类对象方法的调用必须在运行过程中采用动态绑定机制。

Java的静态绑定可以让我们在编译期就发现程序中的错误，而不是在运行期。这样就可以提高程序的运行效率！而对方法采取动态绑定是为了实现多态，多态是java的一大特色。多态也是面向对象的关键技术之一，所以java是以效率为代价来实现多态这是很值得的。实践是检验真理的唯一标准，希望我们在理解了java的绑定及其动态绑定机制后，能够熟练地运用到实践中去。