Java的引用变量有两个类型,一个是编译时类型,一个是运行时类型,编译时类型由声明该变量时使用的类型决定,运行时类型由实际赋给该变量的对象决定。 如果编译时类型和运行时类型不一致,会出现所谓的多态。因为子类其实是一种特殊的父类,因此java允许把一个子类对象直接赋值给一个父类引用变量,无须任何类型转换,或者被称为 向上转型,由系统自动完成。 引用变量在编译阶段只能调用其编译时类型所具有的方法,但运行时则执行它运行时类型所具有的方法,因此,编写Java代码时,引用变量只能调用声明该变量所用类里包含的方法。与方法不同的是,对象的属性则不具备多态性。通过引用变量来访问其包含的实例属性时,系统总是试图访问它编译时类所定义的属性,而不是它运行时所定义的属性。 前期绑定和后期绑定(动态绑定、运行时绑定):绑定:将一个方法调用同方法主体关联起来叫做绑定 前期绑定:在程序执行之前进行绑定(如果有的话,由 编译器和 连接器完成),前期绑定是面向过程程序设计语言中默认的绑定方式,例如,C语言只有一种方法调用,那就是前期绑定。 后期绑定:就是在程序运行时根据对象的类型进行绑定,也叫作动态绑定或运行时绑定。注意:Java中除了static和final方法(private方法属于final方法,因为类中的private方法被隐式指定为final方法,由此我们也可以知道:将方法 声明为final类型的一是为了防止方法被覆盖,二是为了有效的关闭 java中的动态绑定)之外,其他方法都是后期绑定。这意味着通常不必判定是否该进行后期绑定,因为它是自动发生的。
1.
2.
3.
4.
5.
6. class A
7. {
8. int count = 20;
9. }
10.
11. class B extends A
12. {
13. int count = 200;
14. }
15.
16. public class Test
17. {
18. public static void main(String[] args)
19. {
20. A a = new A();
21. System.out.println(a.count);
22. B b = new B();
23. System.out.println(b.count);
24. A ab = b; //向上转型
25. System.out.println(ab.count);
26. }
27. }
28.
29. 运行结果 :
30. 20
31. 200
32. 20
33. 结果分析: 前两行的输
- 出毫无疑问,问题在
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 ;