覆写
覆写(override):一个实例方法可以overide在其超类中可以访问到的具有相同签名的所有方法,从而可以动态分派(dynamic dispatch)
VM基于运行时类型来选择要调用的覆写方法。
java代码:
classBase {
publicvoidf() {
}
}
classDerivedextendsBase {
publicvoidf() {
} // overrides Base.f()
}
隐藏
一个域,静态方法,或成员类型可以分别被隐藏(hide)在其超类可以访问到的具有相同名字的所有域、静态方法或成员类型。hide几个成员将阻止其被继承。JLS 8.3,8.4,8.5
java代码:
classBase {
publicstaticvoidf() {
}
}
classDerivedextendsBase {
privatestaticvoidf() {
} // hides Base.f()
}
上例将不能编译通过:Cannot reduce the visibility of the inherited method from Base。
重载
在某个类中的方法可以重载(overload)另一个方法,只要它们具有相同的名字和不同的签名。由调用所指定的重载方法是在编译期选定的[JLS 8.4.9, 15.12.2]:
java代码:
classCircuitBreaker {
publicvoidf(inti) {
} // int overloading
publicvoidf(String s) {
} // String overloading
}
遮蔽 一个变量、方法或类型可以分别遮蔽(shadow)在一个闭合的文本范围内的具有相同名字的所有变量、方法或类型。如果一个实体被遮蔽了,那么你用它的简单名是无法引用到它的;根据实体的不同,有时你根本就无法引用到它[JLS 6.3.1]:
java代码:
classWhoKnows {
staticString sentence ="I don't know.";
publicstaticvoidmain(String[] args) {
String sentence = "I know!";// shadows static field
System.out.println(sentence); // prints local variable
}
}
遮掩
一个变量可以遮掩(obscure)具有相同名字的一个类型,只要它们都在同一个范围内:如果这个名字被用于变量与类型都被许可的范围,那么它将引用到变量上。相似地,一个变量或一个类型可以遮掩一个包。遮掩是唯一一种两个名字位于不同的名字空间的名字重用形式,这些名字空间包括:变量、包、方法或类型。
例如下面的代码不能编译:变量遮掩了类型。
java代码:
publicclassObscure {
staticString System;// Obscures type java.lang.System
publicstaticvoidmain(String[ ] args) {
// Next line won't compile: System refers to static field
System.out.println(”hello, obscure world!“);
}
}