基础篇-java动态绑定

一、何为动态绑定？

我的理解是将这个词分开理解，即“动态” 和 “绑定”

动态：既然说到动态，那么就不得不提与它相对立的静态了，因为静态我们还是蛮熟悉的，静态不就是static嘛。静态描述的是事物相对来说不活跃的一方面，反而言之动态就相对灵活。我们都知道面向对象语言的三大基本特性，封装、继承、多态。多态通过分离做什么和怎么做，从另一个角度将接口和实现分离开来。可能不太理解多态，但是我们可以将多态叫做另一种说法，没错就是动态绑定。

绑定：绑定指的是一个方法的调用与方法所在的类(方法主体)关联起来。好了既然动态、静态和绑定都解释完了，那么现在组合在一起：静态绑定    &   动态绑定

静态绑定（前期绑定）：在程序执行前方法已经被绑定，此时由编译器或其它连接程序实现。例如：C

针对java简单的可以理解为程序编译期的绑定；这里特别说明一点，java当中的方法只有final，static，private和构造方法是前期绑定

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

二、动态绑定过程

1. 虚拟机提取对象的实际类型的方法表；
2. 虚拟机搜索方法签名；
3. 调用方法。

动态绑定常常体现在继承体系当中，现在举例：

public class DynamicBindingDemo {
	public static void main(String[] args) {
		Super sub = new Sub();
		System.out.println("sub.field:"+sub.field+";sub.getField():"+sub.getField());
	}
}
class Super{
	public int field = 0;
	
	public int getField(){
		return field;
	}
}

class Sub extends Super{
	public int field = 1;
	
	public int getField(){
		return field;
	}
	
	public int getSuperField(){
		return super.field;
	}
}

打印结果：

sub.field:0;sub.getField():1

这个例子告诉我们，当我们调用一个方法时，去选择执行哪个方法的主体是运行时动态选择的。但是当我们直接访问实例域的时候，编译器直接按照这个对象所表示的类型来访问。于此情况完全相同的还有静态方法。所以我们可以做出这种总结：

分析发现，声明父类引用（句柄），但创建的是子类对象，所以调用方法时动态的定义到子类当中，因此调用的是子类的Field方法，所以值为1。但是调用属性却是父类属性，因为属性值不能重写，所以不具备动态绑定规则，所以声明的是父类类型，就会去父类中查找该属性。若要在子类中获取到本类属性，使用上面的get方法获取。

总结1：在处理Java类中的成员变量时，并不是采用运行时绑定，而是一般意义上的静态绑定。

总结2：在向上转型的情况下，对象的方法可以“找到”子类，而对象的属性还是父类的属性。

总结3：子类的对象(由父类的引用handle)调用到的是父类的成员变量。所以必须明确，运行时（动态）绑定针对的范畴只是对象的方法。

总结4：属性不能被虚拟调用，因为他不能被重写，而方法可以，它被对象的真实类型调用。

三、关于绑定相关的总结：

 

• 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),依次类推

java 动态绑定在属性上合方法上的不同
1．Java的方法调用过程
编译器查看对象的声明类型和方法名（对象变量的声明类型）。通过声明类型找到方法列表。
编译器查看调用方法时提供的参数类型。
如果方法是private、static、final或者构造器，编译器就可以确定调用那个方法。这是静态绑定。
如果不是上述情况，就要使用运行时（动态）绑定。

在程序运行时，采用动态绑定意味着：虚拟机将调用对象实际类型所限定的方法。

2．运行时（动态）绑定的过程

虚拟机提取对象的实际类型的方法表；
虚拟机搜索方法签名；
调用方法。
注意，这里说的是对象的实际类型。即在多态的情况下，虚拟机可以找到所运行对象的真正类型。