Java教程

Java的泛型机制

本文主要是介绍Java的泛型机制,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

Java的泛型机制

泛型是 Java 从 JDK5 开始引入的新特性,本质上是参数化类型,即所操作的数据类型被指定为一个参数。这意味着编写的代码可以被很多不同类型的对象所重用。

1. 泛型的使用方式

1.1 泛型类

用下面的语法可以定义一个泛型类:

class C< T, E, ...>{
    private T t;
    ...
}

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

用下面的语法可以创建一个泛型对象:

C<具体的数据类型> c = new C<>();

泛型类有以下注意事项:

  • 如果没有指定具体的数据类型,操作类型是 Object。
  • 泛型的类型参数只能是类类型,不能是基本数据类型。
  • 泛型类型在逻辑上看作多个不同类型,但实际上是相同类型。

用下面的语法可以从泛型类派生子类:

// 子类也是泛型类,要和父类的泛型类型保持一致。但可以添加更多类型。
class Child<T> extends Father<T>
class Child<T, E, K> extends Father<T>  
// 子类不是泛型类,父类要明确一个泛型的数据类型
class Child extends Father<String>

1.2 泛型接口

定义方式类似于泛型类。

当需要用一个类实现泛型接口时:

  • 如果实现类不是泛型类,接口要明确数据类型。
  • 如果实现类是泛型类,实现类和接口的泛型类型要一致,但也可以增加更多。

1.3 泛型方法

用下面的语法可以定义一个泛型方法:

public <T, E, ...> void f(){
    ...
}

泛型类的类型由构造对象时决定,泛型方法的类型由调用方法时决定。

1.4 类型通配符

我们用?作为类型通配符,代表具体的类型实参。

使用extends语句可以代表类型通配符的上限:

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

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

使用super语句可以代表类型通配符的下限:

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

带有超类型限定的通配符可以向泛型对象写入,带有子类型限定的通配符可以从泛型对象读取。

2. 类型擦除式泛型

Java 的泛型实现方式是类型擦除的伪泛型。在 Java 中,泛型只在程序源码中存在,编译后的字节码文件中泛型全部被擦除,替换为原来的裸类型,并在相应的位置插入了强制转型代码。

假设我们有下面这段代码:

public static void main(String[] args){
	Map<String, String> map = new HashMap<String, String>();
    map.put("hello", "你好");
    System.out.pirntln(map.get("hello"));
}

这里向泛型类型为<Stirng, String>的 map 内插入了一个键值对,又从中将值取出。如果我们先将这段 Java 代码编译为 Class 文件,又反编译 Class 文件,实际上会得到以下代码:

public static void main(String[] args){
	Map map = new HashMap();
    map.put("hello", "你好");
    System.out.pirntln((String)map.get("hello"));
}

显然,在前端编译过程中,对象的泛型类型被擦除,转换为了没有泛型的裸类型。而在字节码文件的相关位置插入了强制类型转换代码,从而实现泛型。

类型擦除式的泛型带来了几个严重的问题:

Ⅰ. 不支持基础数据类型的泛型

由于我们无法在 int、long 等基础数据类型和 Object 之间强制转型,所以 Java 的泛型不支持基础数据类型。

Ⅱ. 运行时无法获取泛型类型信息

加入我们想写一个泛型版本的 List 转换为数组的方法,由于不能再运行时获取泛型信息,只能再传入一个元素的类型。

public static <T> T[] convert(List<T> list, Class<T> componentType){
    Tp[] array = (T[])Array.newInstance(componentType, list.size());
}

Ⅲ. 无法正常的实现重载等功能

例如两个方法我们试图依赖泛型类型不同来实现重载,就会发生编译错误。因为泛型类型在前端编译器被擦除了,变成了两个一模一样的方法。

3. 桥接方法的机制

当一个类实现一个泛型接口时,泛型接口在编译后类型被擦除,这样我们在实现类中就不能找到对应接口的实现方法。为了解决这个问题,Java 在编译相关类时使用了一个桥接方法的机制,通过为实现类新增一个桥接方法,来实现类型擦除后接口的方法。

image-20220222114826866
这篇关于Java的泛型机制的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!