时间戳

首页 > 技术文章 > Java泛型

Java泛型

lmh15054109 2021-02-19 16:13 原文

泛型提供了编译时类型安全监测机制，该机制允许程序员在编译时检测到非法的类型。

本质：

泛型本质是指类型参数化，也就是说所操作的数据类型被指定为一个参数。

允许在定义类、接口、方法时使用类型形参，当使用时指定具体类型。所有使用该泛型参数的地方都被统一化，保证类型一致。如果未指定具体类型，默认是Object类型。

集合体系中的所有类都增加了泛型，泛型也主要用在集合。

泛型基础

1、泛型类()

除了在类名后面添加了类型参数声明部分，泛型类的声明和非泛型类的声明类似。
泛型类的类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数， 这些类被称为参数化的类或参数化的类型。

public class Box<T> { 
  private T t;    
    public void add(T t) {     
        this.t = t;  
    }    
    public T get() {     
        return t; 
  }

2、泛型方法（）

// 泛型方法 printArray                          
public static < E > void printArray( E[] inputArray )
{        
    for ( E element : inputArray ){ 
        System.out.printf( "%s ", element ); 
    } 
}

该方法在调用时可以接受不同类型的参数。根据传递给泛型方法的参数类型，编译器适当的处理每一个方法调用。

  1. 表示该通配符所代表的类型是T类型的子类。
  2. 表示该通配符所代表的类型是T类型的父类。

泛型的上限和下限

泛型的上限：

  • 格式：类型名称<? extends 类>对象名称
  • 意义：只能接收该类及其子类
    泛型的下限：
  • 格式：类型名称<? super类>对象名称
  • 意义：只能接收该类及其父类

3、类型通配符

类型通配符一般是使用?代替具体的类型参数。例如List<?>在逻辑上是List,List等所有List<具体类型实参>的父类。

4、类型擦除

Java中的泛型基本上都是在编译器这个层次来实现的，泛型是提供给Javac编译器使用的，它用于限定结合的输入类型，让编译器在源代码级别上就挡住想集合中插入非法数据。编译完成带有泛型的Java程序后，生成的class文件（Java字节代码）不再带有泛型信息，因此是程序运行效率不受影响，这个过程叫做类型擦除。
如在代码中定义的List<Object>和List<String>等类型，在编译之后 都会变成List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。
类型擦除的基本过程也比较简单，首先是找到用来替换类型参数的具体类。这个具体类一般是Object。如果指定了类型参数的上界的话，则使用这个上界。把代码中的类型参数都替换 成具体的类。
由于类型被擦除了，为了维持多态性，编译器自动生成了桥接办法。

编写不易，转载注明出处：https://www.cnblogs.com/lmh15054109/p/14416639.html

推荐阅读