JAVA 多态（以及多态在数组和ArrayList中的体现）

多态意味着，你可以把一个dog，当做一个Dog，或者Animal，或者一个Object

Animal a=new Dog();

新建一个Dog类型的对象，用一个Animal的引用来指向它

但是我们不能用a.bark(),因为Animal类中没有bark()方法.

（ 换言之，Animal类型的引用a就像一个遥控器，没有bark()功能的键）

需要强制类型转化：

Dog b=(Dog) a;

b.bark();

引用，参数，返回值都可以是多态的

多态在数组和ArrayList上的表现：

①各子类的实例能同时存放在父类类型的数组中

如：Animal[ ] animals=(new Dog(),new Cat(),new Rabbit);

//Dog Cat Rabbit 都是Animal的子类

②对于每个数组元素调用方法：

在这边举一个例子：

这是定义的三个类：（Animal Dog Cat里面都有方法eat()）

声明：

Dog d=new Dog();

Cat c=new Cat(); 

Animal[ ] animals={d,c};

对每个Animal[ ]中的元素调用eat():

  结果显示，调用的是Dog和Cat各自的eat()，而非Animal的eat():

但是如果Animal中没有eat();

(把Animal中的eat()方法注释掉)

编译器会报错：（需要强制类型转化Animal--->Dog）

(不免让人想起很多的以前的例子，强制类型转化来调用父类所没有的功能)

③ArrayList<T> 的多态

.基本跟Array数组是一样的

不一样的地方：

这样的以ArrayList<Animal>为参数类型的方法，不能传入ArrayList<Dog> 这样的参数

//Dog extends Animal

（如果参数类型是Animal[ ] 那么可以传入Dog[ ]）

为什么会这样呢？

①为什么ArrayList不行：

因为如果写了这样一个方法：

而传入的是一个ArrayList<Dog>，那就会在狗群里面混入一只猫，这是编译器不允许的

②为什么数组行

因为数组的类型是在运行期间检查（JAVA虚拟机来报错），但集合的类型检查只会发生编译期间（编译器来报错）

③解决方案

public void takeThing(ArrayList<? extends Animal> list){}

或者

public <T extends Animal> void takeThing(ArrayList<T> list){}

二者是等价的

详见java 泛型： http://blog.163.com/it_novice/blog/static/20918306920133885429926/

解决问题的原因：add(new Cat())这类方法直接不被允许了，编译器会禁止向集合添加对象。

这样一来，就能传入很多子类型的ArrayList了

 

④下图要表达的意思：

   可以说狗是动物，但不能说动物是狗

   ArrayList前后都要一样