Java编程探索之泛型擦除实例解析

1.问题引出

源码:

 public static void main(String[] args) {
    List<Integer> a = new ArrayList<Integer>();
    List<String> b = new ArrayList<String>();
    System.out.println(a.getClass() == b.getClass());//结果true
  }

编译后L

 public static void main(String[] args) {
    ArrayList a = new ArrayList();//编译后为原生的ArrayList
    ArrayList b = new ArrayList();//编译后为原生的ArrayList
    System.out.println(a.getClass() == b.getClass());
  }

这里就是java的泛型擦除,也就是编译后泛型信息都会丢失,对于编译后的代码,里面存的只是一个Object,也就是classa和calssb擦除后都只是ArrayList类型.再看一个复杂点的例子.

2.深入

2.1.1 例一

源码:

  List<String> stringList = new ArrayList<>();
    stringList.add("张三");
    stringList.add("李四");
    String str1 = stringList.get(0);
    stringList.get(1);

编译后:

 ArrayList stringList = new ArrayList();
    stringList.add("张三");
    stringList.add("李四");
    String str1 = (String)stringList.get(0);//这里自动强转了
    stringList.get(1);

stringList.add方法接收的是Object类型参数,而不是指定的泛型String,说明泛型信息编译后不存在

stringList.get方法取出的也是个Object类型,当进行赋值操作的时候会强转为泛型类型,注意是赋值操作时才会强转,也就是用到的时候,理由就是stringList.get(1)对应的字节码并没有强转

2.1.2例二

源码:

 List stringList = new ArrayList<>();
    stringList.add("张三");
    stringList.add("李四");
    String str1 = (String) stringList.get(0);//手动强转
    stringList.get(1);

编译后:

  ArrayList stringList = new ArrayList();
    stringList.add("张三");
    stringList.add("李四");
    String str1 = (String)stringList.get(0);
    stringList.get(1);

两个例子相比较得到结论,使用泛型的话,运行期把对象都是当成object来处理的,所以可以运用的方法都是object的方法,且在赋值操作时,编译器会自动强转为指定泛型类型,另一个好处就是在编译期更早的发现向下转型可能出现的错误,因为向下转型是不安全的.

2.2.1 例三(带上界的擦除)

上界使用extends限定,使用上界的话,泛型就可以调用上界的方法,比如下面这种,泛型T调用了Human
的say()方法.

源码:

public class HumanSay<T extends Human> {
  private T t;
  public HumanSay(T t) {
    this.t = t;
  }
  public void proxySay(){
    t.say();//调用human的方法
  }
  public T get(){
    return t;
  }
}

编译后:

public class HumanSay<T extends Human> {
  private T t;
  public HumanSay(T t) {
    this.t = t;
  }
  public void proxySay() {
    this.t.say();
  }
  public T get() {
    return this.t;
  }
}

结论:

当使用上界时泛型擦除擦除为上界的类型,因此也就解释了为啥可以调用上界的方法.并且会和赋值操作的时候一样自动强转为对应的泛型,之前是Object强转,这里则是Human强转,两者都是向上转型,为安全的操作.

2.2.2 带通配符的上界

首先泛型的出现是为了安全,为了限定,这个例子和之前不同的是在list里面使用了? extends Fruit,字面理解为任何包括Fruit以及从Fruit继承下来的子类,但是实际上代码只能接收null值,其他值都不接受.

原因:

对于boolean add(E e)操作,这里的泛型E并没有被标记上某一种特定类型,而是占位符?代替,标识可以接收任意类型,所以接收的null.然而正因为如此所以不能接受特定类型,所以Apple,Apple1,Fruit都是不能通过编译的,因为这样的操作是不安全的,为了避免类型不同的情况,所以会编译不通过.

源码:

public class Test3 {
  public static void main(String[] args) {
    List<? extends Fruit> list = new ArrayList<>();
    //list.add(new Apple());//不能通过编译
    //list.add(new Apple1());//不能通过编译
    //list.add(new Fruit());//不能通过编译
    list.add(null);//能通过编译
    Object apple = list.get(0);//
  }
}
class Fruit{}
class Apple extends Fruit{}
class Apple1 extends Apple{}
class Orange extends Fruit{}

2.3.1 带通配符的下界

下界使用关键词super来指定.? super Apple和extend不同的是指定基类为Fruit以及Fruit的父类.那为什么不能add(Fruit)呢?

原因:

泛型是为了安全,泛型可能出现的错误最大程度的在编译期发现,因为可以添加Fruit以及他的父类,导致这里的泛型没有统一的根,因此add进去的值必须是绝对安全的,那么只有Apple及其子类是符合的,子类会转换为Apple存储,所以add其他父类是不允许的.

public class Test3 {
  public static void main(String[] args) {
    List<? super Apple> list = new ArrayList<>();
    list.add(new Apple());
    list.add(new Apple1());
//    list.add(new Fruit());//不能通过编译
    Object apple = list.get(0);
  }
}
class Fruit{}
class Apple extends Fruit{}
class Apple1 extends Apple{}
class Orange extends Fruit{}

总结:

泛型的出现是为了减少向下转型出现的错误,泛型的目的是尽可能的在编译器发现转型时的错误,所以对于不安全的操作(编译器认为的)会绝对禁止,存储进去的都是绝对安全(编译器认为的)的数据.

以上就是本文关于Java编程探索之泛型擦除实例解析的全部内容,希望对大家有所帮助。感兴趣的朋友可以继续参阅本站:Java编程泛型限定代码分享、Java编程通过list接口实现数据的增删改查代码示例等,有什么问题可以随时留言,小编会及时回复大家的。感谢朋友们对本站的支持!

(0)

相关推荐

  • 浅谈Java泛型通配符解决了泛型的许多诟病(如不能重载)

    泛型: package Java基础增强; import java.util.ArrayList; import java.util.List; import org.junit.Test; public class Test2 { @Test public void fun1(){ Object[] objects = new Object[10]; List list = new ArrayList(); String[] strings = new String[10]; List<Str

  • 浅谈java中定义泛型类和定义泛型方法的写法

    1.方法中的泛型 public static <T> T backSerializable(Class<T> clazz , String path ,String fileName){ FileInputStream fis = null; ObjectInputStream ois = null; Object obj = null; try { fis = new FileInputStream(path + fileName); ois = new ObjectInputS

  • java 用泛型参数类型构造数组详解及实例

    java 用泛型参数类型构造数组详解及实例 前言: 前一阵子打代码的时候突然想到一个问题.平时我们的数组都是作为一个参数传入方法中的,如果我们要想在方法中创建一个数组怎么样呢?在类型明确的情况下,这是没什么难度的.如果我们传入的参数是泛型类型的参数呢? public static <T> T[] creArray (T obj){ T[] arr = new T[10]; } 像上面这种用T来直接new数组的方法是错误的,会编译时出现一个:Cannot create a generic arr

  • 浅谈Java泛型让声明方法返回子类型的方法

    泛型典型的使用场景是集合.考虑到大多数情况下集合是同质的(同一类型),通过声明参数类型,可免去类型转换的麻烦.本文将讨论本人阅读Spring Security源码时遇到的一个关于泛型递归模式的问题. 声明方法返回子类型 在Spring Security的源码里有一个ProviderManagerBuilder接口,声明如下 public interface ProviderManagerBuilder<B extends ProviderManagerBuilder<B>> ext

  • java的Jackson将json字符串转换成泛型List

    Jackson,我感觉是在Java与Json之间相互转换的最快速的框架,当然Google的Gson也很不错,但是参照网上有人的性能测试,看起来还是Jackson比较快一点 Jackson处理一般的JavaBean和Json之间的转换只要使用ObjectMapper 对象的readValue和writeValueAsString两个方法就能实现.但是如果要转换复杂类型Collection如 List<YourBean>,那么就需要先反序列化复杂类型 为泛型的Collection Type. 如果

  • Java编程探索之泛型擦除实例解析

    1.问题引出 源码: public static void main(String[] args) { List<Integer> a = new ArrayList<Integer>(); List<String> b = new ArrayList<String>(); System.out.println(a.getClass() == b.getClass());//结果true } 编译后L public static void main(Stri

  • Java编程通过匹配合并数据实例解析(数据预处理)

    本文研究的主要是Java编程通过匹配合并数据(数据预处理)的相关内容,具体如下. 数据描述 以下程序是对如下格式的数据进行合并处理. 这个表的每一行表示用户id及用户的特征.其中,一个用户只有一个特征向量,即第一列不会重复. 这张表的第一列,表示用户的id,第二列表示用户所看的电影,第三列表示用户对电影的打分(1-13分),第四列表示用户对电影的打分,但分值范围是1-5分. 问题描述 在做数据预处理时,如何将第二张表添加上用户特征呢?其实,方法很简单,将第二张表的用户id与第一张表的用户id进行

  • Java编程实现springMVC简单登录实例

    Spring MVC属于SpringFrameWork的后续产品,已经融合在Spring Web Flow里面.Spring 框架提供了构建 Web 应用程序的全功能 MVC 模块.使用 Spring 可插入的 MVC 架构,从而在使用Spring进行WEB开发时,可以选择使用Spring的SpringMVC框架或集成其他MVC开发框架,如Struts1,Struts2等. 1.新建web项目:springmvc 2.导入springmvc需要的jar包 3.配置web.xml文件(核心代码)

  • Java内存模型原子性原理及实例解析

    这篇文章主要介绍了Java内存模型原子性原理及实例解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 本文就具体来讲讲JMM是如何保证共享变量访问的原子性的. 原子性问题 原子性是指:一个或多个操作,要么全部执行且在执行过程中不被任何因素打断,要么全部不执行. 下面就是一段会出现原子性问题的代码: public class AtomicProblem { private static Logger logger = LoggerFactory.

  • Java原子变量类原理及实例解析

    这篇文章主要介绍了Java原子变量类原理及实例解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 一.原子变量类简介 为何需要原子变量类 保证线程安全是 Java 并发编程必须要解决的重要问题.Java 从原子性.可见性.有序性这三大特性入手,确保多线程的数据一致性. 确保线程安全最常见的做法是利用锁机制(Lock.sychronized)来对共享数据做互斥同步,这样在同一个时刻,只有一个线程可以执行某个方法或者某个代码块,那么操作必然是原子性

  • java编程ThreadLocal上下传递源码解析

    目录 引导语 1.用法演示 2.类结构 2.1.类泛型 2.2.关键属性 2.2.1.ThreadLocalMap 3.ThreadLocal是如何做到线程之间数据隔离的 4.set方法 5.get方法 6.扩容 7.总结 引导语 ThreadLocal 提供了一种方式,让在多线程环境下,每个线程都可以拥有自己独特的数据,并且可以在整个线程执行过程中,从上而下的传递. 1.用法演示 可能很多同学没有使用过 ThreadLocal,我们先来演示下 ThreadLocal 的用法,demo 如下:

  • Java编程思想对象的容纳实例详解

    Java提供了容纳对象(或者对象的句柄)的多种方式,接下来我们具体看看都有哪些方式. 有两方面的问题将数组与其他集合类型区分开来:效率和类型.对于Java来说,为保存和访问一系列对象(实际是对象的句柄)数组,最有效的方法莫过于数组.数组实际代表一个简单的线性序列,它使得元素的访问速度非常快,但我们却要为这种速度付出代价:创建一个数组对象时,它的大小是固定的,而且不可在那个数组对象的"存在时间"内发生改变.可创建特定大小的一个数组,然后假如用光了存储空间,就再创建一个新数组,将所有句柄从

  • Java编程实现打印螺旋矩阵实例代码

    直接上代码吧. 昨晚腾讯在线测试遇到的题. 螺旋矩阵是指一个呈螺旋状的矩阵,它的数字由第一行开始到右边不断变大,向下变大,向左变大,向上变大,如此循环. import java.util.Scanner; public class mysnakematrix { private int n; // private int a[][]; // 声明一个矩阵 private int value = 1; // 矩阵里数字的值 public mysnakematrix(int i) { this.n

  • java阻塞队列实现原理及实例解析

    这篇文章主要介绍了java阻塞队列实现原理及实例解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 阻塞队列与普通队列的不同在于.当队列是空的时候,从队列中获取元素的操作将会被阻塞,或者当队列满时,往队列里面添加元素将会被阻塞.试图从空的阻塞队列中获取元素的线程将会被阻塞,直到其他的线程往空的队列插入新的元素.同样,试图往已满的阻塞队列中添加新元素的线程同样也会被阻塞,直到其他的线程使队列重新变得空闲起来,如从队列中移除一个或者多个元素,或者完

  • Java定义形式及可变参数实例解析

    这篇文章主要介绍了Java定义形式及可变参数实例解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下 Java中的方法类似于面向过程程序设计中的函数,但与其不同的是,Java中的方法不能独立存在,它属于类或对象.既然方法属于类或对象,那么,方法的调用者就必须是类或对象.(当然,之后将会提到的同一个类中方法互相调用,实际上也是类或对象在作为调用者) 还是先上一段代码: package com.my.pac05; /** * @author Summ

随机推荐