Java基础 之隐藏、复写、遮掩、遮蔽、和重载

覆写

覆写（override）：一个实例方法可以overide在其超类中可以访问到的具有相同签名的所有方法，从而可以动态分派（dynamic dispatch）

 

VM基于运行时类型来选择要调用的覆写方法。

 

java代码：

 class Base {
     public void f() {
     }
 }

 class Derived extends Base {
     public void f() {
     } // overrides Base.f()
 }

 

 

隐藏

一个域，静态方法，或成员类型可以分别被隐藏（hide）在其超类可以访问到的具有相同名字的所有域、静态方法或成员类型。hide几个成员将阻止其被继承。JLS 8.3，8.4,8.5

 

 

java代码：

 class Base {
     public static void f() {
     }
 }

 class Derived extends Base {
     private static void f() {
     } // hides Base.f()
 }

上例将不能编译通过：Cannot reduce the visibility of the inherited method from Base。

重载

在某个类中的方法可以重载（overload）另一个方法，只要它们具有相同的名字和不同的签名。由调用所指定的重载方法是在编译期选定的[JLS 8.4.9, 15.12.2]： 

 

java代码：

 class CircuitBreaker {
     public void f(int i) {
     } // int overloading

     public void f(String s) {
     } // String overloading
 }

 

遮蔽
一个变量、方法或类型可以分别遮蔽（shadow）在一个闭合的文本范围内的具有相同名字的所有变量、方法或类型。如果一个实体被遮蔽了，那么你用它的简单名是无法引用到它的；根据实体的不同，有时你根本就无法引用到它[JLS 6.3.1]：

 

java代码：

 class WhoKnows {
     static String sentence = "I don't know.";

     public static void main(String[] args) {
         String sentence = "I know!"; // shadows static field
         System.out.println(sentence); // prints local variable
     }
 }

 

遮掩

一个变量可以遮掩（obscure）具有相同名字的一个类型，只要它们都在同一个范围内：如果这个名字被用于变量与类型都被许可的范围，那么它将引用到变量上。相似地，一个变量或一个类型可以遮掩一个包。遮掩是唯一一种两个名字位于不同的名字空间的名字重用形式，这些名字空间包括：变量、包、方法或类型。

例如下面的代码不能编译：变量遮掩了类型。

 

java代码：

 public class Obscure {
     static String System; // Obscures type java.lang.System

     public static void main(String[ ] args) {
     // Next line won't compile: System refers to static field
     System.out.println(”hello, obscure world!“);
     }
 }