ThinkJava-多态 - 爱码网

8.2.1 方法调用绑定

解决的办法就是后期绑定，它的含义就是在运行时根据对象的类型进行绑定。后期绑定也

叫做动态绑定或运行时绑定.如果一种语言想实现后期绑定，就必须具有某种机制，以便在运

行时能判断对象的类型，从而调用恰当的方法。也就是说，编译器一直不知道对象的类型，但

是方法调用机制能找到正确的方法体，并加以调用。后期绑定机制随编程语言的不同而有所不

同，但是只要想一下就会得知，不管怎样都必须在对象中安置某种"类型信息"。

Java中除了static方法和final方法( private方法属于final方法)之外，其他所有的方法都是

后期绑定。这意味着通常情况下，我们不必判定是否应该进行后期绑定一一它会自动发生。

为什么要将某个方法声明为final呢?正如前一章提到的那样，它可以防止其他人覆盖该方

法。但更重要的一点或许是:这样做可以有效地"关闭"动态绑定，或者说，告诉编译器不需

要对其进行动态绑定。这样，编译器就可以为final方法调用生成更有效的代码。然而，大多数

情况下，这样做对程序的整体性能不会有什么改观。所以，最好根据设计来决定是否使用final ，

而不是出于试图提高性能的目的来使用final .

8.2.4缺陷："覆盖"私有方法

例子：

package com.cy.polymorphism;

// Trying to override a private method.
import static com.java.util.Print.*;

public class PrivateOverride {
  private void f() { print("private f()"); }
  
  public static void main(String[] args) {
    PrivateOverride po = new Derived();
    po.f();
  }
}

class Derived extends PrivateOverride {
  
  public void f() { print("public f()"); }
} 

/* Output:
private f()
*///:~

我们所期望的输出是public f(). 但是由于private方法被自动认为是final方法，而且对导出

类是屏蔽的。因此，在这种情况下， Derived类中的f()方法就是一个全新的方怯，既然基类中的

f()方法在子类Derived中不可见，因此甚至也不能被重载。

结论就是:只有非private方法才可以被覆盖;但是还需要密切注意覆盖private方法的现象，

这时虽然编译器不会报错，但是也不会按照我们所期望的来执行。确切地说，在导出类中，对

于基类中的private方法，最好采用不同的名字。

8.2.5 缺陷:域与静态方法

一旦你了解了多态机制，可能就会开始认为所有事物都可以多态地发生。然而，只有普通

的方法调用可以是多态的。例如，如果你直接访问某个域，这个访问就将在编译期进行解析，

就像下面的示例所演示的：

package com.cy.polymorphism;

// Direct field access is determined at compile time.
class Super {
  public int field = 0;
  public int getField() { return field; }
}

class Sub extends Super {
  public int field = 1;
  public int getField() { return field; }
  public int getSuperField() { return super.field; }
}

public class FieldAccess {
  public static void main(String[] args) {
    Super sup = new Sub(); // Upcast
    System.out.println("sup.field = " + sup.field +", sup.getField() = " + sup.getField());
    
    Sub sub = new Sub();
    System.out.println("sub.field = " + sub.field + ", sub.getField() = " +
      sub.getField() +", sub.getSuperField() = " + sub.getSuperField());
  }
} 
/* Output:
sup.field = 0, sup.getField() = 1
sub.field = 1, sub.getField() = 1, sub.getSuperField() = 0
*///:~

View Code

当Sub对象转型为Super引用肘，任何域访问操作都将由编译器解析，因此不是多态的。在

本例中，为Super.field和Sub.fleld分配了不同的存储空间。这样， Sub实际上包含两个称为fleld

的域:它自己的和它从Super处得到的.然而，在引用Sub中的field时所产生的默认域并非Super

版本的field域。因此，为了得到Super.field ，必须显式地指明super.field .

尽管这看起来好像会成为一个容易令人棍淆的问题，但是在实践中，它实际上从来不会发

生.首先，你通常会将所有的域都设置成private，因此不能直接访问它们，其副作用是只能调

用方法来访问.另外，你可能不会对基类中的域和导出类中的域赋予相同的名字，因为这种做

法容易令人混淆。

如果某个方法是静态的，它的行为就不具有多态性:

package com.cy.polymorphism;

// Static methods are not polymorphic.
class StaticSuper {
  public static String staticGet() {
    return "Base staticGet()";
  }
  public String dynamicGet() {
    return "Base dynamicGet()";
  }
}

class StaticSub extends StaticSuper {
  public static String staticGet() {
    return "Derived staticGet()";
  }
  public String dynamicGet() {
    return "Derived dynamicGet()";
  }
}

public class StaticPolymorphism {
  public static void main(String[] args) {
    StaticSuper sup = new StaticSub(); // Upcast
    System.out.println(sup.staticGet());
    System.out.println(sup.dynamicGet());
  }
} 
/* Output:
Base staticGet()
Derived dynamicGet()
*///:~

View Code

静态方法是与类，而并非与单个的对象相关联的。