Java 中名称重用相关问题

2017-09-02 本文已影响45人 scruel

名称重用有时会导致编译错误，但有时却不会，导致发生难以发现的问题，所以一定要注意。
下面将所有的名称重用情况列出，并附带例子，在日常的开发中一定还会遇到类似的问题，希望能有所帮助。
这部分涉及到的静态绑定和动态绑定问题，理解后对于泛型能有更好的理解，相关笔记请看文末。

重写（Overriding）
子类可以重写其父类中可访问到的具有相同签名的所有成员方法[JLS 8.4.8.1]。
JVM将会根据实例的运行期类型（对象）来选择要调用的重写方法[JLS 15.12.4.4]。
静态方法是无法重写的，因为重写的要求是要动态绑定（对象），而静态方法是静态绑定（类）。final方法也是无法重写的，因为使用final的目的就是防止其被重写。注意，这里说的搜是方法。
在 JDK 1.5 及以上中使用 @Override 注解，防止将需要重写的方法错写为重载。
```
class Base {
  public void f() {}
}
class Derived extends Base {
  @Override
  public void f() {} // overrrides Base.f()
}
```
重载（Overloading）
在一个类中，可以以相同的名称和不同的签名来构成重载，重载方法的调用是在编译阶段选定的（类）。
签名指的是方法名及参数列表，返回类型不是签名的一部分，所以返回类型不同但是签名相同的重载是无法编译通过的。
尽量要确保重载的方法在相同的签名上有相同的行为。
```
class CircuitBreaker {
  public void f(int i) { } // int overloading
  public void f(String s) { } // String overloading
}
```

隐藏（Hiding）
一个成员变量、静态方法或成员类型可分别隐藏其父类中可访问到的具有相同名称（方法而言是方法签名）的所有成员变量、静态方法或成员类型，隐藏的成员不会被继承。
不要去重用 java.lang 包下的类型名。
补充一下，内部成员类的参数类型（泛型）可以隐藏外部类的参数类型（这个问题在IDEA中已经有温馨提示）。

class Base {
    public static String fStr = "base";

    public static void f() {System.out.println(fStr); }

    static class BaseType {
        public static String type = "base";
    }
}

class Derived extends Base {
    private static String fStr = "derived"; //hides Base.fStr, even can change the access!

    public static void f() { System.out.println(fStr); } // hides Base.f()

    //hides Base.BaseType
    static class BaseType {
        public static String type = "derived";
    }
}

遮蔽（Shadowing）
一个变量、方法或类型可以分别遮蔽在类中具有相同名称的所有成员变量、成员方法或成员类型。如果一个实体被遮蔽了，根据实体的不同，有时候根本无法引用到。[JLS 6.3.1]

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
  }
}

//最常见的遮蔽，不是没有风险，但为惯用法。
class Belt {
  private final int size;
  public Belt(int size) { // Parameter shadows Belt.size
      this.size = size;
  }
}

遮掩（Obscuring）
一个变量名可以遮掩具有相同名称的一个类型（类），只要他们属于同一个作用域。类似的，一个变量或一个引用可以遮掩一个包。遮掩是惟一一种两个名称位于不同的名称空间的名称重用形式，包括：变量、方法、包或类型。
按照命名规范来进行命名可以有效防止遮掩的发生。
```
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!");
  }
}
```

多态：程序绑定（动态绑定与静态绑定）

Java 中名称重用相关问题

猜你喜欢

热点阅读