package
src;public
class A { public static void main(String[] args) {Circle1 c =
new Circle1();//可替换为Shape1 c = new Circle1();Square1 s =
new Square1();//可替换为Shape1 s = new Square1();doStuff(c);
doStuff(s);
}
public static void doStuff(Shape1 shape) {shape.move();
shape.stop();
}
}
class
Shape1 { void move() {}
void stop() {}
}
class
Circle1 extends Shape1 { void move() {System.
out.println("Circle moves");}
void stop() {System.
out.println("Circle stops");}
}
class
Square1 extends Shape1 { void move() {System.
out.println("Square moves");}
void stop() {System.
out.println("Square stops");}
}
我们先定义一个Shape1类，里面有两个方法，一个是move(), 一个是stop()。这两个方法什么也不做（抽象类和接口里会有类似的什么也不做的方法，不过这里不是重点）。然后定义两个继承自Shape1的类，Circle1和Square1。它们覆盖了Shape1中的move和stop方法，彼此不相同。这里，我只是简单的输出一些消息，以表示两个子类的方法内容并不相同而已。
然后需要注意的就是public static void doStuff方法了。注意它的参数，是一个Shape1类型的对象。在定义这个方法的时候，我们让它执行shape的move和stop方法，但是并没有说明到底是Circle1类还是Square1类。但是执行后在结果中会看到c执行了Circle1的方法，s执行了Square1的方法。这是如何做到的？其中涉及一个“动态绑定”的概念。“动态绑定”就是说在运行时刻才知道对象具体是哪一个类的，并不是在你写代码的时候就确定参数对象是哪一个类的。这是Java的一个特点，也是OOP的一个特点。
这里我们用到了向上转型，即将Shape1这个父类的一个对象提供给doStuff方法作为参数，而不是具体的Circle1或者Square1对象作为参数。这样，我们只需要创建Circle1和Square1对象，并将它们作为参数传给doStuff方法就可以了。因为Circle1和Square1继承自Shape1，所以，它们也可以被看成是Shape1类型的，doStuff就不会提示你参数类型不正确的信息，并且能够在运行时刻自动找到合适的方法来执行。这样，代码很明显简洁，不会出现繁琐冗长的样子。这就是向上转型的好处，当然还有动态绑定的作用在里面。
