我们都知道,子类的方法可以访问父类的实例变量,这是因为子类继承父类就会获得父类的成员变量和方法;但是父类的方法水能访问子类的实例变量,因为父类根本无法知道它将被哪个子类继承,它的子类将会增加怎样的成员变量。
但是,在某些情况下,可能出现父类访问子类的变量的情况:
public class Test {
public static void main(String[] args){
new Derived();
}
}
class Base {
private int i=1;
public Base(){
this.display();
}
public void display(){
System.out.println(i);
}
}
class Derived extends Base{
private int i = 2;
public Derived(){
i = 3;
}
public void display(){
System.out.println(i);
}
}
运行上面的代码输出结果是0。
接下来分析一下:
java对象是由构造器创建的吗?许多资料中会说:是的。
但实际情况是:构造器只是负责对java对象实例变量执行初始化(即赋初始值),在执行构造器代码之前,该对象所占的内存已经被分配了,这些内存里面的值都默认是空值(基于类型的变量,默认的空值就是0或false,对于引用类型的变量,默认的空值就是null)。
我们将Base类和Derived类修改下:
class Base {
private int i=1;
public Base(){
System.out.println("Base this = " + this);
System.out.println("Base i = " + this.i);
this.display();
}
public void display(){
System.out.println("Base display(i) = " + this.i);
System.out.println("Base i = " +i);
}
}
class Derived extends Base{
private int i = 2;
public Derived(){
i = 3;
}
public void display(){
System.out.println("Derived display(i) = " + this.i);
System.out.println("Derived i = " +i);
}
}
依次输出:
Base this = com.airnut.test.Derived@14ae5a5
Base i = 1
Derived display(i) = 0
Derived i = 0
当this在构造器中时,this代表正在初始化的java对象。上面代码中,this位于Base()构造器内,但这些代码实际放在Derived()构造器内执行,是Derived()构造器隐式调用了Base()构造器的代码。因此,此时的this应该是Derived对象,而水是Base对象。
问题又来了,既然this引用代表了Derived对象,那么怎么直接输出this.i时会输出1呢?这是因为,这个this虽然代表Derived对象,但它却位于Base构造器中,它的编译时类型是Base,而它的实际引用一个Derived对象。
结论:当变量的编译时类型和运行时类型水同时,通过该变量访问它引用的对象的实例变量时,该实例变量的值由声明该变量的类型决定。但是通过该变量调用它引用的对象的实例方法时,该方法行为将由它实际所引用的对象来决定