Java基础---泛型

泛型

概述：

泛型是一种未知的数据类型，当我们不知道使用什么数据类型的时候，可以使用泛型。

泛型可以看出是一个变量，用来接收数据类型

E e:Element元素

T t:Type 类型

ArrayList集合在定义的时候，不知道集合中都存储什么类型的数据，所以使用泛型。E:未知的数据类型

使用泛型的好处：

当创建集合对象，不使用泛型时：

好处：集合不使用泛型，默认为Object类型，可以存储任意类型的数据

弊端：不安全，容易引发异常

创建集合对象，使用泛型

好处：1、避免了类型转换的麻烦，存储什么类型，取出的就是什么类型

2、把运行期异常（代码运行后抛出的异常），提升到了编译期（写代码的时候会报错）

泛型的定义与使用

泛型的定义：

修饰符 class 类名<代表泛型的变量> {  }

例如，API中的ArrayList集合：

class ArrayList<E>{ 
    public boolean add(E e){ }

    public E get(int index){ }
   	....
}

使用泛型： 即什么时候确定泛型。

含有泛型的方法

定义含有泛型的方法：反省定义在方法的修饰符和返回值类型之间

格式：

修饰符 <泛型> 返回值类型 方法名(参数){  
    方法体
}

含有泛型的方法，在调用方法的时候确定泛型的数据类型

传递什么类型的参数，泛型就是什么类型

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

package com.itheima_Generic;
/*
* 定义一个泛型的方法和静态方法*/
public class GenericClass {
    public <S> void method1(S s){
        System.out.println(s);
    }
    
    //静态方法
    public static  <S> void method2(S s){
        System.out.println(s);
    }
}

package com.itheima_Generic;
/*测试类*/
public class GenericMethod {
    public static void main(String[] args) {
        GenericClass g=new GenericClass();
        /*调用方法时，传递什么类型的泛型就是什么类型的*/
        g.method1("aaa");
        g.method1(34);

        //使用静态方法
        GenericClass.method2("jjj");
        GenericClass.method2(999);
    }
}

含有泛型的接口

定义格式：

修饰符 interface接口名<代表泛型的变量> {  }

例如，

public interface MyGenericInterface<E>{
	public abstract void add(E e);
	
	public abstract E getE();  
}

使用格式：

1、定义类时确定泛型的类型

例如

public class MyImp1 implements MyGenericInterface<String> {
	@Override
    public void add(String e) {
        // 省略...
    }

	@Override
	public String getE() {
		return null;
	}
}

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

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

例如

public class MyImp2<E> implements MyGenericInterface<E> {
	@Override
	public void add(E e) {
       	 // 省略...
	}

	@Override
	public E getE() {
		return null;
	}
}

确定泛型：

/*
 * 使用
 */
public class GenericInterface {
    public static void main(String[] args) {
        MyImp2<String>  my = new MyImp2<String>();  
        my.add("aa");
    }
}

泛型通配符

?:代表任意的数据类型

使用方式：不能创建对象使用，只能作为方法的参数使用

package com.itheima_Generic;

import java.util.ArrayList;
import java.util.Iterator;

public class GenericDemo01 {
    public static void main(String[] args) {
        ArrayList<Integer> list1=new ArrayList<>();
        list1.add(11);
        list1.add(22);

        ArrayList<String> list2=new ArrayList<>();
        list2.add("aa");
        list2.add("44");

        print(list1);
        print(list2);
    }
    //使用通配符，只能作为参数
    public static void print(ArrayList<?> list){
        //使用迭代器遍历
        Iterator<?> it = list.iterator();
        while (it.hasNext()){
            //因为？可以接受任意类型的，所以it.next取出来的类型是Object类型
            Object o = it.next();
            System.out.println(o);
        }

    }
}

通配符高级使用----受限泛型

泛型的上限：

• 格式： 类型名称 <? extends 类 > 对象名称
• 意义： 只能接收该类型及其子类

泛型的下限：

• 格式： 类型名称 <? super 类 > 对象名称
• 意义： 只能接收该类型及其父类型

比如：现已知Object类，String 类，Number类，Integer类，其中Number是Integer的父类

public static void main(String[] args) {
    Collection<Integer> list1 = new ArrayList<Integer>();
    Collection<String> list2 = new ArrayList<String>();
    Collection<Number> list3 = new ArrayList<Number>();
    Collection<Object> list4 = new ArrayList<Object>();
    
    getElement(list1);
    getElement(list2);//报错
    getElement(list3);
    getElement(list4);//报错
  
    getElement2(list1);//报错
    getElement2(list2);//报错
    getElement2(list3);
    getElement2(list4);
  
}
// 泛型的上限：此时的泛型?，必须是Number类型或者Number类型的子类
public static void getElement1(Collection<? extends Number> coll){}
// 泛型的下限：此时的泛型?，必须是Number类型或者Number类型的父类
public static void getElement2(Collection<? super Number> coll){}