JAVA基础深化提高(四) | 泛型

一、泛型的基本概念

泛型是JDK5.0以后增加的新特性。

泛型的本质就是“数据类型的参数化”，处理的数据类型不是固定的，而是可以作为参数传入。我们可以把“泛型”理解为数据类型的一个占位符(类似：形式参数)，即告诉编译器，在调用泛型时必须传入实际类型

参数化类型，白话说就是：

1. 把类型当作是参数一样传递。
2. <数据类型> 只能是引用类型。

1. 泛型的好处

在不使用泛型的情况下，我们可以使用Object类型来实现任意的参数类型，但是在使用时需要我们强制进行类型转换。这就要求程序员明确知道实际类型，不然可能引起类型转换错误；但是，在编译期我们无法识别这种错误，只能在运行期发现这种错误。使用泛型的好处就是可以在编译期就识别出这种错误，有了更好的安全性；同时，所有类型转换由编译器完成，在程序员看来都是自动转换的，提高了代码的可读性。

总结一下，就是使用泛型主要是两个好处：
1 代码可读性更好【不用强制转换】
2 程序更加安全【只要编译时期没有警告，运行时期就不会出现ClassCastException异常】

2. 类型擦除

编码时采用泛型写的类型参数，编译器会在编译时去掉，这称之为“类型擦除”。
泛型主要用于编译阶段，编译后生成的字节码class文件不包含泛型中的类型信息，涉及类型转换仍然是普通的强制类型转换。类型参数在编译后会被替换成Object，运行时虚拟机并不知道泛型。泛型主要是方便了程序员的代码编写，以及更好的安全性检测。

二、泛型类

2.1 泛型标记

定义泛型时，一般采用几个标记：E、T、K、V、N、？。他们约定俗称的含义如下：

泛型标记	对应单词	说明
E	Element	在容器中使用，表示容器中的元素
T	Type	表示普通的JAVA类
K	Key	表示键，例如：Map中的键Key
V	Value	表示值
N	Number	表示数值类型
？		表示不确定的JAVA类型

2.2 泛型类的语法结构

public class 类名<泛型标识符号> {
}
public class 类名<泛型标识符号,泛型标识符号> {
}

示例

public class Generic<T> {
    private T  flag;
    public void setFlag(T flag){
        this.flag = flag;
   }
    public T getFlag(){
        return this.flag;
   }
}

public class Pair<T, U> {
    private T first;
    private U second;

    public Pair(T first, U second) {
        this.first = first;
        this.second = second;
    }

    public T getFirst() {
        return first;
    }

    public U getSecond() {
        return second;
    }

    public void setFirst(T first) {
        this.first = first;
    }

    public void setSecond(U second) {
        this.second = second;
    }
}

三、泛型接口

3.1 泛型接口的语法结构

public interface 接口名<泛型标识符号> {
}
public interface 接口名<泛型标识符号,泛型标识符号>
{
}

示例

public interface IGeneric<T> {
    T getName(T name);
}

1. 在实现接口时传递具体数据类型

public class IgenericImpl implements Igeneric<String> {
    @Override
    public String getName(String name) {
        return name;
   }
}

2. 在实现接口时仍然使用泛型作为数据类型

public class IGenericImpl2<T> implements IGeneric<T>{
    @Override
    public T getName(T name) {
        return name;
   }
}

四、泛型方法

类上定义的泛型，在方法中也可以使用。但是，我们经常需要仅仅
在某一个方法上使用泛型，这时候可以使用泛型方法。

调用泛型方法时，不需要像泛型类那样告诉编译器是什么类型，编
译器可以自动推断出类型

4.1 非静态泛型方法的语法结构

//无返回值方法
public <泛型标识符号> void getName(泛型标识符号 name){
}
//有返回值方法
public <泛型标识符号> 泛型标识符号 getName(泛型标识符号 name){
}

示例

public class MethodGeneric {
    public <T> void setName(T name){
        System.out.println(name);
   }
    public <T> T getAge(T age){
        return age;
   }
}

4.2 静态泛型方法的语法结构

//无返回值静态方法
public static <泛型标识符号> void setName(泛型标识符号 name){
}
//有返回值静态方法
public static <泛型标识符号> 泛型表示符号 getName(泛型标识符号 name){
}

示例

public class MethodGeneric {
    public static <T> void setFlag(T flag){
        System.out.println(flag);
   }
    public static <T> T getFlag(T flag){
        return flag;
   }
}

4.3 泛型方法与可变参数

4.3.1 语法结构

public <泛型标识符号> void showMsg(泛型标识符号... agrs){
}

示例

public class MethodGeneric {
    public <T> void method(T...args){
        for(T t:args){
            System.out.println(t);
       }
   }
}

五、泛型中的通配符

5.1 无界通配符

“?”表示类型通配符，用于代替具体的类型。它只能在“<>”中使用。可以解决当具体类型不确定的问题。

5.1.1 无界通配符的语法结构

public void showFlag(Generic<?> generic){
}

5.2 通配符的上限限定

对通配符的上限的限定：<？ extends 类型>

？实际类型可以是上限限定中所约定的类型，也可以是约定类型的
子类型；

5.2.1 通配符上限限定的语法结构

public void showFlag(Generic<? extends Number> generic){
}

5.3 通配符的下限限定

对通配符的下限的限定：<？ super 类型>

？实际类型可以是下限限定中所约定的类型，也可以是约定类型的
父类型；

5.3.1 通配符下限限定的语法结构

public void showFlag(Generic<? super Integer> generic){
}

六、泛型局限性和常见错误

泛型主要用于编译阶段，编译后生成的字节码class文件不包含泛型中的类型信息。 类型参数在编译后会被替换成Object，运行时虚拟机并不知道泛型。因此，使用泛型时，如下几种情况是错误的：

1. 基本类型不能用于泛型
   Test<int> t; 这样写法是错误，我们可以使用对应的包装类
   Test<Integer> t ;
2. 不能通过类型参数创建对象
   T elm = new T(); 运行时类型参数T会被替换成 Object ，无法创建T类型的对象，容易引起误解，java干脆禁止这种写法。