Day53（泛型方法，泛型在继承上的体现，通配符的使用，有限制的通配符）

2023-12-05 18:32:16

自定义泛型结构：泛型方法

方法，也可以被泛型化，不管此时定义在其中的类是不是泛型类。在泛型方法中可以定义泛型参数，此时，参数的类型就是传入数据的类型。
泛型方法的格式：

[访问权限]<泛型>返回类型方法名([泛型标识参数名称])抛出的异常

泛型方法声明泛型时也可以指定上限(在12.5中讲

public class DAO {
public<E> E get(intid, E e) {
E result= null;
return result;
	}
}

public static<T> void fromArrayToCollection(T[] a, Collection<T> c) {
for(T o: a) {
c.add(o);
	}
}
public static void main(String[] args) {
Object[] ao= new Object[100];
Collection<Object> co= new ArrayList<Object>();
fromArrayToCollection(ao, co);
String[] sa= new String[20];
Collection<String> cs= new ArrayList<>();
fromArrayToCollection(sa, cs);
Collection<Double> cd= new ArrayList<>();
// 下面代码中T是Double类，但sa是String类型，编译错误。
// fromArrayToCollection(sa, cd);
// 下面代码中T是Object类型，sa是String类型，可以赋值成功。
fromArrayToCollection(sa, co);
}

class Creature{}
class Person extends Creature{}
class Man extends Person{}
class PersonTest {
public static <T extends Person> void test(T t){
System.out.println(t);
}
public static void main(String[] args) {
test(new Person());
test(new Man());
//The method test(T) in the type PersonTest is not 
//applicable for the arguments (Creature)
test(new Creature());
	}
}

泛型在继承上的体现

如果B是A的一个子类型（子类或者子接口），而G是具有泛型声明的类或接口，G<B>并不是G<A>的子类型！

比如：String是Object的子类，但是List<String>并不是List<Object>的子类。

/*
    1. 泛型在继承方面的体现
      虽然类A是类B的父类，但是G<A> 和G<B>二者不具备子父类关系，二者是并列关系。
       补充：类A是类B的父类，A<G> 是 B<G> 的父类
     */
public class GenericExtendTest {
    @Test
    public void test(){
        Object obj = null;
        String str = null;
        obj = str;

        Object[] oArr = null;
        String[] sArr = null;
        oArr = sArr;

        List<Object> objList = null;
        List<String> strList = null;
        // objList = strList;  此时的list1和list2的类型不具子父类关系,编译不通过
    show1(objList);
    show(strList);
    show2(objList);
    show2(strList);
    }
    public void show1(List<Object> list){
    }
    public void show(List<String> list){
    }
    public <E> void show2(List<E> list){
    }
    @Test
    public void test1(){
        List<String> list1 = null;
        ArrayList<String> list2 = null;
        list1 = list2;
    }
}

通配符的使用

1.使用类型通配符：？

比如：List<?>，Map<?,?>

List<?>是List、List等各种泛型List的父类。

2.读取List<?>的对象list中的元素时，永远是安全的，因为不管list的真实类型是什么，它包含的都是Object。

3.写入list中的元素时，不行。因为我们不知道c的元素类型，我们不能向其中添加对象。

唯一的例外是null，它是所有类型的成员。
将任意元素加入到其中不是类型安全的：

Collection<?> c = new ArrayList<String>();

c.add(new Object()); // 编译时错误

因为我们不知道c的元素类型，我们不能向其中添加对象。add方法有类型参数E作为集合的元素类型。我们传给add的任何参数都必须是一个未知类型的子类。因为我们不知道那是什么类型，所以我们无法传任何东西进去。

唯一的例外的是null，它是所有类型的成员。
另一方面，我们可以调用get()方法并使用其返回值。返回值是一个未知的类型，但是我们知道，它总是一个Object。

/*
    1.通配符的使用
       通配符：?
       类A是类B的父类，G<A>和G<B>是没关系的，二者共同的父类是：G<?>
     */
public class GenericTest2 {
    @Test
    public void test1(){
        List<Object> list1 = null;
        List<String> list2 = null;
        list1 = new ArrayList<Object>();
        list2 = new ArrayList<String>();
        list1.add("aa");
        list2.add("aa");
        List<?> list = null;
        list = list1;
        list = list2;
        print(list1);
        print(list2);
        System.out.println("-------------------");
        List<String> list3 = new ArrayList<>();
        list3.add("AA");
        list3.add("BB");
        list3.add("CC");
        list = list3;
//2.涉及通配符的集合的数据的写入和读取:
        //添加(写入)：对于List<?>就不能向其内部添加数据。
        //除了添加null之外。
        list.add(null);
        //获取(读取)：允许读取数据，读取的数据类型为Object。
        Object o = list.get(0);
        System.out.println(o);//AA

    }
    public void print(List<?> list){
        Iterator<?> iterator = list.iterator();
        while(iterator.hasNext()){
            Object obj = iterator.next();
            System.out.println(obj);
        }
    }

通配符的使用：有限制的通配符

<?>

允许所有泛型的引用调用

通配符指定上限

上限extends：使用时指定的类型必须是继承某个类，或者实现某个接口，即<=

通配符指定下限

下限super：使用时指定的类型不能小于操作的类，即>=

举例：

<?extends Number> (无穷小, Number]
只允许泛型为Number及Number子类的引用调用
<? super Number> [Number , 无穷大)
只允许泛型为Number及Number父类的引用调用
<? extends Comparable>
只允许泛型为实现Comparable接口的实现类的引用调用

    /*
    3.有限制条件的通配符的使用。
        ? extends A:
                G<? extends A> 可以作为G<A>和G<B>的父类，其中B是A的子类
        ? super A:
                G<? super A> 可以作为G<A>和G<B>的父类，其中B是A的父类
     */
    public void test2(){
        List<? extends Person> list1 = null;
        List<? super Person> list2 = null;
        List<Students> list3 = new ArrayList<>();
        List<Person> list4 = new ArrayList<>();
        List<Object> list5 = new ArrayList<>();
        list1 = list3;
        list1 = list4;
        //list1 = list5; 编译不通过

        list2 = list4;
        list2 = list5;
        //list2 = list3;编译不通过

    //读取数据：
        list1 = list3;
        Object object = list1.get(0);
        Person person = list1.get(0);
        //Students students = list1.get(0); 编译不通过
        list2 = list4;
        Object obj = list2.get(0);
        //Person per = list2.get(0);
    //写入数据：
        //list1.add(new Student()); 编译不通过

        list2.add(new Person());
        list2.add(new Students());
        //list2.add(new Object());编译不通过
    }
}
class Person{

}
class Students extends Person{

}

码农公寓

自定义泛型结构：泛型方法

泛型在继承上的体现

通配符的使用

相关文章