无标题文档
Polymorphism
多态(polymorphism)也被称为动态绑定『dynamic binding』、后绑定『late binding』或运行时绑定『run-time bingding』。
它的意思是要在程序运行的时候，根据对象的类型来决定该绑定哪个方法。多态性是继数据抽象和继承之后的，面向对象的编程语言的第三个基本特性。
绑定(binding): 将方法的调用连到方法本身
前绑定(early binding): 当绑定发生在程序运行之前时(就是由编译器或连接器负责)
后绑定(late binding): 在程序运行的时候，根据对象的类型来决定该绑定哪个方法。
“封装”(encapsulation)通过将数据的特征(characteristics)与行为(behavior)结合在一起，创建了一种新的数据类型。
“隐藏实现”(Implementation hiding)通过将细节设成private，完成了接口与实现的分离。
“多态性”是站在“class”的角度来处理这种逻辑上的分离的。
Shape s = new Circle(); //upcasting: 将Circle对象upcast为Shape类型
s.draw();
Upcast(上传)就是把对象的reference 当作基类的reference 来用.(注：java内部是知道对象属于什么类型的)
因为Derived class is a type of base class, 所以基类的reference (Shape s)能接受派生类(circle)的对象
upcast以后，基类reference 调用的都是基类自己的method (late binding),
除非这个method是late-bound的，也就是派生类覆写（override)了这个method， 才会根据对象类型选择相应的method(多态性）.
以上面的代码为例：s是Shape类型的reference, 除非draw()是一个动态绑定的method（派生类circle覆写了这个draw()），
s.draw()才会调用cicle的draw()， 否则调用的都是基类Shape自己的method
private和final的method都会采用early-binding, 因为他们是不能被override的。(注：private 方法自动就是final 的）
建议别用基类的private method的名字去命名派生类的method。因为这样会让人误以为会override这个method,
实际上private自动就是final的，不能被override。
override(覆写) 表示在派生类里写一个"同样"的method。 就是重新写一遍这个method
(注：1."同样"表示：同名且参数列表和返回值也相同。 2.method必须是非final, 非private的(private 方法自动就是final 的) )
overload：除了"同样"的method(即override) 以外的同名method.
当你想要通过一个公共的接口来操控一组类的时候，就可以使用抽象类了。通过动态绑定机制，那些符合方法特征的派生类方法将会得到调用。
abstract class {}
抽象类的方法可以使abstract的，也可以是非abstract。派生类继承了一个abstract类，那他要么实现所有的abstract的method，要么把自己也变成abstract的。
//: c07:PolyConstructors.java
// Constructors and polymorphism
// don't produce what you might expect.
import com.bruceeckel.simpletest.*;
abstract class Glyph {
abstract void draw();
Glyph() {
System.out.println("Glyph() before draw()");
draw();//如果你new一个派生类对象，并且在基类构造函数里面调用了动态绑定的方法，
//那么它会使用那个派生类覆写后的版本。
System.out.println("Glyph() after draw()");
}
}
class RoundGlyph extends Glyph {
private int radius = 1;
RoundGlyph(int r) {
radius = r;
System.out.println(
"RoundGlyph.RoundGlyph(), radius = " + radius);
}
void draw() {
System.out.println(
"RoundGlyph.draw(), radius = " + radius);
}
}
public class PolyConstructors {
private static Test monitor = new Test();
public static void main(String[] args) {
new RoundGlyph(5);
monitor.expect(new String[] {
"Glyph() before draw()",
"RoundGlyph.draw(), radius = 0",
"Glyph() after draw()",
"RoundGlyph.RoundGlyph(), radius = 5"
});
}
} ///:~
如果你new一个派生类对象，并且在基类构造函数里面调用了动态绑定的方法，那么它会使用那个派生类覆写后的版本。
真正的初始化过程是这样的：
1. 在进行其它工作之前，分配给这个对象的内存会先被初始化为两进制的零。
2. 正如前面一直在所说的，先调用基类的构造函数。这时会调用被覆写的draw( )方法(是的，在调用RoundGlyph 的构造函数之前调用)，
这时它发现，由于受第一步的影响，radius 的值还是零。
3. 数据成员按照它们声明的顺序进行初始化。
4. 调用派生类的构造函数的正文。
一个好的构造函数应该: 用最少的工作量把对象的状态(fields)设置好，而且要尽可能地避免去调用方法。
构造函数唯一能安全调用的方法，就是基类的final/private 方法。它们不会被覆写，因此也不会产生这种意外的行为。
一旦理解了多态性，你就会觉得所有东西应该都是继承下来的，因为多态性实在是太聪明了。但是这样做会加重设计的负担。
实际上，如果你一遇到“要用已有的类来创建新类”的情况就想到要用继承的话，事情就会毫无必要地变得复杂起来了。
较好的办法还是先考虑合成，特别是当你不知道该继承哪个类的时候。合成并不强求你把设计搞成一个类系。
此外它还更灵活，因为使用合成的时候，你可以动态地选择成员的类型(以及它们的行为)，而使用继承的话，
就得在编译时指明对象的确切类型。下面这段程序就演示了这一点：
//: c07:Transmogrify.java
// Dynamically changing the behavior of an object
// via composition (the "State" design pattern).
import com.bruceeckel.simpletest.*;
abstract class Actor {
public abstract void act();
}
class HappyActor extends Actor {
public void act() {
System.out.println("HappyActor");
}
}
class SadActor extends Actor {
public void act() {
System.out.println("SadActor");
}
}
class Stage {
private Actor actor = new HappyActor();
public void change() { actor = new SadActor(); }
public void performPlay() { actor.act(); }
}
public class Transmogrify {
private static Test monitor = new Test();
public static void main(String[] args) {
Stage stage = new Stage();
stage.performPlay();
stage.change();
stage.performPlay();
monitor.expect(new String[] {
"HappyActor",
"SadActor"
});
}
} ///:~
有一条一般准则“使用继承来表示行为的不同，而用成员数据来表示状态的不同”。上述例程同时体现这两者；两个派生类用来表示act()方法的不同，
而Stage则使用合成来表示状态的变化。在这种情况下，状态的不同会导致行为的不同。
下传(Downcast)：把基类重新转回具体的派生类类型，使得reference可以调用派生类的extended接口
Java 类型传递都要经过检查！所以，尽管看上去只是用一对括号作了些普通的的类型转换，但是运行的时候，系统会对这些转换作检查，
以确保
它确实是你想要转换的类型。如果不是，你就会得到一个ClassCastException。这种运行时的类型检查被称为“运行时的类型
鉴别(run-time type identification 缩写为RTTI)”。
