上溯造型和下溯造型
public class Animal {public void speak(){}}public class Dog extends Animal{@Overridepublic void speak() {System.out.println("汪汪汪。。。");}public void tail(){System.out.println("摇尾巴...");}}public class MyTest {public static void main(String[] args) {Dog dog=new Dog();upcasting(dog);} public static void upcasting(Animal animal){ animal.speak(); } }
?输出:汪汪汪。。。
?
上溯造型(upcasting)。这个术语缘于继承关系图的传统画法:将基类至于顶部,而向下发展的就是派生类。由于upcasting(Animal animal)方法的参数是 Animal类型的,因此如果传入的参数是 Animal的子类,传入的参数就会被转换成父类Animal类型,这样你创建的Dog对象能使用的方法只是Animal中的签名方法;也就是说,在上溯的过程中,Dog的接口变窄了,它本身的一些方法(例如tail方法)就不可见了。如果你想使用Dog中存在而Animal中不存在的方法(比如tail方法),编译时不能通过的。由此可见,上溯造型是安全的类型转换。另一方面,虽然upcasting(Animal animal)方法的参数是 Animal类型,但传入的参数可以是Animal的派生类(这也是OO编程中惯用的编程方法),这里面就有个对象的类型识别问题,也就是运行时类型识别(run-time type identification,缩写为RTTI) 。RTTI的功能主要是由Class类实现的。
?
为什么要使用上溯造型:就上面的例子来说,对于upcasting方法,接受的参数是Animal类型的,如果设置成参数是Dog类型的,这也是可以的,但是这会导致一个问题,加入我们要弄个Cat类,让它也能使用upcasting方法,这势必要我们再重新写一个upcasting(Cat cat)方法,这样会我们的编码量变得很大,而且修改起来也不方便。如果使用上溯造型,那么我们只需要一个upcasting(Animal)就能让所有Animal的派生类都使用。
?
?
相对于类型转换安全的上溯造型,下溯造型就未必是安全的了。我们经常会做些强制类型转换的事情,有时我们也会无意间遇到 ClassCastException的转换异常(从这一点来说,我们应该多用范型来避免不安全的类型转换)。例如:
public static void downcasting(Animal animal){ if(animal instanceof Dog){ Dog dog=(Dog)animal; dog.speak(); dog.tail(); } }
?
?
如果没有采取措施(上面使用的措施是instanceof)判断对象的类型,那么向下的强制转换就是不安全的。这种转换错误在编译时是不能检测出来的,只有在运行时才会抛出 ClassCastException异常,对于测试来说,这样的错误也是很难检测的。