java泛型-super和exends

什么是泛型

泛型的本质是参数化类型，也就是所操作的数据类型被指定为一个参数（既然是参数，那么就是可变的，数据类型可变的。）。在java中，没有泛型出现之前，通过定义类型是Object来实现参数的“任意化”。使用Object实现任意化的缺点是需要强制类型转换，而且错误需要在运行期才能发现。而使用泛型的好处是在编译时的时候检查类型安全，并且所有的强制类型转化都是自动和隐式的，极大提高代码的利用率。

泛型的优点

• 编译时强制性检查
• 无须进行强制类型转换
• 可以实现复用，提供通用的算法

PECS原则

如果要从集合中读取类型为T的元素，并且不能写入，可以使用? extends 通配符；（Producer Extends）；
如果要往集合中写入类型为T的数据，并且不能读取，可以使用? super 通配符;(Consumer Super)

泛型的一些基本使用

使用一：定义一个泛型

import java.util.function.Function;

/**
 * @Author: jiangcw
 * @Date: 2019-8-31 下午 2:38
 * @Version 1.0
 *
 * 参数式类型在类上定义
 */
public class GenericTest<T> {

    /**
     * 基于成员变量的泛型
     */
    private T name;

    public T getName() {
        return name;
    }

    public void setName(T name) {
        this.name = name;
    }

    /**
     * 入参是函数式接口，出参是一个泛型
     * @param function
     * @return
     */
    public T change(Function<T, ? extends T> function) {
        return function.apply(name);
    }

    public static void main(String[] args) {
        GenericTest<Integer> genericTest = new GenericTest<>();
        genericTest.setName(123);
        System.out.println(genericTest.change((v) -> v + 100));
    }

}

使用二：extends和super的使用

通过这两个关键字，约束泛型的操作

import java.util.ArrayList;
import java.util.List;

public class GenericTest {

    private static class A {}

    private static class B extends A {}

    private static class C extends B {}

    /**
    * 对于java语言而言，只定义了所有类的
    *根节点Object，可以无限向下延伸
    **/
    private void test() {
        List<? extends B> list;
        List<C> list1 = new ArrayList<>();
        list1.add(new C());
        list1.add(new C());
        list = list1;
//        list.add(new C()); // error
        System.out.println(list.get(1));
        List<? super B> list2;
        list2 = new ArrayList<>();
        list2.add(new B());
        list2.add(new C());
        Object item = list2.get(1);
        System.out.println(item);
    }



    public static void main(String[] args) {
        GenericTest genericTest = new GenericTest();
        genericTest.test();
    }

}