学习上溯造型和下溯造型 【转载一篇】

题按：做了几年的java程序，却很难说对基本的OO概念都有理解。即便每天都写的代码中，也很难说清楚其中到底运用了怎样的概念和思想。前日的考试中看到关于上溯造型与下溯造型的问题，就查了些资料，集中说一下吧。

        先给出个例子，代码如下：


package  casting;
public   abstract   class  Animal {
     public   abstract   void  speak();
     public   void  eat(){
         // 闷头吃，不做额外的事情
    }
}   




package  casting;

public   interface  DoorGod {
     void  guard();
}


package  casting;

public   class  Cat  extends  Animal {

    @Override
     public   void  eat() {
         try  {
            Thread.sleep( 1000 );
        }  catch  (InterruptedException e) {
            e.printStackTrace();
        }
         super .eat();
    }

    @Override
     public   void  speak() {
        System.out.println( " 喵喵 " );
    }

}



package  casting;

public   class  Dog  extends  Animal  implements  DoorGod{

    @Override
     public   void  speak() {
        System.out.println( " 汪汪 " );
    }

     public   void  guard() {
         while ( true ){
            System.out.println( " 汪汪 " );
        }
    }
   
}

    其中Animal为基类，定义speak和eat方法，eat方法给出了空实现； DoorGod为门神接口，定义了 guard方法来守护家门； Cat为继承Animal的子类，这里假定猫有挑食的习惯，在eat中要耽搁点时间看看伙食；Dog也为继承Animal的子类，同时它实现了DoorGod接口来守护家门。

        先说说上溯造型(upcasting)。这个术语缘于继承关系图的传统画法：将基类至于顶部，而向下发展的就是派生类。根据上面的sample，我给出下面的一个小应用：



package casting;

public class Main {

    public static void upcasting(Animal animal){
        animal.speak();
        animal.eat();
    }
    public static void main(String[] args) {
        Animal dog1 = new Dog();
        upcasting(dog1);
        
        Dog dog2 = new Dog();
        upcasting(dog2);
    }

}
   由于upcasting(Animal animal)方法的参数是 Animal类型的，因此如果传入的参数是 Animal的子类，传入的参数就会被转换成父类Animal类型，这样你创建的Dog对象能使用的方法只是Animal中的签名方法；也就是说，在上溯的过程中，Dog的接口变窄了，它本身的一些方法（例如实现了 DoorGod的guard方法）就不可见了。如果你想使用Dog中存在而Animal中不存在的方法（比如guard方法），编译时不能通过的。由此可见，上溯造型是安全的类型转换。另一方面，虽然upcasting(Animal animal)方法的参数是 Animal类型，但传入的参数可以是Animal的派生类（这也是OO编程中惯用的编程方法），这里面就有个对象的类型识别问题，也就是运行时类型识别(run-time type identification，缩写为RTTI) ，这也可以单独写一篇文章了，《Thinking in Java》中的第10章详细地阐述了RTTI。

        相对于类型转换安全的上溯造型，下溯造型就未必是安全的了。我们经常会做些强制类型转换的事情，有时我们也会无意间遇到 ClassCastException的转换异常（从这一点来说，我们应该多用范型来避免不安全的类型转换）。例如：




public static void downcasting(Animal animal){
        //DoorGod doorGod = (DoorGod)animal;
        if(animal instanceof DoorGod){
            DoorGod doorGod = (DoorGod)animal;
            doorGod.guard();
        }
        if(animal instanceof Cat){
            Cat cat = (Cat)animal;
            cat.speak();
        }

}     
     如果没有采取措施（上面使用的措施是instanceof）判断对象的类型，那么向下的强制转换就是不安全的。这种转换错误在编译时是不能检测出来的，只有在运行时才会抛出 ClassCastException异常，对于测试来说，这样的错误也是很难检测的。
总的来说，上溯造型与下溯造型概念上还是很简单的。但即便最简单的东西，我们也有可能犯下错误。用了那么多的框架后，回头看看基础知识，发现自己的根基并不是想象中的牢固阿。

注：本文参考了《Thinking in Java》，这本书真需要细细品味啊！