你真的理解Java的this和super吗?

你不知道的this

很多介绍java的书籍都说this指该对象本身。我们来看下面代码：

class Base{
	private int i = 3;
	public Base()
	{
		this.display();
	}
	public void display()
	{
		System.out.println(i);
	}
}
class Sub extends Base{
	private int i = 33;
	public Sub()
	{
		i = 333;
	}
	public void display()
	{
		System.out.println(i);
	}
}
public class FiledTest{
	public static void main(String[] args)
	{
		new Sub();
	}
}

上面的结果不是3，也不是33，更不是333，而是0.

我们来从内存分配角度来分析上面代码。

首先，运行new Sub()时会先初始化它的父类。而初始化实例变量的过程是怎样的呢？实际上，在语法上，初始化Java的实例变量有三种方法：

• 初始化语句。
• 初始化块。
• 构造函数。

其中初始化语句和初始化块先于构造函数执行，且初始化语句和初始化块的执行先后取决于代码书写前后。这里要强调一点，对象的创建并不是由构造函数完成，因为对象的创建时你在使用它后就分配了内存，构造函数只是完成初始化变量工作。另外，对于编译器而言，无论是初始化语句还是初始化块，它们最后都会被提取到构造函数里。这一点我们可以使用命令 javap得到验证。使用 javap -c Base分析字节码有如下结果：

有汇编基础的朋友可以看出i=3会在构造函数里执行。

现在的问题是父类构造函数的this是什么的？实际上，这个this的真正解释是：this在构造器里时，this代表正在初始化的对象。所以这个this指的就是Sub！可能有些朋友会想，不是有super这个隐含对象吗？等会在介绍super时告诉你，根本就没有隐含对象这回事。

这样，执行的Sub的display，而此时Sub的i还没有初始化，还是为默认值0。但是，如果在Base的构造器里添加 System.out.println(this.i); 那么这句话会打印出 3。这是因为这个this在编译时是Base。或者说，对于实例变量，它的执行和声明的类型有关；而对于方法，它的执行和其引用对象类型有关。这就是编译时类型和运行时类型的秘密。这里更深层的原因，笔者将在以后的文章里详细介绍。

你不知道的super

有一点要明确，像类型上面代码的结构里，系统只有一个Sub对象，不存在父类。但是这个Sub对象持有了两个i的实例变量。

如果我们在父类有方法：

public Base getThis()
{
     return this;
}

在子类有，

public Base getSuper()
{
    return super,getThis();
}

Sub s = new Sub();
Base b = s.getSuper();

执行 a==b，结果是true。这表明super根本就不是默认的父类对象。有很多其他语法可以证明这点，比如 不能return super，super不能单独使用。