core_java泛型篇小总结(1)
来源:互联网 发布:js简繁体切换 编辑:程序博客网 时间:2024/06/05 03:17
泛型复习:
泛型方法可以定义在普通类中,也可以定义在泛型类中:注意类型变量放在修饰符(public,static)的后面,返回类型前面。
class Arrayalg{ public static<T> T getMiddle(T...a){ return a[a.length/2]; }}
泛型代码和虚拟机
虚拟机没有泛型类型对象–所有对象都是普通类。泛型类型在虚拟机中都有一个相应的原始类型(raw type),原始类型的名字就是删除类型参数后的泛型参数名。原始类型会擦除(erased)类型变量,并替代为限定类型(如果没有限定的变量就用Object)。例如,下面的泛型类
在虚拟机中的真实存储状况,可以看到T被替换为Object了
原始类型用第一个限定类型变量来替换,如果没有限定就用Object替换例如
T有限定类型要实现comparable接口,则虚拟机的实际类型为,可以看到T被替代为Comparable
再看《core java》时看到了泛型中的一个有趣的现象
当执行下列语句时
DateInterval i = new DateInterval();Pair<Date> pair = i;pair.setSecond(aDate);
因而会实际调用i.setSecond(Object),并未想象中那样利用多态,这是由于类型擦除和堕胎起了冲突,编译器会生成一个桥方法,实际上调用的是桥方法,这样就会符合我们的想法
public void setSecond(Object second){setSecond((Date)second)}
桥方法可能会变得很奇怪,假设下列情况DateInterval方法也会覆盖了getSecond方法:
class DateInterval extends Pair<Date>{ public Date getSecond(){ return (Date)super.getSecond().clone(); }}
这样在擦除的类型中,有两个getSecond方法:
Date getSecond();Object getSecond();
这样不能编写Java代码(编译器会给出错误,因为编译器人认为两个方法是同一个方法,这里恰好没有参数),但是虚拟机却可以分辨这种情况,可以用返回类型和参数类型确定一个方法,书上这样写,但我认为方法名当然也包括在内吧?)
java泛型转换的几个结论
1.虚拟机中没有泛型,只有普通的类和方法
2.所有的类型参数都用他们的限定类型替换
3.桥方法(bridge method)被合成用来保持多态
4.为保持类型安全性,必要时插入强制类型转换
- core_java泛型篇小总结(1)
- core_java
- core_java面试题 包含spring框架源码分析
- 【总结】Java基础总结(1)
- Matchbox总结1(××,××)
- php总结(1)
- 计算机网络总结(1)
- 数据结构总结(1)
- 映射总结(1)
- Hibernate总结(1)
- 项目总结(1)
- smarty总结(1)
- orcal 总结(1)
- jquery 总结(1)
- hibernate 总结(1)
- SEO总结(1)
- 软件工程总结(1)
- JavaScript总结(1)
- Android事件分发理解
- C# 控件命名规范
- 【使用教程】如何把数据导出到 WPF 环境的 Excel 中
- Ogre画中画摄像机靠近模型,模型会被遮挡一部分
- Project configuration is not up-to-date with pom.xml
- core_java泛型篇小总结(1)
- 77_游戏项目_加载窗口_画图形_加载图片_编程中坐标基本知识
- AngularJS停止定时器$interval
- Linux学习第十六篇--磁盘管理(挂载/分区)
- node.js项目中基于mysql利用sequelize-auto对照数据库自动生成相应的models
- Spring3中js/css/jpg/gif等静态资源无法找到(No mapping found for HTTP request with URI)问题解决
- android 代码混淆
- github之删除远程分支
- Webpack入门