面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?

这篇具有很好参考价值的文章主要介绍了面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

什么是泛型

泛型的本质是 类型参数化,解决类型爆炸的问题。

所谓泛型是指将类型参数化,以达到代码复用提高软件开发工作效率的一种数据类型。

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

然后我们要定义一个盘子 plate,注意这个盘子除了  装入食物food之外,还可以装其他的比如 小玩具。

为了装不同类型的食物,我们需要定义不同的盘子:

(1) 装水果的盘子  FruitPlate

(2) 装肉的盘子  MeatPlate

(3) 装苹果的盘子  ApplePlate

(4) 装香蕉的盘子  BananaPlate

.....

(N) 装云南苹果的盘子  YunnanFruitPlate

这就是盘子类型的  类型爆炸。

如何解决上面的类型爆炸问题呢? 这就要用到泛型。

那么盘子里的东西的类型,我们就用泛型

 面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

从这个例子看到:泛型是一种类型占位符,或称之为类型参数

如何使用呢?

public static void main(String[] args) {
    //创建一个装水果的盘子
    PlateDemo1<Fruit> plateDemo2 =new PlateDemo1<>(new Apple());

}

所谓泛型,就是 数据类型 指定为一个参数,在不创建新类的情况下,通过创建变量的时候去确定 数据的具体类型。

也就是说,在创建对象或者调用方法的时候才明确下具体的类型。

泛型定义:泛型类、泛型接口、泛型方法

泛型可以在类、接口、方法中使用,分别称为泛型类、泛型接口、泛型方法。

第一类:泛型类 定义格式:

修饰符 class 类名<类型> { }

 上面的例子就是 泛型类

class PlateDemo1<T> {

    //盘子里的东西
    private T someThing;
}

第二类:泛型方法

定义格式:

修饰符 <泛型类型> 返回值类型 方法名(类型 变量名) { }

 示例代码:

public <T> void demo(T t) { 
    ...
}

第三类:泛型接口

定义格式:

修饰符 interface 接口名<类型> { }

 示例代码:

public interface Generic<T> { 
    void demo(T t); 
}

 泛型接口的实现类

public class GenericImpl<T> implements Generic<T> { 
    public void demo(T t) { 
      ...
    } 
}

为什么不用Object做泛型化?

没有泛型的情况的下,好像Object也能实现简单的 泛化。

通过定义为类型Object的引用,来实现参数的“任意化”。

比如上面的例子的 泛型类

通过定义为类型Object的引用,来实现参数的“任意化”,结果如下

class PlateDemo1   {

    //盘子里的东西
    private Object  someThing;
}

Object实现参数的 “泛型化”、“任意化”带来的缺点是:要做显式的强制类型转换。

参数类型强制转换有一个大大降低代码复用性和扩展性的坏处:

  • 首先,要求开发者对实际参数类型可预知。

  • 其次,不利于未来的 扩展。

泛型的两大好处

1、避免了强制类型转换,提高代码的复用性和扩展性

泛型中,所有的类型转换都是自动和隐式的,不需要强制类型转换,可以提高代码的重用率,再加上明确的类型信息,代码的可读性也会更好。

2、把运行时期的问题提前到了编译期,编译时的类型检查,使程序更加健壮

使用普通的Object泛化,对于强制类型转换错误的情况,编译期不会提示错误,在运行的时候才出现异常,这是一个安全隐患。

泛型的好处是在编译期检查类型安全,并能捕捉类型不匹配的错误,避免运行时抛出类型转化异常ClassCastException,将运行时错误提前到编译时错误,消除安全隐患。

正是由于以上两点原因,泛型得到了广泛的应用。

比如Java中,所有的标准集合接口都是泛型化的:Collection<V>List<V>Set<V>Map<K,V>

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

泛型的上界/ 上界通配符(Upper Bounds Wildcards)

现在我定义一个“水果盘子”,用来装苹果, 逻辑上水果盘子当然可以装苹果。

那么,一个“装苹果的盘子”,能转换成一个“装水果的盘子”吗?

看下面的例子

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

那么,一个“装苹果的盘子”,能转换成一个“装水果的盘子”吗? 答案是不行的。

编译器 的逻辑是这样的:

  • 苹果  is-a  水果

  • 装苹果的盘子 not  is-a   装水果的盘子

也就是说:就算 苹果  is-a 水果,但容器之间是没有继承关系的。

怎么办?这里用到了  泛型上界。   泛型上界是这么定义的:

<?extends 基类B> 

<?extends 基类B>  表示泛型实参类型的上界是“基类B”,

换句话说,泛型实参的类型,可能是“基类B” 或者是“基类B”的子类;

修改之后的例子如下,使用 泛型上界通配符(Upper Bounds Wildcards)后,编译器就不报错误了:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

使用(Upper Bounds Wildcards)通配符作为泛型实参,所定义 PlateDemo1<?extends Fruit> 引用,可以 覆盖下图中方框内部的所有子类的  泛型对象。

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

<?extends T>  表示类型的上界,参数化类型可能是T 或者是 T的子类;

PlateDemo1<?extends Fruit> 引用,可以 覆盖下图中方框内部的所有子类的  泛型对象,编译器都不报错,下面的代码如下:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

为啥<?extends Fruit> 叫做 上界,而不叫下届? 原因是:这个通配符,定义了实参的类型上限 为 Fruit,具体如下图:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

上界通配符(Upper Bounds Wildcards)的问题 

上界通配符(Upper Bounds Wildcards)的作用,实现了 子类泛型对象 到 父类Java泛型对象之间的引用转换。

但是,这样的引用转换也有一定的副作用。

具体如下:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

通过例子可以看到:

(1)往基类盘子,set( ) 任何对象,都 失效了

(2)从基类盘子,get ( )  对象的引用,返回 类型是上界对象,  这个还是 可以的

简单来说:上界<? extends T>不能往里存,只能往外取

所以,上界通配符(Upper Bounds Wildcards)什么时候用,什么时候不用呢:

(1)当从集合中获取元素进行操作的时候用,可以用当前元素的类型接收,也可以用当前元素的父类型接收。

(2)往集合中添加元素时,不能用上界通配符(Upper Bounds Wildcards)。

泛型的下界/ 下界通配符(Lower Bounds Wildcards)

往集合中添加元素时,不能用上界通配符(Upper Bounds Wildcards)。

怎么办呢?

Java也提供了一种通配符,叫做 泛型的下界/ 下界通配符(Lower Bounds Wildcards)。

泛型上界是这么定义的:

<?super 子类C> 

 <?super 子类C>  表示泛型实参类型的下界是“子类C”,

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

 <? super T>  表示 T是类型下边界,参数化类型是此T类型的超类型,直至object;

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

下界/ 下界通配符(Lower Bounds Wildcards)的问题 

下界/ 下界通配符(Lower Bounds Wildcards) 作用,实现了 复类泛型对象 到 子类Java泛型对象之间的引用转换。

但是,这样的引用转换也有一定的副作用。

具体如下:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

通过例子可以看到:

(1)往基类盘子,set( ) 任何子类对象,都是OK的

(2)从基类盘子,get ( )  对象的引用是编译错误的,除非是Object类型

简单来说:下界<? super T>可以往里存,但不能向外取,要取只能取Object对象

所以,下界/ 下界通配符(Lower Bounds Wildcards)什么时候用,什么时候不用呢:

(1)当往集合中添加元素时候用,既可以添加T类型对象,又可以添加T的子类型对象

(2)当从集合get ( )  对象的引用时,不能用上界通配符(Upper Bounds Wildcards)。除非get 的是Object类型

PECS原则

PECS原则的全称是Producer Extends Consumer Super,很多小伙伴从没听说过,面试的时候,只要面试官一问,大部分都是一脸懵逼。

什么是PECS(Producer Extends Consumer Super)原则?PECS原则全称"Producer Extends, Consumer Super",即上界生产,下界消费。

  • Producer Extends 上界生产,就是 生产者使用  “? extends T”通配符。

  • Consumer Super 下界消费,就是消费者使用  “? super T”通配符

最终PECS  (Producer Extends Consumer Super ) 原则

  • 频繁往外读取内容的,适合用上界Extends。

  • 经常往里插入的,适合用下界Super。

1. Producer Extends 上界生产

Producer Extends 上界生产,就是 生产者使用  “? extends T”通配符。

以“? extends T”声明的集合,不能往此集合中添加元素,所以它也只能作为生产者

所以,使用 “? extends T”  上界,能轻松地成为 producer 生产者,完成

  • 读取元素

  • 迭代元素

这就是 Producer Extends 上界生产,就是 生产者使用  “? extends T”通配符。

2. Consumer Super 下界消费

Consumer Super 下界消费,就是消费者使用  “? super T”通配符

在通配符的表达式中,只有“? super T”能添加元素,所以它能作为消费者(消费其他通配符集合)。

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

当然,针对采用“? super T”通配符的集合,对其遍历时需要多一次转型。

总之 PECS就是:

1、频繁往外读取内容的,适合用上界Extends。

2、经常往里插入的,适合用下界Super

明白了泛型、泛型的上界,泛型的下届之后,带大家来回答这个面试的核心问题:什么是泛型的擦除。

泛型的类型擦除

前面讲到,泛型的本质是 类型参数化,解决类型爆炸的问题。比如:如果我们的代码中存在很多的 食物类型, 继承关系如下

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

没有泛型,为了实现去装不同类型的食物,我们需要定义不同的盘子: 

(1) 装水果的盘子  FruitPlate

(2) 装肉的盘子  MeatPlate

(3) 装苹果的盘子  ApplePlate

(4) 装香蕉的盘子  BananaPlate

.....

(N) 装云南苹果的盘子  YunnanFruitPlate

如何解决上面的类型爆炸问题呢? 这就要用到泛型。

而使用泛型,我们定义一个就可以了:

class PlateDemo1<T> {

    //盘子里的东西
    private T someThing;

    public PlateDemo1(T t) {
        someThing = t;
    }
    ....
}

这样,就避免 了 盘子类型的  类型爆炸。尤其在Java中的集合类,如果不用泛型,不知道要定义多少的具体集合类。

那么 Java中的泛型,有一个 类型擦除 的特点:

  • java的泛型,只在编译期有效。

  • 编译之后的字节码,已经抹除了泛型信息。

所谓的类型擦除(type erasure),指的是泛型只在编译时起作用,在进入JVM之前,泛型会被擦除掉,根据泛型定义的形式而被替换为相应的类型。这也说明了Java的泛型其实是伪泛型。

类型擦除简单来说,泛型类型在逻辑上可以看成是多个不同的类型,实际上都是相同类型。

比如:

Food food = new Fruit(); // 没问题
ArrayList<Food> list= new ArrayList<Fruit>(); // 报错

或者说下面的ArrayList ,在逻辑上看,可以看成是多个不同的类型,实际上都是相同类型

看下面的例子

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

类型参数在运行中并不存在,这意味着:

  • 运行期间,泛型不会添加任何的类型信息;

  • 不能依靠泛型参数,进行类型转换。

Java泛型的实现是靠类型擦除技术实现的,类型擦除是在编译期完成的,泛型擦除怎么做呢?

  • 在编译期,编译器会将泛型的类型参数都擦除成它指定的原始限定类型

  • 如果没有指定的原始限定类型则擦除为Object类型,之后在获取的时候再强制类型转换为对应的类型,

  • 因此生成的Java字节码中是不包含泛型中的类型信息的,即运行期间并没有泛型的任何信息。

无界泛型擦除

当泛型类型被声明为一个具体的泛型标识,或一个无界通配符时,泛型类型将会被替代为Object

这也比较容易理解,如  List<?>,PlateDemo1<?>,   当获取元素的时,因为不能够确定具体的类型,所以只能使用Object来接收,

在擦除的时候也是一样的道理,无法确定具体类型,所以擦除泛型时会将其替换为Object类型,如:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

上界擦除 

当泛型类型被声明为一个上界通配符时,泛型类型将会被替代为相应上界的类型。

主要,这里的上界,指的是用于类型定义场景里边的上界:

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

而不是变量定义场景里边用到到泛型上界,如下:

 List<? extends Fruit> producer =...;

 用泛型上界定义class的时候,指的是用于类型定义,泛型类型将会被替代为相应上界的类型。

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

下界擦除 

下界通配符的擦除,同无界通配符

下届只能定义引用的时候用,在定义类型的时候用不了,所以下界擦除只能替换为Object

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

下界擦除只能替换为Object

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言

面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?,面试宝典,Java底层,学习日记,java,开发语言文章来源地址https://www.toymoban.com/news/detail-824954.html

到了这里,关于面试官:请问泛型擦除、泛型上界、泛型下界、PECS原则 是什么?的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 数据结构(2)时间复杂度——渐进时间复杂度、渐进上界、渐进下界

    目录 2.1.概述 2.2.时间复杂度的计算 2.2.1.渐进复杂度 2.2.2.渐进上界 2.2.3.渐进下届 2.2.4.复杂度排序 2.2.5.举几个例子 算法的基本定义: 求解问题的一系列计算或者操作。 衡量算法性能的指标: 时间复杂性 空间复杂性 这两个指标里最有用的是时间复杂度,平时谈的算法复杂度

    2024年02月11日
    浏览(42)
  • matlab中模型函数计算出 Inf,拟合无法继续。请尝试使用或收紧系数的上界和下界。

    使用matlab中曲线拟合器(cftool)进行曲线拟合后,导出函数在调用后会出现 模型函数计算出 Inf,拟合无法继续。 请尝试使用或收紧系数的上界和下界, 报错,拟合无法继续进行。 解决办法:根据拟合的函数曲线大概确定参数的取值范围,将cftool中参数约束的取值范围-inf

    2024年02月15日
    浏览(32)
  • 【JavaSE】Java进阶知识一(泛型详解,包括泛型方法,协变,逆变,擦除机制)

    目录 泛型 1. 什么是泛型 2.泛型方法 3.通配符上界(泛型的协变) 4.通配符下界(泛型的逆变) 5.泛型的编译(擦除机制)         泛型:就是让一个类能适用于多个类型,就是在封装数据结构时能让封装的类型被各种类型使用所以引入了泛型的概念,虽然有了泛型,什么数

    2024年02月04日
    浏览(44)
  • 面试官:请问蓝牙设备如何测试?灵魂拷问,我人傻了....

    所谓蓝牙技术,实际上是一种短距离无线通信技术,利用“蓝牙”技术,能够有效地简化掌上电脑、笔记本电脑和移动电话手机等移动通信终端设备之间的通信,也能够成功地简化以上这些设备与Internet之间的通信,从而使这些现代通信设备与因特网之间的数据传输变得更加

    2023年04月11日
    浏览(38)
  • 面试:vue组件的设计原则

    (1)页面上每个独立的可视/可交互区域视为一个组件(比如页面的头部,尾部,可复用的区块) (2)每个组件对应一个\\\"工程\\\"目录,组件所需要的各种资源在这个目录下就近维护(组件的就近维护思想体现了前端的工程化思想,为前端开发提供了很好的分治策略,在vue.js中,通过.v

    2024年02月06日
    浏览(39)
  • 【软件设计原则】系统设计面试基础:CAP 与 PACELC

    什么是 CAP 定理以及 PACELC 如何扩展它? 在分布式系统中,可能会发生不同类型的故障,例如,服务器可能会崩溃或永久故障,磁盘可能会损坏导致数据丢失,或者网络连接可能会丢失,导致系统的一部分无法访问。分布式系统如何对自身进行建模以从不同的可用资源中获得

    2024年02月13日
    浏览(37)
  • MySQL面试题入门:四大范式、SQL生命周期、SQL六大语言、索引、最左匹配原则....

    第一范式:属性不可分割,即每个属性都是不可分割的原子项。(实体的属性即表中的列) 第二范式:满足第一范式;且不存在部分依赖,即非主属性必须完全依赖于主属性。(主属性即主键;完全依赖是针对于联合主键的情况,非主键列不能只依赖于主键的一部分) 第三范式:

    2024年04月26日
    浏览(55)
  • 求根号n下界

    目录 求根号n  程序设计 程序分析  系列文章 【问题描述】设计一个计算 的算法,n是任意正整数。 除了赋值和比较运算,该算法只能用到基本的四则运算操作。 【输入形式】输入一个正整数 【输出形式】输出答案

    2023年04月16日
    浏览(28)
  • 扎实打牢数据结构算法根基,从此不怕算法面试系列之004 week01 02-04 使用泛型实现线性查找法

    在数组中逐个查找元素,即遍历。 在 扎实打牢数据结构算法根基,从此不怕算法面试系列之003 week01 02-03 代码实现线性查找法中,我们实现了如下代码: 之前实现的局限: 只支持int型。 需求: 支持所有的Java基本数据类型以及自定义的类类型。 很简单,很多语言都有这个处

    2023年04月16日
    浏览(45)
  • 排序算法的时间复杂度存在下界问题

    对于几种常用的排序算法,无论是归并排序、快速排序、以及更加常见的冒泡排序等,这些排序算法的时间复杂度都是大于等于O(n*lg(n))的,而这些排序算法存在一个共同的行为,那就是这些算法在对元素进行排序的时候,都会进行同一个操作,也就是对数组中取出文件,然后

    2024年02月21日
    浏览(41)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包