Java集合-泛型

一、泛型

1.1、泛型概述

• 泛型：是 JDK5 中引入的特性，它提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型，它的本质是参数化类型，也就是说所操纵的数据类型被指定为一个参数。
• 参数类型：将类型由原来的具体的类型参数化，然后在使用/调用时传入具体的类型。

1.2、泛型的好处

• 让集合存储单一数据类型。
• 避免了 Object 向下强转。

1.3、泛型类

1.3.1、泛型类定义格式

• 定义格式：
  • 修饰符 class 类名<类型>{ }
• 参数：
  • <类型>：指定一种类型的格式。这里的类型可以看成是形参
  • <类型1,类型2>：指定多种类型的格式，多种类型之间用逗号隔开。
  • 将来具体调用时候给定的类型可以看成是实参，并且实参的类型只能是引用数据类型。

1.3.2、泛型类的使用

// 泛型类
public class Student<T> {
    private T t;

    public Student() {    }

    public Student(T t) { this.t = t; }

    public T getT() {
        return t;
    }

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

public static void main(String[] args) {
  // 指定泛型存储 String 类型
  Student<String> st = new Student<>();
  st.setT("王祖贤");
  System.out.println(st.getT());

  // 指定泛型存储 Integer 类型
  Student<Integer> it = new Student<>();
  it.setT(12);
  System.out.println(it.getT());
}

1.4、泛型方法

1.4.1、泛型方法定义格式

• 格式：
  • 修饰符 <类型> 返回值类型 方法名(类型 变量名)

1.4.2、泛型方法的使用

// 泛型方法
public class Student{
  public <T> void show(T t){
    System.out.println(t);
  }
}

// 测试类
public static void main(String[] args) {
  Student st = new Student();
  st.show("林青霞");
  st.show(30);
  st.show(true);
}

1.5、泛型接口

1.5.1、泛型接口定义格式

• 格式：
  • 修饰符 interface 接口名<类型>{ }

1.5.2、泛型的使用

// 泛型接口
public interface Genenric<T>{
  void show(T t);
}

// 泛型接口实现类
public class Genenriclmp<T> implements Genenric<T> {
  @Override
  public void show(T t) {
    System.out.println(t);
  }
}

// 测试类
public static void main(String[] args) {

  Genenriclmp<String> g1 = new Genenriclmp<>();
  g1.show("林青霞");

  Genenriclmp<Integer> g2 = new Genenriclmp<>();
  g2.show(30);
}

1.6、类型通配符

• 为了表示各种泛型 List 的父类，可以使用类型通配符
  • 类型通配符：<?>
  • List<?>：表示元素类型未知的List，它的元素可以匹配任何的类型
• 类型通配符的上限：
  • 类型通配符上限：<? extends 类型>
  • List<? extends Number>：它表示的类型是Number或者其子类型
• 类型通配符的下限：
  • 类型通配符下限：<? super 类型>
  • List<? super Number>：它表示的类型是Number或者其父类型

// 类型通配符：<?>
List<?> list1 = new ArrayList<Object>();
List<?> list2 = new ArrayList<Number>();
List<?> list3 = new ArrayList<Integer>();

// 类型通配符上限：<? extends 类型>
List<? extends Number> list4 = new ArrayList<Object>(); // 报错
List<? extends Number> list5 = new ArrayList<Number>();
List<? extends Number> list6 = new ArrayList<Integer>();

// 类型通配符下限：<? super 类型>
List<? super Number> list7 = new ArrayList<Object>();
List<? super Number> list8 = new ArrayList<Number>();
List<? super Number> list9 = new ArrayList<Integer>();  // 报错

1.7、可变参数

1.7.1、可变参数定义格式

• 格式：
  • 修饰符 返回值类型 方法名(数据类型... 方法名){ }
• 注意：
  • 这里的变量其实是一个数组。
  • 如果一个方法有多个参数，包含可变参数，可变参数要放在最后

1.7.2、可变参数的使用

• Arrays 工具类中有一个静态方法：
  • public static <T> List<T> asList​(T... a)：返回由指定数组支持的固定大小的列表。
  • 返回的集合不能做增删操作，可以做修改操作。
• List 接口中有一个静态方法：
  • public static <E> List<E> of​(E... elements)：返回包含任意数量元素的不可变列表。
  • 此方法在 1.8.0_271 版本中被删除了。
• Set 接口中有一个静态方法：
  • static <E> Set<E> of​(E... elements)：返回一个包含任意数量元素的不可变集合。
  • 此方法在 1.8.0_271 版本中被删除了。

// public static <T> List<T> asList​(T... a)
    List<String> list = Arrays.asList("hello", "world", "java");
  // list.add("javaee"); //UnsupportedOperationException
  // list.remove("java"); //UnsupportedOperationException
    list.set(1,"javaee");
    System.out.println(list);