编译时类型和运行时类型：
Java的引用变量有两个类型，一个是编译时类型，一个是运行时类型，编译时类型由声明该变量时使用的类型决定，运行时类型由实际赋给该变量的对象决定。如果编译时类型和运行时类型不一致，会出现所谓的多态。因为子类其实是一种特殊的父类，因此java允许把一个子类对象直接赋值给一个父类引用变量，无须任何类型转换，或者被称为向上转型，由系统自动完成。
引用变量在编译阶段只能调用其编译时类型所具有的方法，但运行时则执行它运行时类型所具有的方法，因此，编写Java代码时，引用变量只能调用声明该变量所用类里包含的方法。与方法不同的是，对象的属性则不具备多态性。通过引用变量来访问其包含的实例属性时，系统总是试图访问它编译时类所定义的属性，而不是它运行时所定义的属性。
前期绑定和后期绑定（动态绑定、运行时绑定）：
绑定：将一个方法调用同方法主体关联起来叫做绑定
前期绑定：在程序执行之前进行绑定（如果有的话，由编译器和连接器完成），前期绑定是面向过程程序设计语言中默认的绑定方式，例如，C语言只有一种方法调用，那就是前期绑定。
后期绑定：就是在程序运行时根据对象的类型进行绑定，也叫作动态绑定或运行时绑定。
注意：Java中除了static和final方法（private方法属于final方法，因为类中的private方法被隐式指定为final方法,由此我们也可以知道：将方法声明为final类型的一是为了防止方法被覆盖，二是为了有效的关闭java中的动态绑定）之外，其他方法都是后期绑定。这意味着通常不必判定是否该进行后期绑定，因为它是自动发生的。
下面举例说明：
1.子类方法覆盖父类方法（子类重写父类中的方法，调用子类中的方法）
[java]view plaincopyprint?
- classFather{publicvoidmethod(){System.out.println("父类方法："+this.getClass());}}publicclassSonextendsFather{publicvoidmethod(){System.out.println("子类方法："+this.getClass());}publicstaticvoidmain(String[]args){Fatherinstance=newSon();instance.method();}}
运行结果：
子类方法：classSon
2. 子类没有重写父类中的方法，所以到父类中寻找相应的方法
[java]view plaincopyprint?
- classFather{publicvoidmethod(){System.out.println("父类方法："+this.getClass());}}publicclassSonextendsFather{ publicstaticvoidmain(String[]args){Fatherinstance=newSon();instance.method();}}
[java]view plaincopyprint?
- 运行结果：父类方法：classSon
3.动态绑定只是针对对象的方法，对于属性无效。因为属性不能被重写。
[java]view plaincopyprint?
- classFather{publicStringname="Father’name";}publicclassSonextendsFather{publicStringname="Son’name";publicstaticvoidmain(String[]args){Fatherinstance=newSon();System.out.println(instance.name);}}
[java]view plaincopyprint?
- 运行结果：Father’name
这里还可以从另外一个方面来说明：如果将Father类的[java]view plaincopyprint?
- publicStringname="Father’name";
修改为
[java]view plaincopyprint?
- privateStringname="Father’name";
System.out.println(instance.name);
- 那么编译器将报错：错误: Father中privatename不可以访问
[java]view plaincopyprint?
- 说明在System.out.println(instance.name);这行代码执行时，访问的是父类的name属性，而该属性被声明为private，所以无法访问，因而报错！
下面在分析一个例子：[java]view plaincopyprint?
- classA{intcount=20;}classBextendsA{intcount=200;}publicclassTest{publicstaticvoidmain(String[]args){Aa=newA();System.out.println(a.count);Bb=newB();System.out.println(b.count);Aab=b;//向上转型System.out.println(ab.count);}}运行结果： 20 200 20
结果分析：
前两行的输出毫无疑问，问题在 A ab = b; System.out.println(ab.count);的输出是20，而不是200；在这之间我们可以用 System.out.println(ab == b); 来进行简单的判断，结果输出为 true ，说明 ab 和 b 两个引用变量指向同一个实例，既然 ab 和 b 指向同一个实例，为什么输出的是20不是200呢？原因在于：1.对于 class A 和class B来说，class B是class A的子类，由于子类的变量并不会覆盖父类的变量，所以实际上在class B中是存在来两个count，在这分别记作 A.count 和B.count ； 2.虽然在 class B中存在A.count 和B.count ，但是究竟输出那一个 count ，取决于该引用变量的声明时类型（本文开头红色文字部分已经说明），此处 声明时类型 是 class A，所以输出 20 即A.count ，同理若改为 B ab = b ；则输出 200 即 B.count ；
志在山顶的人，不会贪念山腰的风景。
