# 第四章第三节--1泛型 标签（空格分隔）： 廖雪峰 --- ## 为什么要使用泛型 例子:JDK提供的`ArrayList`,可以看做是一个可变的数组,其特点为比数组操作起来更方便.  在`ArrayList`的内容是使用一个`Object[]`数组来存放所有的数据,当不实用使用泛型直接来存储`String`类型的时候,在代码中需要进行强制转型,如下图所示,这样写代码的时候就很不方便,容易出现错误,在打印的时候也无法统一执行.  若为每种`Object`都单独的编写一个`ArrayList`,这样便不用强制转型.可是这样一来就需要对于每种不同的类型都重新构建一个`Arraylist`,JDK中原本的数据类型就有上千种,所以这种方法也是不可行的.  最好的思路便是重用一套代码,把数据类型作为参数的形式传递进去.这边是泛型的雏形了. 这样就可以实现编写一次代码,实现各种类型的`ArrayList`.  ## 什么是泛型 泛型就是一种模版,例如`ArrayList<T>` - 在代码中为用到的类创建对应的`ArrayList<类型>`代码表示为`ArrayList<String> list = new ArrayList<String>()`; - 编译器将对这种类型做检测,`list.add("hello");list.add(123);//complie error.` ## 泛型的继承关系 `ArrayList<T>`实现的是`List<T>`接口,我们可以向上转型.  注意:`ArrayList`可以向上转型为`List`,不过`ArrayList<Integer>`不能向上转型为`ArrayList<Number>`/`List<Number>`  如果把`ArrayList<Integer>`向上转型为`ArrayList<Number>`,那么就可以添加`float`类型,如果添加`float`类型之后,打印的时候便又出现类型不能确定的问题,导致出错. ## 小节小结 - 泛型就是编写模版代码来适应任意类型.(把类型按照参数的形式传出去) - 不必对类型进行强制转换. - 编译器在添加的时候便对元素进行检查. - 注意泛型的继承关系.可以把`ArrayList<T>`向上转型为`List<T>`,不能把`ArrayList<T>`向上转为`ArrayList<T的父类>`或者`List<T的父类>`