java-this和super

public class Parent {
  protected String name = "parent";
  public Parent() {
    System.out.println(this.name);//parent
    fun();//son name: son
  }

  protected void fun() {
    System.out.println("parent name: " + name);
  }
}

public class Son extends Parent{
  protected String name = "son";
  public Son() {
  }
  
  protected void fun() {
    System.out.println("son name: " + name);
  }
}

实例化一个Son对象，会发现输出

parent
son name: son

也就是说Parent的构造函数中，this.name的this为Parent，this.fun()的this为Son，这是为什么呢？其实Parent中的this始终都是Son，但由于字段的取值取决于实例的静态类型，而不是向invokevirtual那样取决于实际类型，我们都知道java方法的第一个参数永远是this（除了静态方法，this的作用就是连接实例对象，从而操作实例字段、实例方法，而静态方法并不会与某个实例关联，故静态方法不会传入this，也就不能操作实例字段、实例方法了），当Son构造器调用Parent构造器时传入的this，一定经过了类似向上转型的过程（猜测是这样），从而this的静态类型在Parent看来是Parent类型的。

这就解释了为什么在Parent中的this.name是Parent的字段，那么this.fun()是Son的怎么解释呢？这就是invokevirtual的威力了，invokevirtual会在运行时动态判断调用者的实际类型，从而决定调用方法的版本。

public class Parent {
  protected String name = "parent";

  protected void fun() {
    System.out.println("parent name: " + name);
    fun();
  }
}

public class Son extends Parent{
  protected String name = "son";
  private boolean flag = false;
  
  protected void fun() {
      if(!flag) {
          flag = true;
          super.fun();
      }else{
          System.out.println("son name: " + name);
      }
  }
}

再来看上面这个例子，new Son().fun()一定是输出

parent name: parent
son name: son

因为super.fun()会传入向上转型的this，从而在进行字段输出时输出parent，调用方法fun()时又会使用invokevirtual指令寻找实际类型，所以会调用Son的fun()方法，而此时传入的this又会向下转型为Son，故输出字段为son。