java的动态绑定与静态绑定(完全理解多态与重载)

此文章为转载.原做者我经过Google为能找到.由于相同的文章太多.但限于此博文内容简洁明了.故此转载.对做者表示敬意.html

程序绑定的概念:
绑定指的是一个方法的调用与方法所在的类(方法主体)关联起来。对java来讲,绑定分为静态绑定动态绑定;或者叫作前期绑定和后期绑定。 java

静态绑定:
在程序执行前方法已经被绑定,此时由编译器或其它链接程序实现。例如:C。
针对Java简单的能够理解为程序编译期的绑定;这里特别说明一点,java当中的方法只有final,static,private和构造方法是前期绑定。 网络

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

Java的方法调用过程:spa

  1. 编译器查看对象的声明类型和方法名(对象变量的声明类型),经过声明类型找到方法列表。
  2. 编译器查看调用方法时提供的参数类型。
  3. 若是方法是private、static、final或者构造器,编译器就能够肯定调用那个方法。这是静态绑定。
  4. 若是不是上述状况,就要使用运行时(动态)绑定。在程序运行时,采用动态绑定意味着:虚拟机将调用对象实际类型所限定的方法。

动态绑定的过程code

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

关于绑定相关的总结:
概念以后,很明显咱们发如今java中,几乎全部的 方法(不是字段属性)都是后期绑定(动态绑定)的,在运行时动态绑定的方法属于子类呢仍是基类呢?下面会有实例更详细的说明。固然也有特殊状况,针对static方法和final方法因为不能被继承,所以在编译时就能够肯定他们的值,他们是属于前期绑定(静态绑定)的。特别说明的一点是,private声明的方法和成员变量不能被子类继承,全部的private方法都被隐式的指定为final的(由此咱们也能够知道:将方法声明为final类型的一是为了防止方法被覆盖,二是为了有效的关闭java中的动态绑定)。java中的后期绑定是有JVM来实现的,咱们不用去显式的声明它,而C++则不一样,必须明确的声明某个方法具有后期绑定。
 
你们应该就明白了,Java当中的向上转型或者说多态是借助于动态绑定实现的,因此理解了动态绑定,也就搞定了向上转型和多态。前面已经说了对于java当中的方法而言,除了final,static,private和构造方法是前期绑定外,其余的方法所有为动态绑定。而动态绑定的典型发生在父类和子类的转换声明之下:
好比:
Parent obj = new Children();

其具体过程细节以下:
  1. 编译器检查对象的声明类型和方法名。假设咱们调用obj.function(args)方法,而且obj已经被声明为C类的对象,那么编译器会列举出C类中全部的名称为f的方法和从C类的超类继承过来的f方法
  2. 接下来编译器检查方法调用中提供的参数类型。若是在全部名称为function的方法中有一个参数类型和调用提供的参数类型最为匹配,那么就调用这个方法,这个过程叫作“重载解析” 。
  3. 当程序运行而且使用动态绑定调用方法时,虚拟机必须调用同obj所指向的对象的实际类型相匹配的方法版本。假设实际类型为Csub(C的子类),若是Csub类定义了function(String)那么该方法被调用,不然就在Csub的超类中搜寻方法function(String),依次类推。
上面是理论,下面看几个示例(示例来自网络):
public class Father {
	public void method() {
		System.out.println("父类方法,对象类型:" + this.getClass());
	}
}
public class Son extends Father {
	public static void main(String[] args) {
		Father sample = new Son();// 向上转型
		sample.method();
	}
}

看的出来,声明的是父类的引用,可是执行的过程当中调用的是子类的对象,程序首先寻找子类对象的method方法,可是没有找到,因而向上转型去父类寻找。
public class Son extends Father {   
  public void method() {   
    System.out.println("子类方法,对象类型:" + this.getClass());   
  }   
     
  public static void main(String[] args) {   
    Father sample = new Son();//向上转型   
    sample.method();   
  }   
}

因为子类重写了父类的method方法,根据上面的理论知道会去调用子类的method方法去执行,由于子类对象有method方法而没有向上转型去寻找。
 
前面的理论当中已经提到了java的绑定规则,由此可知,在处理java类中的成员变量时,并非采用运行时绑定,而是通常意义上的静态绑定。因此在向上转型的状况下,对象的方法能够找到子类,而对象的属性仍是父类的属性。
public class Father {   
   
  protected String name="父亲属性";   
     
  public void method() {   
    System.out.println("父类方法,对象类型:" + this.getClass());   
  }   
}   
     
public class Son extends Father {   
  protected String name="儿子属性";   
     
  public void method() {   
    System.out.println("子类方法,对象类型:" + this.getClass());   
  }   
     
  public static void main(String[] args) {   
    Father sample = new Son();//向上转型   
    System.out.println("调用的成员:"+sample.name);   
  }   
}

结论,调用的成员为父亲的属性。
这个结果代表,子类的对象(由父类的引用handle)调用到的是父类的成员变量。因此必须明确,运行时(动态)绑定针对的范畴只是对象的方法。
如今试图调用子类的成员变量name,该怎么作?最简单的办法是将该成员变量封装成方法getter形式。
public class Father {   
  protected String name = "父亲属性";   
  public String getName() {   
    return name;   
  }   
  public void method() {   
    System.out.println("父类方法,对象类型:" + this.getClass());   
  }   
}   
     
public class Son extends Father {   
  protected String name="儿子属性";   
     
  public String getName() {   
    return name;   
  }   
     
  public void method() {   
    System.out.println("子类方法,对象类型:" + this.getClass());   
  }   
     
  public static void main(String[] args) {   
    Father sample = new Son();//向上转型   
    System.out.println("调用的成员:"+sample.getName());   
  }   
}

结果:调用的是儿子的属性。
运行完这些代码。应该已经很是清晰的说明了多台和重载。
相关文章
相关标签/搜索