在java中产生切确的行为[Java编程]

知道Java里绑定的全部办法都通过后期绑定具有多形性今后,便可以呼应地编写自己的代码,令其与底子类沟通.此时,全部的衍生类都保证能用相同的代码正常地工作.大概换用另一种办法,我们可以“将一条消息发给一个对象,让对象自行判断要做什么事情.”

在面向对象的程序计划中,有一个经典的“形状”例子.由于它很简单用可视化的情势表现出来,所以常常都用它阐明问题.但很不幸的是,它大概误导初学者认为OOP只是为图形化编程计划的,这种熟习当然是错误的.

形状例子有一个底子类,名为Shape;别的还有大量衍生范例:Circle（圆形）,Square（方形）,Triangle（三角形）等等.大家之所以喜好这个例子,因为很简单理解“圆属于形状的一种范例”等概念.下面这幅担当图向我们展示了它们的关系:

上溯造型可用下面这个语句简单地表现出来:

Shape s = new Circle();

在这里,我们成立了Circle对象,并将后果句柄当即赋给一个Shape.这表面看起来仿佛属于错误操作（将一种范例分配给另一个）,但实际是完好可行的——因为按照担当关系,Circle属于Shape的一种.因此编译器承认上述语句,不会向我们提醒一条出错消息.
当我们调用此中一个底子类办法时（已在衍生类里覆盖）:
s.draw();
一样地,大家大概认为会调用Shape的draw(),因为这毕竟是一个Shape句柄.那么编译器怎样才能知道该做其他任何事情呢?但此时实际调用的是Circle.draw(),因为后期绑定已经参与（多形性）.
下面这个例子从一个略微差别的角度阐明了问题:

//: Shapes.java
// Polymorphism in Java

class Shape { 
  void draw() {}
  void erase() {} 
}

class Circle extends Shape {
  void draw() { 
    System.out.println("Circle.draw()"); 
  }
  void erase() { 
    System.out.println("Circle.erase()"); 
  }
}

class Square extends Shape {
  void draw() { 
    System.out.println("Square.draw()"); 
  }
  void erase() { 
    System.out.println("Square.erase()"); 
  }
}

class Triangle extends Shape {
  void draw() { 
    System.out.println("Triangle.draw()"); 
  }
  void erase() { 
    System.out.println("Triangle.erase()");
  }
}

public class Shapes {
  public static Shape randShape() {
    switch((int)(Math.random() * 3)) {
      default: // To quiet the compiler
      case 0: return new Circle();
      case 1: return new Square();
      case 2: return new Triangle();
    }
  }
  public static void main(String[] args) {
    Shape[] s = new Shape[9];
    // Fill up the array with shapes:
    for(int i = 0; i < s.length; i++)
      s[i] = randShape();
    // Make polymorphic method calls:
    for(int i = 0; i < s.length; i++)
      s[i].draw();
  }
} ///:~

Circle.draw()
Triangle.draw()
Circle.draw()
Circle.draw()
Circle.draw()
Square.draw()
Triangle.draw()
Square.draw()
Square.draw()