Java动态绑定机制详解

java动态绑定机制详解  
动态绑定意思是目前正在调用的方法正是最适用于要操作对象的那个方法。为了执行动态绑定，java使用一小段特殊的代码来替代绝对地址的调用，这样，根据这段代码的内容
，每个对象都可以具有不同的行为表现。当向一个对象发送消息时，该对象就能够知道这条消息应该做些什么。
举个例子;

首先创建一个父类Shape，方法有draw（）、erase（）、move（）、getColor（）和setColor（），子类Circle（）、Square（）和Triangle（）分别继承父类的draw（）和erase（）方法。编写一个方法：
void doSomething(Shape shape) {
Shape.erase();
//...
Shape.draw();
}
这个方法可以与任何Shape（即Circle、Square和Triangle）对话，因此它是独立于任何它要draw和erase的对象的具体类，如果程序中其他部分调用dosomething()方法：
Circle circle = new Circle();
Triangle triangle = new Triangle();

Square square = new Square();

doSomething(circle);
doSomething( triangle);

doSomething( square);

对doSomething()的调用会自动地调用相应的类。如：
Circle可以被doSomething()看做Shape，Shape.erase()并不是说“如果是Circle，请这么做；如果是Squre，请那么做”。如果编写了那种检查Shape所有实际可能的子类的代码，那么这段代码肯定杂乱不堪，则例要表达的仅仅是“你是一个Shape,我知道你可以erase你自己，那么去做吧，但是要注意细节的正确性。”
这里是把子类作为参数传入到doSomething()，然后调用里面的方法。调用Circle的draw()和调用Squre的draw()方法所执行的代码是不同的，即所谓的多态就出现了。
当Java编译器在编译doSomething()的代码时，并不能确切知道doSomething()要处理的确切的子类，所以通常会期望它的编译结果是调用父类Shape的erase()和draw()方法，而不是子类的方法。

本文绝大部分参考《Java编程思想》。