java编程思想-多态 深入理解

先看两段代码:

publicclass D extends C{

public D(){

System.out.println("D-init");

}

 

publicstaticvoid main(String []args){

C c = new D();

System.out.println(c.getClass().getName());

c.f2();//编译出错,无法访问到f2()

}

}

 

class C {

public C(){

System.out.println("C-init");

}

 

privatevoid f2(){

System.out.println("C-private-2");

}

}

 

===========================================================

publicclass D {

public D(){

System.out.println("D-init");

}

 

privatevoid f2(){

System.out.println("D-private-2");

}

 

publicstaticvoid main(String []args){

D d = new C();

System.out.println(d.getClass().getName());

d.f2();

}

}

 

class C extends D{

public C(){

System.out.println("C-init");

}

 

publicvoid f1(){

System.out.println("C-public");

}

 

}

 

output:

D-init

C-init

com.keyword._static.C

 

D-private-2

 

首先我们知道子类的对象可以赋值给父类的引用,这是多态的一个体现。

但是为什么我们在D d = new C();之后,可以访问到父类的私有函数?

理论上来说,我们new 的是子类,也就是在堆区开辟的是子类的空间,而D d 只是一个引用,指向该子类对象在堆区地址。但是根据private私有的特性,我们认为是说到底这个子类的对象仍旧无法访问到父类中的private属性,哪怕编译时不报错,运行时也会出错。但是这里却正常的运行了,也成功访问到了父类的private属性,所以提出一个问题,这是怎么做到的?

 

解决这个问题也许不是来的那么直观。

其实现在假设new D()也就是创建一个父类对象,所需内存空间为1MB,那么在创建其子类对象new C();所需的内存空间必然大于1MB,先假设是1.5MB。

为何会多出一些空间,因为从构造链可以看出,初始化一个子类实例,必然会先初始化其父类实习,那么这个new 的父类实例放在哪里,其实放在子类的堆区内存中,也就是说,子类对象所在的内存空间,不但包含自己的信息,也有其父类的信息,而且是每个子类对象独立享有各自父类对象实例。

而D d = new C();这部操作,进行一个向上转型,也就是窄化操作,说白点就是一个本身指在子类对象范围以及父类非private对象范围的堆区可移动指针,重新使他只能指在父类对象范围内。

那么,这种条件下,是否能访问到private属性,我个人认为取决于运行的外部环境了,我觉得是堆栈环境,不知道这么说是否恰当。

 

在第二份示例代码中,main函数放在父类中,也就是说入口在父类,比如说当前运行的环境是父类环境,D d = new C();这部操作后,移动指针,指向父类的内容区间, 加上外部环境,我将其理解成,在父类环境中访问父类私有属性,也就是在自己家用自己的私有物品。那自然是可以访问的。

而第一份示例代码中,main函数放在子类中,也就是外部环境不是父类,那么哪怕堆栈指针移动到了父类的内容区间,也是无法访问到父类的private的,这是由private本身性质所决定的。

 

猜你喜欢

转载自870604904.iteye.com/blog/2269568