JAVA-基础-泛型

使用集合时，必须明确集合中元素的类型。这种方式称为：泛型。

 定义格式：修饰符 class 类名<代表泛型的变量> { }

创建对象时 确定泛型的类型

例如，ArrayList<String> list = new ArrayList<String>();

此时，变量E的值就是String类型

class ArrayList<String>{
public boolean add(String e){ }
    public String get(int index){ }
}

例如，ArrayList<Integer> list = new ArrayList<Integer>();

此时，变量E的值就是Integer类型

class ArrayList<Integer>{
public boolean add(Integer e){ }
    public Integer get(int index){ }
}

  含有泛型的方法

定义格式：修饰符 <代表泛型的变量> 返回值类型 方法名(参数){ }

例如，API中的ArrayList集合中的方法：

public <T> T[] toArray(T[] a){ }

//该方法，用来把集合元素存储到指定数据类型的数组中，返回已存储集合元素的数组

使用格式：调用方法时，确定泛型的类型

例如

ArrayList<String> list = new ArrayList<String>();

String[] arr = new String[100];

String[] result = list.toArray(arr);

此时，变量T的值就是String类型。变量T，可以与定义集合的泛型不同

public <String> String[] toArray(String[] a){

 

例如

ArrayList<String> list = new ArrayList<String>();

Integer[] arr = new Integer[100];

Integer [] result = list.toArray(arr);

此时，变量T的值就是Integer类型。变量T，可以与定义集合的泛型不同

public <Integer> Integer[] toArray(Integer[] a){ }

  含有泛型的接口

  定义格式：修饰符 interface接口名<代表泛型的变量> { }

例如，API中的Iterator迭代器接口

public interface Iterator<E> {

    public abstract E next();

}

    

使用格式：

定义类时确定泛型的类型

例如

public final class Scanner implements Iterator<String> {

public String next(){ }

}

此时，变量E的值就是String类型。

 

始终不确定泛型的类型，直到创建对象时，确定泛型的类型

例如

ArrayList<String> list = new ArrayList<String>();

Iterator<String> it = list.iterator();

此时，变量E的值就是String类型。

public interface Iterator<String> {

    public abstract String next();

}

   使用泛型的好处

将运行时期的ClassCastException，转移到了编译时期变成了编译失败。

避免了类型强转的麻烦。

public class GenericDemo {
    public static void main(String[] args) {
        List<String> list = new ArrayList<String>();
        list.add("abc");
        list.add("itcast");
        //list.add(5);//当集合明确类型后，存放类型不一致就会编译报错
        //集合已经明确具体存放的元素类型，那么在使用迭代器的时候，迭代器也同样会知道具体遍历元素类型
        Iterator<String> it = list.iterator();
        while(it.hasNext()){
    String str = it.next();
//当使用Iterator<String>控制元素类型后，就不需要强转了。获取到的元素直接就是String类型
            System.out.println(str.length());
        }
    }
}

  泛型通配符

泛型是在限定数据类型，当在集合或者其他地方使用到泛型后，那么这时一旦明确泛型的数据类型，那么在使用的时候只能给其传递和数据类型匹配的类型，否则就会报错。

当使用泛型类或者接口时，传递的数据中，泛型类型不确定，可以通过通配符<?>表示。但是一旦使用泛型的通配符后，

只能使用Object类中的共性方法，集合中元素自身方法无法使用。

 泛型限定

限定泛型的上限：

格式：? extends E

? 代表接收E类型或者E的子类型的元素

例如，泛型限定为：? extends Person

则 ? 代表接收Person类型或者Person子类型的元素

限定泛型的下限：

格式：? super E

? 代表接收E类型或者E的父类型的元素

例如，泛型限定为：? super Student

则 ? 代表接收Student类型或者Student父类型的元素