题按：做了几年的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》，这本书真需要细细品味啊！