- 浏览: 982388 次
- 性别:
- 来自: 杭州
文章分类
- 全部博客 (826)
- 硬件 (8)
- 软件 (24)
- 软件工程 (34)
- JAVA (229)
- C/C++/C# (77)
- JavaScript (8)
- PHP (1)
- Ruby (3)
- MySQL (14)
- 数据库 (19)
- 心情记事 (12)
- 团队管理 (19)
- Hadoop (1)
- spring (22)
- mybatis(ibatis) (7)
- tomcat (16)
- velocity (0)
- 系统架构 (6)
- JMX (8)
- proxool (1)
- 开发工具 (16)
- python (10)
- JVM (27)
- servlet (5)
- JMS (26)
- ant (2)
- 设计模式 (5)
- 智力题 (2)
- 面试题收集 (1)
- 孙子兵法 (16)
- 测试 (1)
- 数据结构 (7)
- 算法 (22)
- Android (11)
- 汽车驾驶 (1)
- lucene (1)
- memcache (12)
- 技术架构 (7)
- OTP-Erlang (7)
- memcached (17)
- redis (20)
- 浏览器插件 (3)
- sqlite (3)
- Heritrix (9)
- Java线程 (1)
- scala (0)
- Mina (6)
- 汇编 (2)
- Netty (15)
- libevent (0)
- CentOS (12)
- mongod (5)
- mac os (0)
最新评论
-
kingasdfg:
你这里面存在一个错误添加多个任务 应该是这样的 /** * ...
Quartz的任务的临时启动和暂停和恢复【转】 -
kyzeng:
纠正一个错误,long型对应的符号是J,不是L。
Jni中C++和Java的参数传递 -
zhaohaolin:
抱歉,兄弟,只是留下作记录,方便学习,如果觉得资料不好,可以到 ...
netty的个人使用心得【转】 -
cccoooccooco:
谢谢!自己一直以为虚机得使用网线才可以与主机连接呢。。
主机网卡无网线连接与虚拟机通信 -
yuqilin001:
要转别人的东西,请转清楚点嘛,少了这么多类,误人子弟
netty的个人使用心得【转】
识别和避免学习使用泛型过程中的陷阱 简介: JDK 5.0 中增加的泛型类型,是 Java 语言中类型安全的一次重要改进。但是,对于初次使用泛型类型的用户来说,泛型的某些方面看起来可能不容易明白,甚至非常奇怪。在本月的“Java 理论和实践”中,Brian Goetz 分析了束缚第一次使用泛型的用户的常见陷阱。您可以通过 讨论论坛与作者和其他读者分享您对本文的看法。(也可以单击本文顶端或底端的 讨论来访问这个论坛。) 本文的标签: best_practices, generic, java, 应用开发, 理论和实践 表面上看起来,无论语法还是应用的环境(比如容器类),泛型类型(或者泛型)都类似于 C++ 中的模板。但是这种相似性仅限于表面,Java 语言中的泛型基本上完全在编译器中实现,由编译器执行类型检查和类型推断,然后生成普通的非泛型的字节码。这种实现技术称为 擦除(erasure)(编译器使用泛型类型信息保证类型安全,然后在生成字节码之前将其清除),这项技术有一些奇怪,并且有时会带来一些令人迷惑的后果。虽然范型是 Java 类走向类型安全的一大步,但是在学习使用泛型的过程中几乎肯定会遇到头痛(有时候让人无法忍受)的问题。 注意:本文假设您对 JDK 5.0 中的范型有基本的了解。 虽然将集合看作是数组的抽象会有所帮助,但是数组还有一些集合不具备的特殊性质。Java 语言中的数组是协变的(covariant),也就是说,如果 不允许这样做有一个很充分的理由:这样做将破坏要提供的类型安全泛型。如果能够将 因为 数组能够协变而泛型不能协变的另一个后果是,不能实例化泛型类型的数组( 最后一行将抛出 因为可以擦除功能,所以 因为运行时不能区分 比如泛型类 假设 但是您不能使用类型参数访问构造函数,因为在编译的时候还不知道要构造什么类,因此也就不知道使用什么构造函数。使用泛型不能表达“ 不幸的是,仍然不能调用 因此,不能复制在编译时根本不知道是什么类的类型引用。那么使用通配符类型怎么样?假设要创建类型为 不幸的是,您不能用通配符类型的参数调用泛型构造函数,即使知道存在这样的构造函数也不行。不过您可以这样做: 这种构造不那么直观,但它是类型安全的,而且可以像 如何实现 但是这段代码不能工作 —— 不能实例化用类型参数表示的类型数组。编译器不知道 Collections 类通过一种别扭的方法绕过了这个问题,在 Collections 类编译时会产生类型未检查转换的警告。 为何这些代码在访问 还有一种方法就是声明 最好的办法是向构造函数传递类文字( 下面的代码中 但是等一等!仍然有不妥的地方,调用 而不是类型安全的: 为何 在这里可以看到一种模式 —— 与泛型有关的很多问题或者折衷并非来自泛型本身,而是保持和已有代码兼容的要求带来的副作用。 在转化现有的库类来使用泛型方面没有多少技巧,但与平常的情况相同,向后兼容性不会凭空而来。我已经讨论了两个例子,其中向后兼容性限制了类库的泛化。 另一种不同的泛化方法可能不存在向后兼容问题,这就是 因为 Collections 框架作为良好类设计的例子被广泛效仿,但是它的设计受到向后兼容性约束,所以这些地方值得您注意,不要盲目效仿。 首先,常常被混淆的泛型 Collections API 的一个重要方面是 但实际上却是: 为什么呢?答案同样是因为向后兼容性。 如果上述片段用直观的方法泛化(将 在泛型之前设计的类可能阻碍了“显然的”泛型化方法。这种情况下就要像上例这样进行折衷,但是如果从头设计新的泛型类,理解 Java 类库中的哪些东西是向后兼容的结果很有意义,这样可以避免不适当的模仿。 因为泛型基本上都是在 Java 编译器中而不是运行库中实现的,所以在生成字节码的时候,差不多所有关于泛型类型的类型信息都被“擦掉”了。换句话说,编译器生成的代码与您手工编写的不用泛型、检查程序的类型安全后进行强制类型转换所得到的代码基本相同。与 C++ 不同, 擦除意味着一个类不能同时实现 擦除的另一个后果是,对泛型类型参数是用强制类型转换或者 编译器仅仅发出一个类型未检查转换警告,因为它不知道这种转换是否安全。 擦除也是造成上述构造问题的原因,即不能创建泛型类型的对象,因为编译器不知道要调用什么构造函数。如果泛型类需要构造用泛型类型参数来指定类型的对象,那么构造函数应该接受类文字( 泛型是 Java 语言走向类型安全的一大步,但是泛型设施的设计和类库的泛化并非未经过妥协。扩展虚拟机指令集来支持泛型被认为是无法接受的,因为这会为 Java 厂商升级其 JVM 造成难以逾越的障碍。因此采用了可以完全在编译器中实现的擦除方法。类似地,在泛型 Java 类库时,保持向后兼容也为类库的泛化方式设置了很多限制,产生了一些混乱的、令人沮丧的结构(如 Brian Goetz 有超过 17 年的专业软件开发经验。他是 Quiotix 的首席顾问,这是一家位于加利福尼亚 Los Altos 的软件开发和咨询公司,他还参加了多个 JCP Expert Groups。请参阅 Brian 在主流专业出版物上已经发表或即将发表的文章。Integer
扩展了 Number
(事实也是如此),那么不仅 Integer
是 Number
,而且 Integer[]
也是 Number[]
,在要求Number[]
的地方完全可以传递或者赋予 Integer[]
。(更正式地说,如果 Number
是 Integer
的超类型,那么 Number[]
也是Integer[]
的超类型)。您也许认为这一原理同样适用于泛型类型 —— List<Number>
是 List<Integer>
的超类型,那么可以在需要List<Number>
的地方传递 List<Integer>
。不幸的是,情况并非如此。List<Integer>
赋给 List<Number>
。那么下面的代码就允许将非 Integer
的内容放入 List<Integer>
:
List<Integer> li = new ArrayList<Integer>();
List<Number> ln = li; // illegal
ln.add(new Float(3.1415));
ln
是 List<Number>
,所以向其添加 Float
似乎是完全合法的。但是如果 ln
是 li
的别名,那么这就破坏了蕴含在 li
定义中的类型安全承诺 —— 它是一个整数列表,这就是泛型类型不能协变的原因。new List<String>[3]
是不合法的),除非类型参数是一个未绑定的通配符(new List<?>[3]
是合法的)。让我们看看如果允许声明泛型类型数组会造成什么后果:
List<String>[] lsa = new List<String>[10]; // illegal
Object[] oa = lsa; // OK because List<String> is a subtype of Object
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(3));
oa[0] = li;
String s = lsa[0].get(0);
ClassCastException
,因为这样将把 List<Integer>
填入本应是 List<String>
的位置。因为数组协变会破坏泛型的类型安全,所以不允许实例化泛型类型的数组(除非类型参数是未绑定的通配符,比如 List<?>
)。List<Integer>
和 List<String>
是同一个类,编译器在编译 List<V>
时只生成一个类(和 C++ 不同)。因此,在编译 List<V>
类时,编译器不知道 V
所表示的类型,所以它就不能像知道类所表示的具体类型那样处理 List<V>
类定义中的类型参数(List<V>
中的 V
)。List<String>
和 List<Integer>
(运行时都是 List
),用泛型类型参数标识类型的变量的构造就成了问题。运行时缺乏类型信息,这给泛型容器类和希望创建保护性副本的泛型类提出了难题。Foo
:
class Foo<T> {
public void doSomething(T param) { ... }
}
doSomething()
方法希望复制输入的 param
参数,会怎么样呢?没有多少选择。您可能希望按以下方式实现 doSomething()
:
public void doSomething(T param) {
T copy = new T(param); // illegal
}
T
必须拥有一个拷贝构造函数(copy constructor)”(甚至一个无参数的构造函数)这类约束,因此不能使用泛型类型参数所表示的类的构造函数。clone()
怎么样呢?假设在 Foo
的定义中,T
扩展了 Cloneable
:
class Foo<T extends Cloneable> {
public void doSomething(T param) {
T copy = (T) param.clone(); // illegal
}
}
param.clone()
。为什么呢?因为 clone()
在 Object
中是保护访问的,调用 clone()
必须通过将 clone()
改写公共访问的类引用来完成。但是重新声明 clone()
为 public 并不知道 T
,因此克隆也无济于事。Set<?>
的参数的保护性副本。您知道 Set
有一个拷贝构造函数。而且别人可能曾经告诉过您,如果不知道要设置的内容的类型,最好使用 Set<?>
代替原始类型的 Set
,因为这种方法引起的未检查类型转换警告更少。于是,可以试着这样写:
class Foo {
public void doSomething(Set<?> set) {
Set<?> copy = new HashSet<?>(set); // illegal
}
}
class Foo {
public void doSomething(Set<?> set) {
Set<?> copy = new HashSet<Object>(set);
}
}
new HashSet<?>(set)
那样工作。ArrayList<V>
?假设类 ArrayList
管理一个 V
数组,您可能希望用 ArrayList<V>
的构造函数创建一个 V
数组:
class ArrayList<V> {
private V[] backingArray;
public ArrayList() {
backingArray = new V[DEFAULT_SIZE]; // illegal
}
}
V
到底表示什么类型,因此不能实例化 V
数组。ArrayList
具体实现的构造函数如下:
class ArrayList<V> {
private V[] backingArray;
public ArrayList() {
backingArray = (V[]) new Object[DEFAULT_SIZE];
}
}
backingArray
时没有产生 ArrayStoreException
呢?无论如何,都不能将 Object
数组赋给 String
数组。因为泛型是通过擦除实现的,backingArray
的类型实际上就是 Object[]
,因为 Object
代替了 V
。这意味着:实际上这个类期望backingArray
是一个 Object
数组,但是编译器要进行额外的类型检查,以确保它包含 V
类型的对象。所以这种方法很奏效,但是非常别扭,因此不值得效仿(甚至连泛型 Collections 框架的作者都这么说,请参阅 参考资料)。backingArray
为 Object
数组,并在使用它的各个地方强制将它转化为 V[]
。仍然会看到类型未检查转换警告(与上一种方法一样),但是它使一些未明确的假设更清楚了(比如 backingArray
不应逃避 ArrayList
的实现)。Foo.class
),这样,该实现就能在运行时知道 T
的值。不采用这种方法的原因在于向后兼容性 —— 新的泛型集合类不能与 Collections 框架以前的版本兼容。ArrayList
采用了以下方法:
public class ArrayList<V> implements List<V> {
private V[] backingArray;
private Class<V> elementType;
public ArrayList(Class<V> elementType) {
this.elementType = elementType;
backingArray = (V[]) Array.newInstance(elementType, DEFAULT_LENGTH);
}
}
Array.newInstance()
时会引起未经检查的类型转换。为什么呢?同样是由于向后兼容性。Array.newInstance()
的签名是:
public static Object newInstance(Class<?> componentType, int length)
public static<T> T[] newInstance(Class<T> componentType, int length)
Array
用这种方式进行泛化呢?同样是为了保持向后兼容。要创建基本类型的数组,如 int[]
,可以使用适当的包装器类中的TYPE
字段调用 Array.newInstance()
(对于 int
,可以传递 Integer.TYPE
作为类文字)。用 Class<T>
参数而不是 Class<?>
泛化Array.newInstance()
,对于引用类型有更好的类型安全,但是就不能使用 Array.newInstance()
创建基本类型数组的实例了。也许将来会为引用类型提供新的 newInstance()
版本,这样就两者兼顾了。Collections.toArray(Object[])
。传入 toArray()
的数组有两个目的 —— 如果集合足够小,那么可以将其内容直接放在提供的数组中。否则,利用反射(reflection)创建相同类型的新数组来接受结果。如果从头开始重写 Collections 框架,那么很可能传递给 Collections.toArray()
的参数不是一个数组,而是一个类文字:
interface Collection<E> {
public T[] toArray(Class<T super E> elementClass);
}
containsAll()
、removeAll()
和 retainAll()
的签名。您可能认为remove()
和 removeAll()
的签名应该是:
interface Collection<E> {
public boolean remove(E e); // not really
public void removeAll(Collection<? extends E> c); // not really
}
interface Collection<E> {
public boolean remove(Object o);
public void removeAll(Collection<?> c);
}
x.remove(o)
的接口表明“如果 o
包含在 x
中,则删除它,否则什么也不做。”如果 x
是一个泛型集合,那么 o
不一定与 x
的类型参数兼容。如果 removeAll()
被泛化为只有类型兼容时才能调用(Collection<? extends E>
),那么在泛化之前,合法的代码序列就会变得不合法,比如:
// a collection of Integers
Collection c = new HashSet();
// a collection of Objects
Collection r = new HashSet();
c.removeAll(r);
c
设为 Collection<Integer>
,r
设为 Collection<Object>
),如果 removeAll()
的签名要求其参数为 Collection<? extends E>
而不是 no-op,那么就无法编译上面的代码。泛型类库的一个主要目标就是不打破或者改变已有代码的语义,因此,必须用比从头重新设计泛型所使用类型约束更弱的类型约束来定义 remove()
、removeAll()
、retainAll()
和containsAll()
。List<Integer>
和 List<String>
是同一个类(虽然是不同的类型但都是 List<?>
的子类型,与以前的版本相比,在 JDK 5.0 中这是一个更重要的区别)。Comparable<String>
和 Comparable<Number>
,因为事实上两者都在同一个接口中,指定同一个 compareTo()
方法。声明 DecimalString
类以便与 String
与 Number
比较似乎是明智的,但对于 Java 编译器来说,这相当于对同一个方法进行了两次声明:
public class DecimalString implements Comparable<Number>, Comparable<String>
{ ... } // nope
instanceof
毫无意义。下面的代码完全不会改善代码的类型安全性:
public <T> T naiveCast(T t, Object o) { return (T) o; }
naiveCast()
方法实际上根本不作任何转换,T
直接被替换为 Object
,与期望的相反,传入的对象被强制转换为 Object
。Foo.class
)并将它们保存起来,以便通过反射创建实例。Array.newInstance()
)。这并非泛型本身的问题,而是与语言的演化与兼容有关。但这些也使得泛型学习和应用起来更让人迷惑,更加困难。
发表评论
-
调试jdk中的源码,查看jdk局部变量
2013-06-15 23:30 1006调试jdk中的源码,查看jdk局部变量 2012-04 ... -
Eclipse快捷键 10个最有用的快捷键<转>
2013-04-11 23:28 1004Eclipse中10个最有用的快捷键组合 一个Eclip ... -
Lucene 3.6 中文分词、分页查询、高亮显示等
2012-12-09 23:35 17641、准备工作 下载lucene 3.6.1 : htt ... -
Maven实战(九)——打包的技巧(转)
2012-10-12 00:41 896“打包“这个词听起 ... -
基于Maven的web工程如何配置嵌入式Jetty Server开发调试环境(转)
2012-10-12 00:28 8661、首先在web工程的POM文件里添加依赖jar包如下: ... -
轻轻松松学Solr(1)--概述及安装[转]
2012-09-18 14:59 945概述 这段时间对企 ... -
分析Netty工作流程[转]
2012-09-04 19:02 836下面以Netty中Echo的例 ... -
让eclipse在ubuntu下面好看一点
2012-03-27 10:17 877<p> </p> <h1 cla ... -
zookeeper安装和应用场合(名字,配置,锁,队列,集群管理)[转]
2012-01-12 17:59 1609安装和配置详解 本文 ... -
Jakarta-Common-BeanUtils使用笔记[转]
2012-01-10 14:13 1116Jakarta-Common-BeanUtils ... -
一个关于Java Thread wait(),notify()的实用例【转】
2012-01-07 16:05 980///// // ProducerConsume ... -
Java基础:Java中的 assert 关键字解析【转】
2012-01-06 19:50 970J2SE 1.4在语言上提供了 ... -
一篇不错的讲解Java异常的文章(转载)----感觉很不错,读了以后很有启发[转]
2012-01-06 15:02 1214六种异常处理的陋习 ... -
如何解决HP QC(Quality Center)在Windows 7下不能工作的问题
2011-12-26 10:48 1533HP QC(Quantity Center) 是一款不错的测 ... -
JAVA读写文件,中文乱码 【转】
2011-12-19 23:43 2068最近在做HTML静态生成,需要从硬盘上把模版文件的内容读出来。 ... -
Java 6 JVM参数选项大全(中文版)【转】
2011-12-19 19:51 921Java 6 JVM参数选项大全(中文版) 作者 ... -
使用assembly plugin实现自定义打包【转】
2011-12-13 01:58 922在上一篇文章中,讨论到在对maven的机制不熟悉的情况下,为了 ... -
使用maven ant task实现非标准打包[转]
2011-12-13 01:56 1000maven很强大,但是总有些事情干起来不是得心应手,没有使用a ... -
Java日期转换SimpleDateFormat格式大全【转】
2011-12-08 20:22 125924小时制时间 显示: public clas ... -
使用Spring的表单标签库
2011-11-22 20:08 102513.9. 使用Spring的 ...
相关推荐
Java 理论和实践 了解泛型
Java试题-3:反射和泛型的综合应用 Java反射 泛型都是比较高级的应用技术
Java Generics and Collections 英文版,详细描述java 泛型技术
Java核心知识:泛型机制详解
NULL 博文链接:https://wuaner.iteye.com/blog/907980
下面小编就为大家带来一篇Java总结篇系列:Java泛型详解。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
·课程中,Eclipse和IDEA这两种企业一线开发环境都使用到了 3.技术讲解更深入、更全面: ·课程共30天,715个知识视频小节,涉及主流Java使用的方方面面,全而不冗余 ·全程内容涵盖数据结构、设计模式、JVM内存...
Java泛型编程指南.pdf 此文章译自SUN的泛型编程指南
Java 实现泛型List的源码,基本实现了List接口的全部所有方法。欢迎大家发表自己的观点和建议。
该文档主要包括为什么使用泛型、在集合中使用泛型、自定义泛型结构、泛型在集成上的体现以及通配符的使用等内容
Java语言程序设计:ch05 泛型、枚举与for语句的简化写法.ppt
本文介绍了Java 5中添加的语言特性--泛型、枚举、注释、自动装箱和增强的for循环--不需要修改JVM的指令集,几乎全部是在静态编译器和类库中实现的。对于不能使用Java 5语言特性的开发人员,有多种方法可以使他们使用...
Java 运行时如何获取泛型参数的类型 Java类型Type 之 ParameterizedType,GenericArrayType,TypeVariabl,WildcardType 从实现的接口获取泛型参数 定义一个泛型父类: public interface SuperClass { String ...
java 泛型接口示例 java 泛型接口示例 java 泛型接口示例
C++设计新思维:泛型编程与设计模式之应用.pdf 带目录书签
java 泛型方法使用示例 java 泛型方法使用示例 java 泛型方法使用示例
这是一个使用JAVA实现的泛型编程,分为两部分,第一部分创建泛型类,并实例化泛型对象,得出相加结果。 第二部分用户自行输入0--4,选择要进行的加减乘除运算或退出,再输入要进行运算的两个数,并返回运算结果及...
Java中的泛型结构请大家指教并指导有不足的地方给予赐教。
Java.SE 自定义泛型与泛型的常见陷阱Java.SE 自定义泛型与泛型的常见陷阱
关于java基础的泛型的练习