Java——父子实例的内存情况解析

众所周知，在Java中，一个非final类可以被其他类所继承，同时子类将拥有父类的实例变量和实例方法，而且子类还可以重写父类中的方法。

但当子类中存在和父类同名的变量和方法时，分别用父类类型的变量、子类类型的变量去调用对象的实例变量和方法时，会有怎样的结果呢？
我们不妨来做个试验：

定义一个Base类（父类），在其中声明一个实例变量和实例方法；同时定义一个Sub类（子类），在其中声明与父类中相同的实例变量和方法（但是值和方法体不同）。

class Base{
    int count = 1;

    public void info() {
        System.out.println("base info ... ");
    }
}

class Sub extends Base{
    int count = 10;

    @Override
    public void info() {
        System.out.println("sub info ... ");
    }
}

public class Main {
    public static void main(String[] args) {
        Sub obj = new Sub();
        System.out.println(obj.count);
        obj.info();

        Base baseObj = obj;
        System.out.println(baseObj.count);
        baseObj.info();
    }
}

然后在main中声明两个变量：一个是Base类型的baseObj变量，另一个是Sub类型的obj变量。分别用这两个变量调用count实例变量和info()方法，结果如下：

10
sub info ... 
1
sub info ... 

可以看到，在不同的变量调用count实例变量时，得到的结果不同；而在不同的变量调用info()方法时，得到的结果却相同！

我们可以这样理解：

当变量的编译时类型和运行时类型不一致时，通过该变量访问它所引用的对象的实例变量时，实例变量的值由声明该变量（就是调用对象的那个变量）的类型决定。

当通过该变量访问它所引用的对象的方法时，该方法的行为由它实际所引用的对象类型决定（也就是，子类覆盖了父类的方法）。

---

原因：

当程序创建了一个子类对象时，系统不仅会为该类中定义的实例变量分配内存，也会为其父类中声明的所有实例变量分配内存，即使子类定义了与父类中同名的实例变量。
如果在子类里定义了与父类中已有变量同名的变量，那么子类中定义的变量会隐藏父类中定义的变量。但注意，不是完全隐藏。因此系统在创建子类对象时，依然会为父类中的被隐藏的变量分配内存空间。