关于继承时子类重写父类方法和覆盖父类变量的若干问题 （待进一步研究）

假设，子类重载父类的方法，并将子类的成员覆盖。

创建子类对象实例，将其上转型成父类。

例子1

public class Parent {

	public void init() {
		System.out.println("1 init parent");
		this.demo();
	}
	
	public void demo() {
		System.out.println("2 demo parent");
	}

}

public class Son extends Parent {
	
	public void init(){
		super.init();
		System.out.println("3 init son");
		this.demo();
	}
	
	public void demo() {
		System.out.println("4 demo Son");
	}
	
	public static void main(String[] args) {
		//Parent p = new Son();//1
		Son son = new Son();//2
		son.init();  //  init(son)
		
	}

}

当执行1时结果为：

1 init parent
4 demo Son
3 init son
4 demo Son

当执行2时结果为：

1 init parent
4 demo Son
3 init son
4 demo Son

情况1和情况2其实是相似的，由于使用new Son()创建实例，上转型之后，访问的也是子类重载的方法而Parent中的init()方法中的this也被认为是指向堆区域中son的实例化对象，故this.demo()访问的仍然是子类中重载的方法。

例子2

public class Parent {
	
	public String name="tom";

	public void init() {
		System.out.println(this.name);
	}
	
}

public class Son extends Parent {
	
	public String name="jack";
	
	public void init(){
		super.init();
		System.out.println(this.name);
	}
	
	public static void main(String[] args) {
		//1  当前运行类 Son   
		Son son = new Son();
   		son.init();  //init(son)
		System.out.println("## " + son.name);
		
		//2  当前运行类Parent  
		Parent p = new Son();
		p.init();
		System.out.println("** " + p.name);
		
	}

}

当代码运行1时  我猜测结果应该是：

jack

jack

##jack

但实际结果却是：

tom
jack
## jack

此时Parent类中this.name指向的是父类中的name值

由于我们无法看到内存中的实际情况，但通过debug我们可以看到son对象中有两个同名的name变量

只有几种情况可以解释这种结果

1.this并不指向son在堆中创建的实例

2.创建对象时内存中使用了其他机制来保证这种结果的生成。

翻看了一下《深入理解Java虚拟机 JVM高级特性与最佳实践》这本书 似乎得出了一些端倪

由此可见当访问成员变量时，检测到父类的成员变量之后程序停止继续寻找。

对于方法，由于其内容存放在方法区内，每个对象的发放应该是通过其自身的this即引用唯一绑定。故就差不多解释的通了。

《深入理解Java虚拟机 JVM高级特性与最佳实践》一书的下载地址：

http://www.jb51.net/books/163531.html#down

上面只是个人的一点点猜测 ，不吝赐教。