Java泛型机制详解；这些你都知道吗，Java面试题大全(整理版)

最新推荐文章于 2022-05-11 20:51:42 发布

Java小吴学Java

最新推荐文章于 2022-05-11 20:51:42 发布

阅读量77

点赞数

分类专栏：程序员文章标签：后端面试 java

本文链接：https://blog.csdn.net/m0_60732523/article/details/119612738

版权

程序员专栏收录该内容

37 篇文章 0 订阅

订阅专栏

}


使用的时候的代码只要这么改动:

```java
Pair minmax = new Pair(1,100);
Integer min = (Integer)minmax.getFirst();//字段强制转换
Integer max = (Integer)minmax.getSecond();//字段强制转换

这样使用其实是可以的，事实上Java提供的泛型机制其实底层就是如此实现的。之所以这么设计，与Java当初设计的时候的jvm虚拟机编译机制有关系，要知道泛型设计的时候Java才到Jdk1.4版本，而我们都知道Java有编译器和Java虚拟机，编译器会帮我们把Java代码转换为**.Class**，虚拟机则是负责加载**.Class**，对于泛型类，Java编译器会把泛型部分的代码转换为普通的代码，即和上面的Object类型接管一样，将类型的T进行擦除，替换为Object，并且进行必要的类型的强制转换操作，所以在Java虚拟机执行Java字节码的过程中，其实和Object操作是一样的，并不知道泛型，也不存在泛型。那么既然泛型还是会转换为Object，进行泛型擦除，Java为什么要在1.5开始支持并设计出泛型机制呢？

泛型的好处

其实想要理解这点，我们不妨考虑一下，泛型的好处在哪？同时也去思考一下如果我们使用Object编程，缺陷会存在在哪？熟悉泛型的都知道，泛型有两个好处:

1.更好的安全性

2.更好的可读性

我们也知道Java语言在我们开发编译的阶段，ide就会进行代码检查，当我们的语法出现问题的时候，ide会在编译阶段就把错误标识出来，减少程序的潜在Bug数。但是我们不妨看下Object操作的代码:

Pair pair = new Pair("张三",1);
Integer id = (Integer)pair.getFirst();
String name = (String)pair.getSecond();

可以看出来，无论id是否为Integer类型，或者name是否为String类型，我们在编译阶段，由于类型为Object，我们都会进行强制转换操作，在编译期这些操作都是语法合理的，并不会报错，但是如果这些字段中存在类型错误，也必须等到程序运行到这里才会提示ClassCastException异常，但是如果我们使用的是泛型机制，并且使用的时候标明了类型为String和Integer,那么如果我们使用的类型不一致，在编译时已经报错，必须修改后才可以成功运行，如下：

Pair<String,Integer> pair = new Pair<>("张三",1);
Integer id = pair.getFirst(); //编译错误
String name = pair.getSecond(); //编译错误

所以很明显的可以看出来，如果使用了泛型后，类的后缀添加对应的泛型类型，我们很明确的知道具体的类型是什么，提高开发的可读性，并且因为ide会做类型检查，所以安全性也会更高

泛型方法

当然泛型的作用域范围比较广，我们不仅可以定义在类/接口的申明上，我们也可以将泛型作用在方法上，与类的泛型相互隔离，实现更精细粒度的泛型操作。并且需要注意的是，一个类的泛型定义和方法的泛型定义并无直接关系，两者是相互独立的，即类的泛型可以定义为T，而方法也可以定义为泛型T，但是这两个T并不属于同一个。首先我们先看一个泛型方法的案例:

public static <T> int indexOf(T[] arr, T elm){
    for(int i=0; i<arr.length; i++){
            if(arr[i].equals(elm)){
            return i;
    	}
    }
    return -1;
}

可以看出来，indexOf方法就是一个泛型方法，使用的时候，我们可以如下:

indexOf(new Integer[]{1,3,5}, 10)

同样的泛型方法拥有和泛型类一样的所有特性，也可以定义多个泛型参数在方法上，比如:

public static <U,V> Pair<U,V> createPair(U first, V second){
    Pair<U,V> pair = new Pair<>(first, second);
    return pair;
}

但是与泛型类不同的是，使用的时候只需要传入确定类型的值即可，并不需要申明泛型类型后缀，如下:

createPair("张三",1)；

泛型的上限界定

在前面的学习中我们都知道泛型擦除会转化为Object类型，但是我们能不能给Object的范围缩小呢？即限制泛型的父类类型上限是多少，在Java中其实是支持的，而泛型中支持这个上限界定是使用了extends关键字来表示的，当然这里的父类类型可以是接口、类或者类型参数，我们分别介绍下:

接口作为父类类型

比如我们开发中遇到一个场景，我们必须实现Comparable接口来实现动态的类型的比较，这个时候代码如下:

public static <T extends Comparable> T max(T[] arr){
    T max = arr[0];
    for(int i=1; i<arr.length; i++){
            if(arr[i].compareTo(max)>0){
            max = arr[i];
    	}
    }
    return max;
}

max是泛型类型T的数组的对应下标的值，不过这么编写代码的话，会被编译器警告，因为Comparable接口本身也是个泛型接口，所以我们写的时候建议也去指定Comparable接口的泛型上界，修改如下：

public static <T extends Comparable<T>> T max(T[] arr){
...................
}

此种方式可以实现泛型类型的递归类型限制传递

上界为具体类

还记得我们上面的实例Pair类使用的泛型类型，我们可以实现一个子类:

public class NumberPair<U extends Number, V extends Number> extends Pair<U, V> {
    public NumberPair(U first, V second) {
        super(first, second);
    }
}

当我们限制了对应的类型范围后，我们就可以把first和second变量作为Number类型进行处理了，比如我们内部有一个求和的方法:

public double plus(){
	return getFirst().doubleValue() + getSecond().doubleValue();
}

所以当我们定义完后，我们的使用即为如下这样:

NumberPair<Integer, Double> pair = new NumberPair<>(10, 12.34);
double sum = pair.plus();

可以看出来，限制了泛型类型范围后，编译器检查的会更严格，如果类型不对直接会报错，并且泛型擦除的时候转换的类型则为指定的范围上界的类型

泛型的通配符

上面我们提到了一些例子，就是使用了参数类型作为范围上界，但是这种写法比较繁琐，有木有更简化的写法呢？当然有，泛型支持通配符形式，可以简化范围上界的泛型写法，一个简单的通配符泛型如下:

public void addAll(DynamicArray<? extends E> c) {
    for(int i=0; i<c.size; i++){
    	add(c.get(i));
    }
}

可以看到当前的写法中c的类型是DynamicArray<? extends E>类型，?表示通配符，<?extends E>表示有限定通配符，具体需要匹配泛型E或者E的子类型即可，至于具体是什么类型，完全可以未知，当我们使用的时候，代码如下:

DynamicArray<Number> numbers = new DynamicArray<>();
DynamicArray<Integer> ints = new DynamicArray<>();
ints.add(100);
ints.add(34);
numbers.addAll(ints);

这里E是Number类型的时候，?可以匹配为DynamicArray，那么通配符和范围上界指定的效果一样，这两者有什么区别呢？

1.写法仅限于用于定义类型参数，申明了一个类型参数T(使用的时候必须指定泛型类型)

2.<? extends E>用于实例化类型参数，可以用于实例化泛型变量中的类型参数，只是当前类型可以是未知的，只需要知道范围上限，即属于泛型E的子类即可(使用的时候可以不指定泛型类型，或者直接传递子类类型即可)

那么我们什么时候使用通配符，什么时候需要定义类型参数范围呢？首先我们先来认知下通配符分类以及各类通配符的用法

无限定通配符

在泛型中，除了上述的有限定通配符以外，还有无限定通配符和超类型通配符，我们首先来了解无限定通配符，使用无限定通配符实现一个简单的DynamicArray中查找元素，代码如下:

public static int indexOf(DynamicArray<?> arr, Object elm){
    for(int i=0; i<arr.size(); i++){
        if(arr.get(i).equals(elm)){
       		return i;
        }
    }
    return -1;
}

可以看到上述的泛型即使用了无限定通配符，当然此通配符也可以使用泛型类型T来代替，效果是相同的，不过无限定通配符使用起来更简洁，当然无论是上述的哪一种通配符，都有一个限制–只能读，不可以写入，我们先看例子:

DynamicArray<Integer> ints = new DynamicArray<>();
DynamicArray<? extends Number> numbers = ints;
Integer a = 200;
numbers.add(a); //代码错误，不允许添加
numbers.add((Number)a)； //代码错误，不允许添加
numbers.add((Object)a); //代码错误，不允许添加

可以看到这三种方法，都尝试在泛型类型未确定的时候尝试插入操作，无一例外都失败了，这里就是Java对与泛型的类型检查的优化，无论是？通配符，还是<? extends E>方式的泛型，这里的泛型类型都是不确定的，所以允许插入后就会有类型安全的问题。当然除了这一点以外，如果返回值依赖某个引用类型参数，也不允许使用通配符，如下:

public static <T extends Comparable<T>> T max(DynamicArray<T> arr){
    T max = arr.get(0);
        for(int i=1; i<arr.size(); i++){
            if(arr.get(i).compareTo(max)>0){
            	max = arr.get(i);
        	}
    	}
	return max;
}

这里的代码如果使用通配符，就会出现意想不到的问题，所以也无法使用通配符操作，从上面我么可以总结出，无限定通配符和泛型类型参数的关系，如下：

1.无限定通配符能修饰的泛型，都可以使用泛型类型参数的方式替换

2.通配符可以减少泛型类型参数，代码更简洁，可读性更好

3.如果类型参数之间有依赖关系，或者返回值依赖于传递的类型参数，这里只能使用泛型类型参数

超类型通配符

上面我们知道可以在泛型中存在继承关系，所以我们可以指定泛型的父类上界，也可以使用有限定通配符，一定程度上可以实现我们开发的灵活简化，但是也存在这样的场景，比如我们知道某一个具体的子类实现，但是我们希望无论是哪一级的父类型都可以作为通用的操作，这个时候我们不确定类型的就是超类了，还能使用泛型吗？答案是能，泛型在Java1.6中加入了超类型通配符操作，形式为<? super E>，首先我们先看没有超类型通配符的一个简单场景，如下:



# **Java高频面试专题合集解析：**

![阿里Java岗面试百题：Spring 缓存 JVM 微服务 数据库 RabbitMQ等](https://img-blog.csdnimg.cn/img_convert/622f5c57cda58627218db5aab7059d42.png)

当然在这还有更多整理总结的Java进阶学习笔记和面试题未展示，在这也是免费分享给那些有需要的朋友，其中囊括了**Dubbo、Redis、Netty、zookeeper、Spring cloud、分布式、高并发等架构资料和完整的Java架构学习进阶导图！**

**这些资料都以整理成了PDF文档，如果有需要可以[狂戳这里免费下载](https://gitee.com/vip204888/java-p7)即可！**


![阿里Java岗面试百题：Spring 缓存 JVM 微服务 数据库 RabbitMQ等](https://img-blog.csdnimg.cn/img_convert/00b17269e8c4a31507b4ef7b54e2f2f7.png)

**更多Java架构进阶资料展示**

![阿里Java岗面试百题：Spring 缓存 JVM 微服务 数据库 RabbitMQ等](https://img-blog.csdnimg.cn/img_convert/17e3b6d9ebdf53818f7a22417ea27391.png)

![阿里Java岗面试百题：Spring 缓存 JVM 微服务 数据库 RabbitMQ等](https://img-blog.csdnimg.cn/img_convert/b475b62fd215abeb349563996312e253.png)


**这些资料都以整理成了PDF文档，如果有需要可以[狂戳这里免费下载](https://gitee.com/vip204888/java-p7)即可！**


[外链图片转存中...(img-kBu4Wgh6-1628674719462)]

**更多Java架构进阶资料展示**

[外链图片转存中...(img-uEu8FzLz-1628674719464)]

[外链图片转存中...(img-HikRy88J-1628674719467)]

![阿里Java岗面试百题：Spring 缓存 JVM 微服务 数据库 RabbitMQ等](https://img-blog.csdnimg.cn/img_convert/19acd31c6a08f52c746af8e16641d2de.png)

Java小吴学Java

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
Java泛型机制详解；这些你都知道吗，Java面试题大全(整理版)

}使用的时候的代码只要这么改动:```javaPair minmax = new Pair(1,100);Integer min = (Integer)minmax.getFirst();//字段强制转换Integer max = (Integer)minmax.getSecond();//字段强制转换这样使用其实是可以的，事实上Java提供的泛型机制其实底层就是如此实现的。之所以这么设计，与Java当初设计的时候的jvm虚拟机编译机制有关系，要知道泛型设计的时候Java才到Jdk1.4版
复制链接

扫一扫