Java 类型转换与分发
向上自动，向下强制。
向上转型与向下转型
- 向上转型：Animal a = new Cat(); 自动完成
- a 只能调父类有的方法，实际执行子类版本
- 向下转型：Cat c = (Cat)a; 需强制转换
- 转回子类后才能调用 Cat 特有的 work()
show 方法分发
- show(Animal a) 统一接收父类引用
- 内部用 instanceof 判断真实类型
- 是 Cat 就转成 Cat 调 work，是 Dog 就转成 Dog 调 work
向上自动，向下强制。