RTTI的机制和容器学习心得
RTTI是所谓的运行时刻类型识别，它是OOP一个很重要的特性。我们知道，OOP编程中，派生类对象可以看作是一个基类对象，这种方式被成为UpCasting，即向上转型，这种转型是绝对安全的，其暗藏的机制在于，派生类对象中隐藏了一个基类对象，而这种绝对安全的转型方式，给我们带来了一个“多态”的好处：我们可以使用一个统一的接口来管理一个基类下面的不同派生类。在AO编程中，我们常常将一个函数的参数类型尽量放大，使得它的运行足够安全，例如Public function ConvertGeo(IGeometry pGeo)As IGeometry，哪怕这个方法只有处理Polygon的代码，却选择了传入一个IGeometry的参数。
当我们使用IGeometry的参数，这样避免了在将来改动这个函数的时候的许多麻烦，例如如果这个函数将来还可以处理Point、Polyline等类型对象，我们就不用修改函数的参数，因为无论是点、多义线还是多边形，都是IGeoemtry的一种，都可以看作是一种IGeometry。统一的接口解决了以后，我们再来看函数内部的情况。
处理Point和Polygon对象是不同的代码，那么，如何识别我们传入的对象是IPoint还是IPolygon呢？在VB中，我们使用的是TypeOf函数，如：
if TypeOf pGeo Is IPolygon then
......
这就是RTTI，即我们只有在程序的运行时刻才能识别我们传入的对象的具体类型，pGeo是以基类的身份传入的，但在具体处理的时候，我们需要识别它的具体身份才能具体处理。在java中也拥有类似的函数instanceof，意义是一样的，如对象obj是CClass的一个对象，即为：
if(obj instanceof CClass)
除此以外，java中还专门有个类Class，包含许多静态方法来帮助开发者获得一个对象在运行时刻的类型信息。
public static void main(String[] args) {
// TODO Auto-generated method stub
//以基类接口定义，
CFather cs1=new CSon1();
CFather cs2=new CSon2();
//将两个对象装入Object数组
Object[] arrs=new Object[2];
arrs[0]=cs1;
arrs[1]=cs2;
//下面的代码给arrs数组中的每个对象都产生一个类型信息记录对象，它是一个Class数组
Class[] types=new Class[arrs.length];
for(int i=0;i<arrs.length;i++){
types[i]=arrs[i].getClass();
}
for(int i=types.length-1;i>=0;i--){
/**if(arrs[i] instanceof CSon1){
System.out.println("cson1");
}else if(arrs[i] instanceof CSon2){
System.out.println("cson2");
}*/
for(int j=arrs.length-1;j>=0;j--){
//types[i]是Class对象，它有一个静态方法isInstance，用于判断对象arrs[j]是否为它的对象
if(types[i].isInstance(arrs[j])){
System.out.println(((Class)types[i]).getName());
}
}
}
}
当然，我们一般的代码是绝对没有这么麻烦的，我们不需要这么复杂来使用Class类来进行RTTI和反射，用instanceof就够了。但在另一种情况，即集合Collection中，RTTI的使用就普遍了。
java的容器是一个一般化的对象存放器，为了实现这种一般化的处理，容器，无论是collection还是map，都是使用object类型的参数。这样我们就面临下面的情况：
public static void main(String[] args) {
// TODO Auto-generated method stub
//构造一个ArrayList集合
Collection col=new ArrayList();
//添加十个对象，它们分别属于两种不同的类型
for(int i=0;i<5;i++){
col.add(new CSon1());
col.add(new CSon2());
}
//使用迭代器取数据
Iterator it=col.iterator();
//遍历每个对象
while(it.hasNext()){
//取出当前对象
Object cf=it.next();
//判断它的具体类型
if (cf instanceof CSon1){
//如果是CSon1,则显式转换
((CSon1)cf).ToShout("11");
}else if(cf instanceof CSon2){
((CSon2)cf).ToShout("22");
}
}
}
这样做是为了能够明确地得到当前取出的对象是CSon1还是CSon2，但是，考虑下曾经学习过的多态，如果CSon1和CSon2是继承自同一个父类CFather，该函数还可以这样写出：
while(it.hasNext()){
//取出当前对象
Object cf=it.next();
((CFather)cf).ToShout("ok");
}
在这种情况下，cf对象会根据自己的具体类型，寻找自己的ToShout方法。
但是我们现在遇到了另一个情况，我需要做一个只能容纳String的容器，而不要一个简单的collection，后者可以容纳所有类型的对象。Java1.5实现了这个功能，即所谓的generic（泛型）。使用generic，写法如下：
Collection<CFather> col=new ArrayList<CFather>();
for(int i=0;i<5;i++){
col.add(new CSon());
col.add(new CDaught());
}
Iterator lt=col.iterator();
while(lt.hasNext()){
CFather obj=(CFather)lt.next();
obj.ToShout(obj.getClass().getName());
}
有一篇关于java5的网页：http://www.clanproductions.com/java5.html可以参考
Related Items
Comments
Leave a comment
Or, take a look at Archives and Categories
