详解泛型与自动拆装箱

2020-02-29 16:03:50来源：博客园阅读 ()

详解泛型与自动拆装箱

泛型：
自动拆装箱：

泛型：

首先，本人来介绍一下什么是泛型：

泛型概述:
是一种把类型明确的工作 推迟到创建对象
或者 调用方法的时候才去 明确的特殊的类型。
参数化类型，把类型当作参数一样的传递。

通俗一点来讲：泛型是JAVA 中一种十分强大的机制，因为它能够完成在未知元素类型的情况下对元素进行操作。
但是，泛型只在编译阶段有效，即在编译过程中，程序会正确的检验泛型结果。而编译成功后，*.class 文件是不包含任何泛型信息的（这就是JVM 的泛型擦除机制）
并且，泛型类只能在子类或者父类被调用。

那么，本人再来讲解一下使用泛型的好处：

泛型的好处：
(1): 把运行时期的问题提前到了编译期间
(2): 避免了强制类型转换
(3):优化了程序设计，解决了黄色警告线
------------------------------------------------------------
注意：泛型只在编译期有效但在运行期就擦除了
（至于泛型擦除机制，本人将在后续的博文中提到，并且对于这个机制，本人也提出了相应的解决方法，希望同学们对此加以注意！！！）

现在，本人来讲解一下有关 泛型的基本格式：

泛型类 -------- 权限修饰符(public...) class 类名<泛型类型1,…>
泛型方法 ----- 权限修饰符(public...) <泛型类型> 返回类型方法名(泛型类型变量名)
泛型变量 ----- 权限修饰符(public...) 泛型类型变量名
泛型接口 ----- public interface 接口名<泛型类型>

此外，本人要讲解一个关于泛型，极为重要的一个知识点——通配符

A:泛型通配符<?> ------ 任意类型，如果没有明确，那么就是Object以及任意的Java类了
B:? extends E ---------- 向下限定，E及其子类
C:? super E ------------ 向上限定，E及其父类

那么，本人在这里来通过一个例子来展示一下有关泛型的通配符的基本用法：
现在，本人用本人《详解继承（上）—— 工具的抽象与分层》中所创建的Grandfather类，Parent类和 Child类来展示下通配符的正确用法：

package com.youzg.study;

import java.util.ArrayList;

public class AboutGeneric1 {
    public static void main(String[] args) {
        ArrayList<Parent> people = new ArrayList<Parent>();
        ArrayList<Child> people2 = new ArrayList<Child>();
        
        //? 泛型统配符
        ArrayList<?> people3 = new ArrayList<Child>();
        ArrayList<?> people4 = new ArrayList<Parent>();

        //向上限定
        ArrayList<? super Parent> people5 = new ArrayList<Parent>();
        ArrayList<? super Parent> people6 = new ArrayList<Grandfather>();
       // ArrayList<? super Parent> people7 = new ArrayList<Child>(); 报错

        //向下限定
        ArrayList<? extends Parent> people8 = new ArrayList<Parent>();
        ArrayList<? extends Parent> people9 = new ArrayList<Child>();
       // ArrayList<? extends Parent> people1 = new ArrayList<Grandfather>(); 报错
    }
}

本人再来举一个例子，因为在之前的博文中已经讲到过“数组”的知识了，所以我们加入要对未知类型的数组进行“逆序”操作，那么，代码如下：

package com.mec.study;

public class AboutGeneric {

    public static <T>T[] revArray(T[] m) {
        T temp;
        
        for(int i=0; i<m.length/2; i++) {
            temp = m[i];
            m[i] = m[m.length-i-1];
            m[m.length-i-1] = temp;
        }
        
        return m;
    }
    
}

现在，本人对上述代码进行一下解释：
在方法返回值类型（即T[]）前出现的，说明这个方法用到泛型；在以后的代码中，T就代表某种类类型；
而这种类类型的具体情况，要等到方法被调用时，再根据实参具体类型进行判定。
这里要特别提醒的一点是：泛型只能是类类型！

利用泛型，我们也可以来定义泛型类，代码如下：

package com.mec.study;

public class MyGeneric<T> {
    private T member;
    
    public MyGeneric() {
        
    }
    
    public MyGeneric(T member) {
        this.member = member;
    }
    
    public T getNumber() {
        return member;
    }
    
}

那么，我们将泛型定义下来，如何去使用呢？
下面，本人通过一段代码，来展示下定义好的泛型的用法：

package com.mec.study;

public class DemoGeneric {

    public static void main(String[] args) {
        System.out.println(new MyGeneric<Integer> (1024).getNumber()); 
    }

}

展示下运行结果：
在这里插入图片描述
对于上述代码，可能有同学会有疑问，什么是Interger？