java下溯造型与运行期典范标识[Java编程]

由于我们在上溯造型（在担当构造中向上移动）期间丧失了具体的范例信息,所认为了获得具体的范例信息——亦即在分级构造中向下移动——我们必须利用 “下溯造型”技术.但是,我们知道一个上溯造型必定是安全的;底子类不大概再拥有一个比衍生类更大的接口.因此,我们通过底子类接口发送的每一条消息都必定可以接纳到.但在举行下溯造型的时刻,我们（举个例子来说）并不真的知道一个多少形状实际是一个圆,它完好大概是一个三角形、方形大概其他形状.

为办理这个问题,必须有一种办法可以保证下溯造型精确举行.只有这样,我们才不会冒然造型成一种错误的范例,然后发出一条对象不大概收到的消息.这样做是非常不安全的.
在某些语言中（如C++）,为了举行保证“范例安全”的下溯造型,必须采纳特别的操作.但在Java中,全部造型城市自动得到查抄和核实!所以即便我们只是举行一次普通的括弧造型,进入运行期今后,仍旧会毫无包涵地对这个造型举行查抄,保证它的确是我们但愿的那种范例.假如不是,就会得到一个ClassCastException（类造型违例）.在运行期间对范例举行查抄的行为叫作“运行期范例标识”（RTTI）.下面这个例子向大家演示了RTTI的行为:

//: RTTI.java
// Downcasting & Run-Time Type
// Identification (RTTI)
import java.util.*;

class Useful {
  public void f() {}
  public void g() {}
}

class MoreUseful extends Useful {
  public void f() {}
  public void g() {}
  public void u() {}
  public void v() {}
  public void w() {}
}

public class RTTI {
  public static void main(String[] args) {
    Useful[] x = {
      new Useful(),
      new MoreUseful()
    };
    x[0].f();
    x[1].g();
    // Compile-time: method not found in Useful:
    //! x[1].u();
    ((MoreUseful)x[1]).u(); // Downcast/RTTI
    ((MoreUseful)x[0]).u(); // Exception thrown
  }
} ///:~