java 泛型详解

一、泛型概述

• 泛型的介绍

​ 泛型是JDK5中引入的特性，它提供了编译时类型安全检测机制

• 泛型的好处

  1. 把运行时期的问题提前到了编译期间
  2. 避免了强制类型转换

• 泛型的定义格式

  • <类型>: 指定一种类型的格式.尖括号里面可以任意书写,一般只写一个字母.例如：<E>
  • <类型1,类型2…>: 指定多种类型的格式,多种类型之间用逗号隔开.例如: <E,T> <K,V>

 二、应用

1、泛型类

• 定义格式

修饰符 class 类名<类型> { }

示例代码 

public class Generic { 

    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }
}

2、泛型方法

• 定义格式

修饰符 <类型> 返回值类型 方法名(类型 变量名) { }

 示例代码

public class Generic { 
    public <T> void show(T t) { 
        System.out.println(t); 
    } 
}


public class GenericDemo2 { 
    public static void main(String[] args) {
        Generic g = new Generic();
        g.show("马云");
        g.show(30);
        g.show(true);
        g.show(12.34);
    } 
}

3、泛型接口

• 定义格式

修饰符 interface 接口名<类型> { }

示例代码

• 泛型接口

public interface Generic<T> { 
    void show(T t); 
}

• 泛型接口实现类1

​ 定义实现类时,定义和接口相同泛型,创建实现类对象时明确泛型的具体类型

public class GenericImpl1<T> implements Generic<T> { 
    @Override 
    public void show(T t) { 
        System.out.println(t); 
    } 
}

• 泛型接口实现类2

​ 定义实现类时,直接明确泛型的具体类型

public class GenericImpl2 implements Generic<Integer>{ 
    @Override 
    public void show(Integer t) { 
        System.out.println(t); 
    } 
}

 4、类型通配符

• 类型通配符: <?>

  • ArrayList<?>: 表示元素类型未知的ArrayList,它的元素可以匹配任何的类型
  • 但是并不能把元素添加到ArrayList中了,获取出来的也是父类类型

• 类型通配符上限: <? extends 类型>

  • ArrayList<? extends Number>: 它表示的类型是Number或者其子类型

• 类型通配符下限: <? super 类型>

  • ArrayList<? super Number>: 它表示的类型是Number或者其父类型

• 泛型通配符的使用

public class GenericDemo4 { 
    public static void main(String[] args) { 
        ArrayList list1 = new ArrayList<>(); 
        ArrayList list2 = new ArrayList<>(); 
        ArrayList list3 = new ArrayList<>(); 
        ArrayList list4 = new ArrayList<>();
        
        method(list1);
        method(list2);
        method(list3);
        method(list4);

        getElement1(list1);
        getElement1(list2);//报错
        getElement1(list3);
        getElement1(list4);//报错

        getElement2(list1);//报错
        getElement2(list2);//报错
        getElement2(list3);
        getElement2(list4);
  }

  // 泛型通配符: 此时的泛型?,可以是任意类型
  public static void method(ArrayList<?> list){}

  // 泛型的上限: 此时的泛型?,必须是Number类型或者Number类型的子类
  public static void getElement1(ArrayList<? extends Number> list){}

  // 泛型的下限: 此时的泛型?,必须是Number类型或者Number类型的父类
  public static void getElement2(ArrayList<? super Number> list){}
}