Java中的泛型是什么

# 一、泛型是什么？

# 1.1、泛型的概念

Java泛型（generics）是JDK5中引入的一个新特性，它提供了编译时类型安全检测机制，该机制允许我们在编译时检测到非法的类型数据结构。泛型的本质就是参数化类型，也就是所操作的数据类型被指定为一个参数。

JAVA推出泛型以前，程序员可以构建一个元素类型为Object的集合，该集合能够存储任意的数据类型对象，而在使用该集合的过程中，需要程序员明确知道存储每个元素的数据类型，否则很容易引发ClassCastException异常。

# 1.2、泛型的好处

类型安全
消除了强制类型的转换

# 二、泛型类、接口、方法

常用的泛型标识：T、E、K、V

# 2.1、泛型类

泛型类的定义和使用

//泛型类的定义语法
class 类名称 <泛型标识，泛型标识，…> {
  private 泛型标识 变量名; 
  .....
}
//泛型类的使用
类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>();
类名<具体的数据类型> 对象名 = new 类名<>();//Java1.7以后，后面的<>中的具体的数据类型可以省略不写

1
2
3
4
5
6
7
8

public class Generic<T> {
    //T，是由外部使用类的时候来指定。
    private T key;
    public Generic(T key) {
        this.key = key;
    }
    public T getKey() {
        return key;
    }
    public void setKey(T key) {
        this.key = key;
    }
}

1
2
3
4
5
6
7
8
9
10
11
12
13

泛型类注意事项

泛型类，如果没有指定具体的数据类型，此时，操作类型是Object

Generic generic = new Generic("ABC");
Object key3 = generic.getKey();
System.out.println("key3:" + key3);

1
2
3

泛型的类型参数只能是类类型，不能是基本数据类型

//泛型类，不支持基本数据类型。
//Generic<int> generic1 = new Generic<int>(100);

1
2

泛型类型实际上都是相同类型(类型擦除)

//同一泛型类，根据不同的数据类型创建的对象，本质上是同一类型。
System.out.println(intGeneric.getClass());
System.out.println(strGeneric.getClass());
System.out.println(intGeneric.getClass() == strGeneric.getClass());//true

1
2
3
4

从泛型类/接口派生子类

子类也是泛型类/接口，子类和父类的泛型类型要一致

class ChildGeneric<T> extends Generic<T>

子类不是泛型类/接口，父类要明确泛型的数据类型

class ChildGeneric extends Generic<String>

# 2.2、泛型接口

interface 接口名称 <泛型标识，泛型标识，…> {
  泛型标识 方法名(); 
  .....
}

1
2
3
4

# 2.3、泛型方法

泛型方法，是在调用方法的时候指明泛型的具体类型，而泛型类，是在实例化类的时候指明泛型的具体类型

修饰符 <T，E, ...> 返回值类型 方法名(形参列表) {
    方法体...
}

 /**
  * 1.public与返回值中间<T>非常重要，可以理解为声明此方法为泛型方法。
  * 2.<T>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T。
  * @param list 参数
  * @param <T> 泛型标识，具体类型，由调用方法的时候来指定。
  * @return
  */
 public <T> T getProduct(ArrayList<T> list) {
     return list.get(random.nextInt(list.size()));
 }

1
2
3
4
5
6
7
8
9
10
11
12
13
14

只有声明了<T>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。

public T getKey() {//并非泛型方法
    return key;
}

1
2
3

与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。

泛型方法与可变参数

public <E> void print(E... e){
        for (E e1 : e) {
            System.out.println(e);
        }
 }

1
2
3
4
5

# 三、类型通配符

类型通配符一般是使用"?"代替具体的类型实参。所以，类型通配符是类型实参，而不是类型形参。

# 3.1、类型通配符的上限

要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

类/接口<? extends 实参类型>

# 3.2、类型通配符的下限

要求该泛型的类型，只能是实参类型，或实参类型的父类类型

类/接口<? super 实参类型>

# 四、类型擦除

泛型是Java 1.5版本引进的概念，在这之前是没有泛型的，但是，泛型代码能够很好地和之前版本的代码兼容。那是因为，泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为--类型擦除。

# 4.1、无限制类型擦除

# 4.2、有限制类型擦除

擦除类

擦除方法

# 4.3、特殊情况-桥接方法的擦除

← Java中比较大小的方式并发编程之JMM篇→