http://java.sun.com/docs/books/jls/third_edition/html/names.html#6.6
class C protected member;// in a different packageclass S extends C obj.member; // only allowed if type of obj is S or subclass of S
动机可能如下。如果
obj是
S,则类
S具有足够的内部知识,则它有权 *** 作其成员,并且可以安全地进行此 *** 作。
如果
obj不是
S,它可能是另一个子类
S2中
C,其中
S有没有想法。写作
S2时可能甚至还没有出生
S。为了
S*** 纵
S2受保护的内部结构是非常危险的。如果允许,从
S2的角度来看,它不知道谁会篡改其受保护的内部以及如何进行篡改,这使
S2工作很难就其自身状态进行推理。
现在,如果
obj是
D,并且
D extendsS,
S访问危险
obj.member吗?并不是的。如何
S使用
member是一个共享knowlege
S及其所有子类,包括
D。
S因为超类具有定义行为的权利,而
D子类具有接受和遵循行为的义务。
为了更容易理解,应将规则真正简化为要求其
obj(静态)类型准确
S。毕竟,子类
D出现在中是非常不寻常且不合适的
S。即使发生这种情况,静态类型
obj为
D,我们的简化规则也可以通过向上转换轻松地处理它:
((S)obj).member
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)