java 泛型学习随笔
对于java 泛型 编译时处理,运行时擦除的特点理解
- 对于编译时处理
- 在使用泛型相关的类或方法时,如果声明时的类型和具体使用时的类型不一致则直接会编译不通过
- 对于运行时擦除
- 当在运行时对两个相同类型但泛型的具体类型不同时,在运行时实际都是操作的相同的类型,而不会体现出来泛型的的具体类型;
public static void main(String[] args){ List a = Collections.emptyList();
List b = Collections.emptyList();
// true , 对于不包含泛型初始化的list实际都是使用的相同的实例数据
LOGGER.info(String.valueOf(a == b)); List<String> a1 = Collections.emptyList();
boolean v = a == a1;
// true, 对于 a 和 a1 两个参数的类型实际是不同的,但在运行时实际是对于a和a1的类型实际都是相同的List类型; 可以通过 javap -v 类名 来查看编译后的class文件
LOGGER.info(String.valueOf(v)); List<Integer> b1 = Collections.emptyList();
// 由于a1和b1的泛型的具体类型不一致,因此在编译时不会通过
// boolean v1 = a1 == b1
}
对于泛型的显式限定和隐式限定区别
public static void castQuestion() {
// 在执行实例化操作时,实际已经隐式限定了当前对象的类型
// 在执行具体操作时,虽然根据变量的限定符显式定义,但在实际使用中就会抛出错误
Container<StringBuilder> stringContainer = new Container("1");
StringBuilder element = stringContainer.getElement(); } // 自定义内部容器类,类型为泛型
// 单界限操作: E extends CharSequence,这里限定了泛型的类型只能为CharSequence的子级
public static class Container<E extends Serializable> {
private E element; public Container(E element) {
this.element = element;
// 可以看到当前元素的实际类型
System.out.println(element.getClass().getTypeName());
} // 方法
public E getElement() {
return element;
} public void setElement(E element) {
this.element = element;
}
}
可以看到在指定 new 时未显式指定对象元素类型,但通过调用有参构造方法实际已限定了当前对象的element元素类型;
虽然对象变量显式限定了当前变量的泛型,对于操作方法实际是根据调用者的具体泛型类型进行限制,因此可以看到 "StringBuilder element = stringContainer.getElement();" 返回值类型为 StringBuilder;
而由于对象中的实际类型为String类型,当将String类型强制赋值为Integer类型数据时,就会抛出ClassCastException
由于泛型存在编译时校验,运行时擦写的特点,因此为了保证运行时也提供泛型类型校验, 在Collections中提供了 checked*的工具类,在执行操作时保证了运行时的类型校验
public void collectionGenericType() {
List<Integer> integers = new ArrayList<>(Arrays.asList(1, 2, 3, 4));
// 由于泛型存在编译时校验,运行时擦写
List noGenericTypeList = integers;
System.out.println(noGenericTypeList == integers);
// 虽然 noGenericTypeList 引用了 integers
// 运行时泛型擦写 List<Integer> -> List<Object> -> List
// 因此可以写入任意类型的数据
noGenericTypeList.add("A");
// 由于数据读取时需要进行类型转换(转换为泛型的指定类型)因此会抛出ClassCastException
// integers.forEach(System.out::println);
// 而对于noGenericTypeList由于没有泛型的约束,因此读取数据是都是按照Object类型处理
noGenericTypeList.forEach(System.out::println);
// 在转换时并没有执行类型检查因此支持直接转换
List<Integer> castList = new ArrayList<>(noGenericTypeList);
// 因此为了避免类型擦写导致的异常,因此需要使用包装类型工具类
// 当转换为checkedList时并不会进行类型校验
/**
* Wrapper(装饰器)模式的使用
* Collections.checked*接口弥补了 泛型运行时擦写的不足
* 强类型: 编译时泛型强制类型检查,运行时利用Collections.checked*强类型检查
*/
List<Integer> checkedList = Collections.checkedList(castList, Integer.TYPE);
// 会生成新的数据
System.out.println(checkedList == castList); noGenericTypeList = checkedList;
// 对于checkedList在执行添加时,会执行类型校验,因此会直接抛出错误
noGenericTypeList.add("B");
}
java 泛型学习随笔的更多相关文章
- Java泛型学习笔记 - (七)浅析泛型中通配符的使用
一.基本概念:在学习Java泛型的过程中, 通配符是较难理解的一部分. 主要有以下三类:1. 无边界的通配符(Unbounded Wildcards), 就是<?>, 比如List< ...
- Java泛型学习笔记--Java泛型和C#泛型比较学习(一)
总结Java的泛型前,先简单的介绍下C#的泛型,通过对比,比较学习Java泛型的目的和设计意图.C#泛型是C#语言2.0和通用语言运行时(CLR)同时支持的一个特性(这一点是导致C#泛型和Java泛型 ...
- java泛型学习(2)
一:深入泛型使用.主要是父类和子类存在泛型的demo /** * 父类为泛型类 * @author 尚晓飞 * @date 2014-7-15 下午7:31:25 * * * 父类和子类的泛型. * ...
- Java泛型学习---第二篇
泛型学习第一篇 1.泛型之擦拭法 泛型是一种类似"模板代码"的技术,不同语言的泛型实现方式不一定相同. Java语言的泛型实现方式是擦拭法(Type Erasure). 所谓擦拭法 ...
- java泛型学习(1)
java泛型(Generices Type) --->概念:泛型是Java SE 1.5的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.这种参数类型可以用在类.接口和 ...
- Java泛型学习一
Java泛型 所谓泛型,就是变量类型的参数化.泛型是java1.5中引入的一个重要特征,通过引入泛型,可以使编译时类型安全,运行时更少抛出ClassCastException的可能.一提到参数化,最熟 ...
- Java 泛型学习总结
前言 Java 5 添加了泛型,提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型. 泛型的本质是参数化类型,可以为以前处理通用对象的类和方法,指定具体的对象类型.听起来有点抽象, ...
- Java泛型学习笔记 - (六)泛型的继承
在学习继承的时候, 我们已经知道可以将一个子类的对象赋值给其父类的对象, 也就是父类引用指向子类对象, 如: Object obj = new Integer(10); 这其实就是面向对象编程中的is ...
- java 泛型学习
http://blog.csdn.net/archie2010/article/details/6232228 学习集合框架的时候经常用hasmap<Integer,Integer>就是泛 ...
随机推荐
- 笔记:CSS基础
一.CSS(层叠式样式表),决定页面怎么显示元素 1.引入方式: 行内样式,在当前标签元素中直接使用 style 的属性. 内嵌方式,在<head>中写样式: 外链式,<link&g ...
- 2 Spark角色介绍及运行模式
第2章 Spark角色介绍及运行模式 2.1 集群角色 从物理部署层面上来看,Spark主要分为两种类型的节点,Master节点和Worker节点:Master节点主要运行集群管理器的中心化部分,所承 ...
- golang 并发demo 写入 redis
原文链接:golang 并发demo 写入 redis 源代码: package main import ( "fmt" "runtime" "str ...
- 操作系统-存储管理(5)IA-32/Linux的地址转换
IA-32/Linux按字节编址:在保护模式下,IA-32采用段页式虚拟存储管理方式,存储地址采用逻辑地址.线性地址和物理地址来进行描述. 逻辑地址由48位组成,包含16位段选择符(高13位为段表项的 ...
- 从一个小需求感受Redis的独特魅力
分享一个简单的小需求应该怎么设计实现以及有关Redis的使用 Redis在实际应用中使用的非常广泛,本篇文章就从一个简单的需求说起,为你讲述一个需求是如何从头到尾开始做的,又是如何一步步完善的. 需求 ...
- Java并发---concurrent包
一.包的结构层次 其中包含了两个子包atomic和locks,另外字concurrent下的阻塞队列以及executor,这些就是concurrent包中的精华.而这些类的实现主要是依赖于volati ...
- DBeaver链接kerberos安全认证的Phoenix集群
DBeaver链接kerberos安全认证的Phoenix集群 最近公司的CDH集群,启动了kerberos安全认证,所有的用户验证全部需要依赖kerberos来进行.之前的裸奔集群,总算有了一些安全 ...
- 第5章 if 语句
第5章 if 语句 5.1 一个简单示例 cars = ['audi', 'bmw', 'subaru', 'toyota'] for car in cars: if car == 'bmw': pr ...
- 远程调试在Linux车机中的应用
导读 在软件开发过程中,调试是必不可少的环节,嵌入式操作系统的调试与桌面操作系统的调试相比有很大差别,嵌入式系统的可视化调试能力比桌面操作系统要弱一点.对于导航这种业务场景比较复杂的程序开发,可视化调 ...
- selenium模拟登录豆瓣和qq空间
selenium模拟登录豆瓣和qq空间今天又重新学习了下selenium,模拟登录豆瓣,发现设置等待时间真的是很重要的一步,不然一直报错:selenium.common.exceptions.NoSu ...