【java基础】泛型是啥？有啥用？

上一篇博客中，我们讲解了集合，这篇我们讲讲泛型。那集合和泛型是什么关系呢？泛型是干嘛的呢？泛型怎么用呢？

WHAT

泛型，就是允许在定义类、接口、方法时使用类型形参，在声明变量、创建对象、调用方法时再传入实际的类型参数。像List代表了只能存放String类型的对象的List集合。在java中这样用：

//创建一个只能存放String类型的List集合
List<String> a=new ArrayList<>();

WHY

想知道为什么使用泛型，我们可以看看没有泛型之前，是怎么操作集合的。

public static void main（String[] args）{
  //定义集合
  Map map=new HashMap();
  //存入元素
  map.put("hello","你好");
  map.put("how are you","吃了没");
  //取出元素
  System.out.println((String) map.get("hello"));
  System.out.println((String) map.get("how are you")); 
}

因为集合是弱类型的，所以把对象放进集合时，没有进行检查，即使将一个int类型的数据放入String类型的集合中，在编译时期也不报错。只有在运行时才会爆出ClassCastException的异常。这是第一个不方便之处。注：【编译期：在eclipse中保存代码的那一刻。运行期：运行run，将代码启动起来】
在集合中取出元素后，如果要使用，还需对其进行类型转换，这是第二个不方便之处。
为了解决以上两个不方便之处，我们可以使用泛型。泛型能让集合“记住”其元素的数据类型，当存入不同类型的元素时，就会以“红波浪线”的形式报错。
下面我们将上述代码用泛型改写一下：

public static void main（String[] args）{
  //定义集合
  Map<String,String> map=new HashMap<>();
  //存入元素
  map.put("hello","你好");
  map.put("how are you","吃了没");
  //取出元素
  System.out.println( map.get("hello"));
  System.out.println(map.get("how are you")); 
}

所以，泛型的好处是：
• 能够在编译时检查类型安全
• 所有的强制转换都是自动和隐式的，取出代码后，不用再进行强制类型转换

使用

不光是在集合类中可以使用泛型，在自定义类，接口，方法中也能使用泛型。下面来举例在自定义类中怎么使用泛型。

public class Apple<T>
{
   //使用T类型定义实例变量
   private T info;
 
   public T getInfo(){
    return this.info;
   }
   public void setInfo(T info){
    this.info=info;
   }

  public static void main(String[] args){
   //传给T形参的是String，所以构造器参数只能是String
    Apple<String> a1=new Apple<>("苹果");
    System.out.println(a1.getInfo());
   
    //同理，传给T形参的是Double
    Apple<Double> a2=new Apple<>(5.67);
    System.out.println(a2.getInfo());
  }
}

类型通配符

类型通配符就是使用？代替具体的类型参数。例如List<?>在逻辑上是List,List等所有List<具体类型实参>的父类。

public class GenericTest {   
    public static void main(String[] args) {
        List<String> name = new ArrayList<String>();
        List<Integer> age = new ArrayList<Integer>();
        List<Number> number = new ArrayList<Number>();
        
        name.add("icon");
        age.add(18);
        number.add(314);
 
        getData(name);
        getData(age);
        getData(number);      
   }
 
    public static void getData(List<?> data) {
        System.out.println("data :" + data.get(0));
   }
}

（1）设定类型通配符的上限——父类

如果使用List<?>，表明这个list集合可以是任何泛型list的父类。如果只希望List<?>是某一类泛型List的父类，则可以使用类型通配符的上限这个语法。此处的“上限”指的是“父类”。

//定义类型通配符的上限
List<? extends Number>

• 具体使用思路

先定义Number的子类One、Two，然后就可以用<? extends Number>代表List <One>、List<Two>了。

• 特点

只能从集合中取元素，不能向集合中添加元素。因为java不允许把对象放进一个未知类型的集合中。

（2）设定类型通配符的下限——子类

为了支持类型型变。比如One是Number的子类，当程序需要一个A<? super Number>变量时，程序可以将A<One>、A<Object>赋值给A<? super Number>类型的变量。

//定义类型通配符的下限
List<? super Number>

• 特点

只能从集合中添加元素，如果是取出元素的话，元素都会被当成Object类型处理。