详解java 中泛型中的类型擦除和桥方法

2024-04-20 01:34:09

在Java中，泛型的引入是为了在编译时提供强类型检查和支持泛型编程。为了实现泛型，Java编译器应用类型擦除实现：

1、用类型参数（type parameters）的限定（如果没有就用Object）替换泛型类型中的所有类型参数。

2、需要保持类型安全的时候插入类型转换（隐含插入）

3、在extened 泛型类型中生成桥方法来保证多态性

类型擦除确保不会为已参数化了的类型（paramterized types）产生新类，这样泛型能保证没有运行时的负载。

泛型类型擦除

在类型擦除过程中，java编译器擦除所有类型参数，用它的限定或者Object(没限定时)替换。

考虑下面的泛型类：

public class Node<T> { 

 private T data;
 private Node<T> next; 

 public Node(T data, Node<T> next) }
  this.data = data;
  this.next = next;
 } 

 public T getData() { return data; }
 // ...
}

因为类型参数T是非限定的，Java编译器使用Object替换它：

public class Node { 

 private Object data;
 private Node next; 

 public Node(Object data, Node next) {
  this.data = data;
  this.next = next;
 } 

 public Object getData() { return data; }
 // ...
}

下面的例子，泛型Node类使用了限定类型参数：

public class Node<T extends Comparable<T>> { 

 private T data;
 private Node<T> next; 

 public Node(T data, Node<T> next) {
  this.data = data;
  this.next = next;
 } 

 public T getData() { return data; }
 // ...

编译器会使用第一个限定类，Comparable替换限定参数类型T:

public class Node { 

 private Comparable data;
 private Node next; 

 public Node(Comparable data, Node next) {
  this.data = data;
  this.next = next;
 } 

 public Comparable getData() { return data; }
 // ...
}

同样，泛型方法也可以擦除。规则类似，不细说。

类型擦除的影响和桥方法

有时候类型擦除会引起无法预知的情况。比如：

给定以下两个类：

public class Node<T> { 

 public T data; 

 public Node(T data) { this.data = data; } 

 public void setData(T data) {
  System.out.println("Node.setData");
  this.data = data;
 }
} 

public class MyNode extends Node<Integer> {
 public MyNode(Integer data) { super(data); } 

 public void setData(Integer data) {
  System.out.println("MyNode.setData");
  super.setData(data);
 }
}

考虑以下代码：

MyNode mn = new MyNode(5);
Node n = mn;   // 原生类型 – 编译器会给出未检查警告
n.setData("Hello");
Integer x = mn.data; // 会引发抛出ClassCastException

类型擦除后，代码变成：

MyNode mn = new MyNode(5);
Node n = (MyNode)mn;   //原生类型 – 编译器会给出未检查警告
n.setData("Hello");
Integer x = (String)mn.data; //会引发抛出ClassCastException

public class Node { 

 public Object data; 

 public Node(Object data) { this.data = data; } 

 public void setData(Object data) {
  System.out.println("Node.setData");
  this.data = data;
 }
} 

public class MyNode extends Node { 

 public MyNode(Integer data) { super(data); } 

 public void setData(Integer data) {
  System.out.println("MyNode.setData");
  super.setData(data);
 }
}

类型擦除后，方法的签名已经不匹配。Node 方法变成setData(Object),MyNode方法变成setData(Integer)。MyNode setData方法已经不是覆盖Node setData方法。

为了解决这个问题，维持泛型类型的多态性，java编译器会生成一个桥方法:

class MyNode extends Node { 

 // 编译器生成的桥方法
 //
 public void setData(Object data) {
  setData((Integer) data);
 } 

 public void setData(Integer data) {
  System.out.println("MyNode.setData");
  super.setData(data);
 } 

 // ...

感谢阅读，希望能帮助到大家，谢谢大家对本站的支持！

java使用泛型实现栈结构示例分享

思路分析:既然是用泛型实现栈结构,那就不能用JDK自带的stack包了,需要自己定义一个栈结构,比如LinkedList. 代码如下: Stack.java: 复制代码代码如下: package cn.edu.xidian.crytoll;import java.util.LinkedList; public class Stack<T> { private LinkedList<T> container = new LinkedList<T>(); public v
Java中的泛型详解

所谓泛型:就是允许在定义类.接口指定类型形参,这个类型形参在将在声明变量.创建对象时确定(即传入实际的类型参数,也可称为类型实参) 泛型类或接口 "菱形"语法复制代码代码如下: //定义 public interface List<E> extends Collection<E> public class HashMap<K,V> extends AbstractMap<K,V> implements Map<K,V
基于java中泛型的总结分析

要我直接说出泛型是个what我还真讲不出来,这里先由一道问题引入: 定义一个坐标点类,要求能保存各种类型的数据,如:整形,浮点型,和字符串类型既然变量类型起先不确定,那么很容易想到就是用所有类型的父类,也就是Object类来代替不废话了,用代码来体现实例1:用Object来实现不确定的数据类型输入复制代码代码如下: //这是定义的坐标点类class Point { private Object x; private Object y; //用Object来表示不确定的类型
Java8中对泛型目标类型推断方法的改进

一.简单理解泛型泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.通俗点将就是"类型的变量".这种类型变量可以用在类.接口和方法的创建中. 理解Java泛型最简单的方法是把它看成一种便捷语法,能节省你某些Java类型转换(casting)上的操作: 复制代码代码如下: List<Apple> box = new ArrayList<Apple>();box.add(new Apple());Apple a
Java编程思想里的泛型实现一个堆栈类分享

觉得作者写得太好了,不得不收藏一下. 对这个例子的理解: //类型参数不能用基本类型,T和U其实是同一类型. //每次放新数据都成为新的top,把原来的top往下压一级,通过指针建立链接. //末端哨兵既是默认构造器创建出的符合end()返回true的节点. 复制代码代码如下: //: generics/LinkedStack.java// A stack implemented with an internal linked structure.package generics; publi
多个java泛型示例分享

1.泛型类 1.1普通泛型复制代码代码如下: package test.lujianing;/** * 泛型类 * @param <T> */class Test<T>{ private T obj; public void setValue(T obj){ this.obj =obj; } public T getValue(){ System.out.println(obj.getClass().getName());
java泛型学习示例

Java泛型(Generics)是JDK5开始引入的一个新特性,允许在定义类和接口的时候使用类型参数(Type Parameter).声明的类型参数在使用时用具体的类型来替换,现在泛型最主要的应用是在JDK5中的新集合类框架中,Map, List均有用到.其中的优点不言而喻,我们可以横向扩展更多的类,缺点呢,其实也就是他的优点,因为这需要我们在使用泛型类的时候,要很清楚自己的代码目地,不能使用错误的类型. 最基本的泛型类复制代码代码如下: package com.garinzhang.jav
Java中泛型的用法总结

本文实例总结了Java中泛型的用法.分享给大家供大家参考.具体如下: 1 基本使用 public interface List<E> { void add(E); Iterator<E> iterator(); } 2 泛型与子类 Child是Parent的子类,List<Child>却不是List<Parent>的子类. 因此:List<Object> list = new ArrayList<String>()是错误的. 如果上面
解析Java的Jackson库中对象的序列化与数据泛型绑定

Jackson对象序列化这里将介绍将Java对象序列化到一个JSON文件,然后再读取JSON文件获取转换为对象.在这个例子中,创建了Student类.创建将有学生对象以JSON表示在一个student.json文件. 创建一个名为JacksonTester在Java类文件在 C:\>Jackson_WORKSPACE. 文件: JacksonTester.java import java.io.File; import java.io.IOException; import org.codeh
详解java面试题中的i++和++i

代码如下所示: public class TestPlusPlus{ public static void main(String[] args){ int k = addAfterReturn(10); System.out.println(k); //输出 10 int k1 = addbeforeReturn(10); System.out.println(k1); //输出11 } public static int addbeforeReturn(int i){ return ++i;
详解Java关于JDK中时间日期的API

目录 JDK 8中关于日期和时间的API测试 JDK 8 之前日期和时间的API测试 //1.System类中的currentTimeMillis() public void test1(){ long time = System.currentTimeMillis(); //返回当前时间与1970年1月1日0时0分0秒之间以毫秒为时间为单位的时间差. //称为时间戳 System.out.println(time);//1628416744054 } /* java.util.Date类 |-
详解Java删除Map中元素java.util.ConcurrentModificationException”异常解决

今天在使用map并需要根据某些条件删除map元素时,自然而然想到调用Map中的remove(Object key)函数进行删除,代码如下: //遍历map,如果key<5,那么就删除此元素. Map<Integer, Integer> users = new LinkedHashMap<Integer, Integer>(); for (Map.Entry<Integer,Integer> entry : users.entrySet()){ for (int i
详解java 中泛型中的类型擦除和桥方法

在Java中,泛型的引入是为了在编译时提供强类型检查和支持泛型编程.为了实现泛型,Java编译器应用类型擦除实现: 1. 用类型参数(type parameters)的限定(如果没有就用Object)替换泛型类型中的所有类型参数. 2. 需要保持类型安全的时候插入类型转换(隐含插入) 3. 在extened 泛型类型中生成桥方法来保证多态性类型擦除确保不会为已参数化了的类型(paramterized types)产生新类,这样泛型能保证没有运行时的负载. 泛型类型擦除在类型擦除过程中,
详解Java面向对象编程中方法的使用

一个 Java 方法是为了执行某个操作的一些语句的组合.举个例子来说,当你调用 System.out.println 方法时,系统实际上会执行很多语句才能在控制台上输出信息. 现在你将学习怎么创建你自己的方法,他们可以有返回值也可以没有返回值,可以有参数,也可以没有参数,重载方法要使用相同的方法名称,并在程序设计中利用抽象的方法. 创建方法我们用下面的例子来解释方法的语法: public static int funcName(int a, int b) { // body } 在这里 pub
详解Java在redis中进行对象的缓存

Java在redis中进行对象的缓存一般有两种方法,这里介绍序列化的方法,个人感觉比较方便,不需要转来转去. 一.首先,在存储的对象上实现序列化的接口 package com.cy.example.entity.system; import java.util.List; import com.baomidou.mybatisplus.annotations.TableField; import com.baomidou.mybatisplus.annotations.TableName; im
详解Java并发包中线程池ThreadPoolExecutor

一.线程池简介线程池的使用主要是解决两个问题:①当执行大量异步任务的时候线程池能够提供更好的性能,在不使用线程池时候,每当需要执行异步任务的时候直接new一个线程来运行的话,线程的创建和销毁都是需要开销的.而线程池中的线程是可复用的,不需要每次执行异步任务的时候重新创建和销毁线程:②线程池提供一种资源限制和管理的手段,比如可以限制线程的个数,动态的新增线程等等. 在下面的分析中,我们可以看到,线程池使用一个Integer的原子类型变量来记录线程池状态和线程池中的线程数量,通过线程池状态来控制任
详解Java多线程编程中线程的启动、中断或终止操作

线程启动: 1.start() 和 run()的区别说明 start() : 它的作用是启动一个新线程,新线程会执行相应的run()方法.start()不能被重复调用. run() : run()就和普通的成员方法一样,可以被重复调用.单独调用run()的话,会在当前线程中执行run(),而并不会启动新线程! 下面以代码来进行说明. class MyThread extends Thread{ public void run(){ ... } }; MyThread mythread = new
详解Java多线程编程中CountDownLatch阻塞线程的方法

直译过来就是倒计数(CountDown)门闩(Latch).倒计数不用说,门闩的意思顾名思义就是阻止前进.在这里就是指 CountDownLatch.await() 方法在倒计数为0之前会阻塞当前线程. CountDownLatch是一个同步辅助类,在完成一组正在其他线程中执行的操作之前,它允许一个或多个线程一直等待. CountDownLatch 的作用和 Thread.join() 方法类似,可用于一组线程和另外一组线程的协作.例如,主线程在做一项工作之前需要一系列的准备工作,只有这些准备工
详解Java设计模式编程中的访问者模式

定义:封装某些作用于某种数据结构中各元素的操作,它可以在不改变数据结构的前提下定义作用于这些元素的新的操作. 类型:行为类模式类图: 例子: 例如,思考一下添加不同类型商品的购物车,当点击结算的时候,它计算出所有不同商品需付的费用.现在,计算逻辑即为计算这些不同类型商品的价格.或者说通过访问者模式我们把此逻辑转移到了另外一个类上面.让我们实现这个访问者模式的例子. 为了实现访问者模式,最先需要做的是创建能够被添加到购物车中代表不同类型商品(itemElement)的类. ItemElement

详解java 中泛型中的类型擦除和桥方法

相关推荐

随机推荐