重点知识学习(3)--[泛型学习]

在学习集合的时候,其实已经接触过泛型这部分的知识了,
JavaSE基础八----＜集合(1)＞【泛型、集合体系、Collection接口中的方法,可变长度的参数】

但是,当时对泛型的学习也就仅限于简单使用;这里再来回顾一下泛型的知识

概念

我们都知道在Java语言中Object是所有类的基础类;那么既然它可以代表一切类型,为啥还出现泛型这个知识呢?

Object类型可以接收任意的对象类型,使用时可能会出现类型转换问题。
泛型正好能弥补这个缺陷。

泛型概念

• 泛型，就是参数化类型。

参数:在定义方法有形参，调用此方法时传递实参。

• 参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式，在调用时传入具体的类型。

• Java 泛型（generics）是 JDK 5 的新特性, 泛型的好处就是在编译的时候能够检查类型安全。

比如这个案例;在定义User类时,用了泛型;在调用创建对象时,我再为User类的泛型指定类型;这时就用的我本次传入的类型了

/**
 * @author by 信计1801 李智青 学号:1809064012
 */
public class User<T,E> {
    T name;
    E age;

    //构造方法;
    public User(T name, E age) {
        this.name = name;
        this.age = age;
    }

    //方法;
    void study(T u){
        System.out.println(u +"在学习");
    }

    //测试试用;
    public static void main(String[] args) {
        //为User类的泛型传入类型;
        User<String,Integer> user = new User<>("张三",18);
        String u = "小智";
        user.study(u);
        //小智在学习;
    }
}

泛型类型用于类的定义中，被称为泛型类。上面案例中定义的User类就是泛型类
通过泛型可以完成对一组类的操作对外开放相同的接口。

注意

• 泛型的类型参数只能是类类型
• 泛型的类型参数可以有多个
• 如果没有定义具体类型,默认为Object;
• 注意泛型里面不要传入基本类型哦;

派生子类时的泛型问题

(1)在继承关系中,当子类也是泛型类时,那么子类和父类的泛型保持一致即可

例如:

class  子类<T>  extends 父类<T>

(2)在继承关系中,若子类不是泛型类,这时在编译期间就得指定父类的泛型数据类型

例如:

class 子类    extends  父类<Integer>

泛型通配符 ?

使用 ? 代替具体的类型实参

就是说可以传入任意类型的参数;

例如这个案例;我定义的这个Demo类是泛型类;
在其中的方法method()使用了泛型通配符;

/**
 * @author by 信计1801 李智青 学号:1809064012
 */
public class Demo<T> {
    T prop;
    //构造方法;
    public Demo(T prop) {
        this.prop = prop;
    }

    //使用通配符;
    void method(Demo<?> d){
        System.out.println(d.prop);
    }

    //测试;
    public static void main(String[] args) {
        //定义了多个类型不同的Demo类;
        Demo<String>    d0 = new Demo<>("小智");
        Demo<Integer>   d1 = new Demo<>(527);
        Demo<Character> d2 = new Demo<>('x');
        Demo<Boolean>   d3 = new Demo<>(true);

        d0.method(d0);
        d0.method(d1);
        d0.method(d2);
        d0.method(d3);
    }
}

虽然d0这个Demo类指定是String类型的;但是后面我可以给它的method方法传入任意类型的参数;

结果

小智
527
x
true

泛型通配符上限,下限

上限
该泛型的类型，只能是指定类型或指定类型的子类类型。

 类/接口 <？extends 指定类型>

下限
该泛型的类型，只能是指定类型或指定类型的父类类型。

类/接口<？super 指定类型>

通配符还是比较常见的

案例;
首先搭建一个这样的案例;
Son01 类 继承Fa类; Son02类 继承Fa类; Fa类 继承BigFa 类;

class BigFa {
}

class Fa extends BigFa {
}

class Son01 extends Fa {
}

class Son02 extends Fa {
}

然后我在泛型类中分别定义了两个方法;
方法test()是以Fa类型为通配上限;
方法test2()是以Fa类型为通配下限;

public class Demo<T> {
    //? extends 类型 只能是该类型或者该类型的子类;
    void test(Demo<? extends Fa> demo01) {
    }

    //? super 类型;只能是该类型或者该类型的父类;
    void test2(Demo<? super Fa> demo01) {
    }

    public static void main(String[] args) {
        //定义了四种类型的Demo类;
        Demo<BigFa> d0 = new Demo<>();
        Demo<Fa>    d1 = new Demo<>();
        Demo<Son01> d2 = new Demo<>();
        Demo<Son02> d3 = new Demo<>();
        
        //尝试test方法1传参;
        
        //尝试为test方法2传参
        
    }
}

这里我会尝试调用方法;首先看看方法test()有什么变化;
可以看到Fa类型,Son01类型,Son02类型都传参成功了;唯独BigFa不行;
这也证实了通配符上限的作用:该泛型的类型，只能是指定类型或指定类型的子类类型。

再试试方法test2();同样,这里BigFa类,Fa类都传参成功;但是Son01类,Son02类不行;
通配下限符的作用:该泛型的类型，只能是指定类型或指定类型的父类类型。

类型擦除

• 泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉;

• 泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型;

/**
 * @author by 信计1801 李智青 学号:1809064012
 */
public class Demo<T,K> {
     T name;
     K age;

    //构造方法;
    public Demo(T name, K age) {
        this.name = name;
        this.age = age;
    }

    //测试;
    public static void main(String[] args) throws NoSuchFieldException {
        Demo<String,Integer> d = new Demo<>("小智RE0",21);

        Field[] fields = d.getClass().getDeclaredFields();
        for (Field field : fields) {
            System.out.println("属性:"+field.getName());
            System.out.println("类型:"+field.getType());
        }
    }
}

结果

属性:name
类型:class java.lang.Object
属性:age
类型:class java.lang.Object