think in java笔记1-上溯造型，动态绑定

在java中的继承有一个上溯造型

如有一个类名为shape的基类有draw(),erase(),move(),getColor(),setColor()方法，

子类有circle，square，Triangle

eg.

void doStuff(Shape s){
s.erase();
//...
s.draw();
}

这个函数可与任何“shape”通信，所以完全独立于他要draw和erase的任何特定类型的对象，

如果我们要在其他一些程序里使用dostuff()函数：

Circle c=new Circle();
Triangle t=new Triangle();
Line l=new Line();
doStuff(c);
doStuff(t);
doStuff(l);

这种是上溯造型技术，可以避免去查找准确类型.，在这里相当于说你是一种几何形状，我知道你能

将自己erase()，请让自己采取那个行动，并自己去控制所有的细节.

上述代码也体现了动态绑定的思想，java编译器在为diStuff()编译代码时，它并不知道自己要操作的准确类型

是什么，尽管我们确实可以保证最终会为Shape调用erase()，调用draw()，但并不能保证circle，square或者line调用什么，

程序是这样做的，将一条消息发给对象时，如果不知道对象的具体类型，但采取的行动同样是正确的，这种情况叫做多形性

对面向对象的语言，它们用以实现多形性的方法叫做"动态绑定"编译期和运行期系统会负责对所有细节控制

设计程序一般都希望基础类只为自己的衍生类提供一个借口，也就是说，不想其他任何人实际创建基础类的一个对象

，只对上溯造型成它，以便使用他们的接口，未达到这个目的，需要把那个类变成抽象，这样别人创建对象的时候

编译器就会阻止他们，