Java 共变数组和类型擦除

最新推荐文章于 2021-11-23 09:06:26 发布
最新推荐文章于 2021-11-23 09:06:26 发布
阅读量507 收藏 7
点赞数 3
分类专栏： 后台开发 java 文章标签： 共变数组 类型擦除 Java
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_40208575/article/details/103904142
版权

共变数组（covariant array）, 类型擦除（type erasure）

数组的共変性

如果类A是类B的基类，那么A[]是B[]的基类
但泛型是不可变的(invariant)
看一个例子：
在这里插入图片描述
编译的时候没有报错（IDEA没有报红在写上这段代码的时候），因为数组是共变的，Object是String的基类，但运行时会报错
在这里插入图片描述

类型擦除

把上面的代码改成：
在这里插入图片描述
IDEA就报红了，我们也强行运行一下这个java
在这里插入图片描述
发现在build（编译）的过程就报错了，因为就是类型擦除。
Java的泛型机制是在编译级别实现的，只有编译的时候才会对类型进行强化，编译器生成的字节码在运行期间并不包含泛型的类型信息（泛型的类型信息是会被擦除的）。
Object是String的基类，但在泛型类型里List< Object>并不是List< String>的基类，不能这么使用

为什么Java不允许泛型数组

在这里插入图片描述
直接就报错了
在这里插入图片描述
不允许创建泛型数组
假设允许创建的话，上面的代码obj就可以当做list1的基类，obj[0]是一个String的list，最后以为list_int.get(0)是一个Integer类型，可实际上是String，那么在调用方法的时候就会出错，这样做将破坏要提供的类型安全泛型
上面例子可能稍复杂，见下：
在这里插入图片描述
如果允许泛型也是共变的话，那么就可以放任意类型的数据进去List< Integer>中，这就破坏了蕴含在 list2定义中的类型安全承诺

TonyPaPa
关注
  • 3
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
Java数组和方法
weixin_59169497的博客
03-06 106
Java中的数组和方法详情
Java数组与方法
qq_41590178的博客
04-29 2763
** 一维数组 ** 数组的初始化：静态初始化、动态初始化 静态初始化：在声明时指定数组内容 数组类型 数据名[] = {初始值1，初始值2，…} int num[]={1,2,3} 动态初始化：先声明再赋值。 数组默认值 int[]->0 , double->0.0 , boolean[]->false , char[]->编码为0的控制字符 数组堆与栈 ** 二维数...
共变数组和类型擦除
欢迎光临
11-23 314
共变数组和类型擦除 数组的共变性，也称为协变性 数组的共变性(covariant)是指：如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类 数组的共变性可能会导致一些错误，比如下面的代码： public static void main(String[] args) { Object[] array = new String[10]; array[0] = 10; } 它是可以编译通过的，因为数组是共变的，Object[]类型的引用可以指向一个String[]类型的对象 但是运行的时
Java——协变数组和类型擦除(covariant array type erasure)
自慎
07-27 3450
1、数组的协变性 数组的协变性(covariant)是指： 如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类。 而泛型是不可变的(invariant)，List不会是List的基类，更不会是它的子类。 数组的协变性可能会导致一些错误，比如下面的代码： ? 1 2 3 4 public
Java——协变数组和类型擦除(covariant array & type erasure)
JPing的专栏
01-08 3395
1、数组的协变性 数组的协变性(covariant)是指： 如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类。 而泛型是不可变的(invariant)，List不会是List的基类，更不会是它的子类。 数组的协变性可能会导致一些错误，比如下面的代码： public static void main(String[] args) { Object[] ar
Java基础篇：泛型与类型擦除
热门推荐
张维鹏的博客
09-27 1万+
一、什么是泛型； 泛型的本质是 参数化类型，也就是说 将所操作的数据类型 指定为一个参数，在不创建新的类型的情况下，通过泛型指定的不同类型，来控制形参具体限制的类型。类似于方法中的变量参数，此时类型也定义成参数形式，然后在使用的过程中，指定具体的类型。 这种参数类型可以在类、接口、方法中使用，分别称为泛型类、泛型接口、泛型方法。 二、泛型的好处： 没有泛型的情况的下，通过对类型Obj...
Java 泛型：泛型和类型擦除详解-修改中...
swadian2008的博客
09-07 3435
Java 泛型的实现是在编译层，编译后生成的字节码中不包含泛型中的类型信息。所以使用泛型时，加上的类型参数，会在编译器编译的时候去掉，这个过程称为类型擦除。System.out.println("两者相同吗？System.out.println("list1集合:"+list1.getClass());System.out.println("list2集合:"+list2.getClass());}}存放 String 和 Integer 类型 list 的集合，原始类型均为。
OC开发之可变数组
07-23
自己学习整理的可变数组的知识，希望对一起学习的朋友有帮助。
Oracle学习笔记(嵌套表、可变数组)
04-07
Oracle学习笔记(嵌套表、可变数组),有具体的代码案例供大家参考
java-immutable-collections:Java不可变的基于数组的集合
05-11
ImmutableCollections-基于数组的Java不可变集合 版权所有（c）2017 Nicholas Cull 有关许可信息，请参阅...排序和未排序的变体 风格类似于番石榴收集包装 空友好 Java 8习惯用法包括流支持 可序列化 项目链接： :
可变数组.dev
11-22
可变数组.dev
C#中可变数组运用
05-03
初学者可以看看，欢迎交流！ 可变数组与数组有很大区别，你能从中收获一点东西！
Java学习：协变数组和类型擦除(covariant array ; type erasure)
KesarChen的博客
11-14 5845
数组的协变性数组的协变性(covariant)是指：如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类。而泛型是不可变的(invariant)，List不会是List 的基类，更不会是它的子类。
Java——协变数组和类型擦除(covariant array ; type erasure)
u011251014的博客
11-10 432
1、数组的协变性数组的协变性(covariant)是指：如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类。而泛型是不可变的(invariant)，List不会是List的基类，更不会是它的子类。数组的协变性可能会导致一些错误，比如下面的代码：1234public static void main(String[] args) {     Object[] array = new
Java学习笔记（类型擦除和共变数组）
xiao_z_的博客
04-25 198
public class Covariant_array { public static void test() { Object[] sObjects=new String[10]; sObjects[1]=19; } public void test1() { //List<Object> sArrayList=new ArrayList<Strin...
Java笔记（一） 协变性、数组与泛型
技术杂记
11-17 286
前言 在开始前，我们先看一段有点“误导性”的代码，下面的代码在编译时不会产生任何异常。 package test; public class Test { private interface Shape{ } private class Square implements Shape{ } private class Circle implements Shape{ } p...
数组是协变的，具体化的
Ron的专栏
04-11 2725
数组是协变的，如果Apple是Fruit的子类型，那么数组类型Apple[]就是Fruit[]的子类型，所以这就使得此向上转型是成立的。 Fruit[] apples=new Apple[size]; 数组在编译时表示法可能是抽象的，而在运行时表示法往往一定是具体的，包含更多的信息。 Object[] objects=new Fruit[size]; Fruit[] app
nested exception is java.awt.AWTError: Can't connect to X11 window server using 'localhost:10.0' as
weixin_40208575的博客
02-05 1万+
使用带图片访问服务器的一个接口时(服务器使用了tomcat作服务器，使用了ssm框架)，服务器直接500报错 出现这个报错的原因是linux上未开启x server，我们需要在tomcat上配置一下，把它开起来 需要加上JAVA_OPTS="-Djava.awt.headless=true" 解释一下headless Headless模式是系统的一种配置模式。在系统可能缺少显示设备、键盘或鼠标这...
dataframe变数组
最新发布
10-12
可以使用pandas库中的values属性将DataFrame转换为数组。例如，假设df是一个DataFrame，可以使用以下代码将其转换为数组： ``` import pandas as pd import numpy as np df = pd.DataFrame({'A': [1, 2, 3], 'B': ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值