扫一扫
分享文章到微信
扫一扫
关注官方公众号
至顶头条
随着最新的 Java 6.0 的发布,您可能认为 Java 5 的语言特性是 “旧的新特性”。但是即使在现在,当我询问开发人员在开发时使用的 Java 平台的版本时,通常只有一半人在使用 Java 5 —— 另一半则只能表示羡慕。他们非常希望使用 Java 5 中添加的语言特性,例如泛型和注释,但仍有许多因素妨碍他们这样做。
不能利用 Java 5 特性的开发人员包括那些开发组件、库或应用程序框架的开发人员。因为他们的客户可能仍然在使用 JDK 1.4 或以前的版本,并且 JDK 1.4 或以前的 JVM 不能装载用 Java 5 编译的类,所以使用 Java 5 语言特性会把他们的客户基数限制在已经迁移到 Java 5 的公司。
另一类经常避免使用 Java 5 的开发人员是使用 Java EE 的开发人员。许多开发团队不愿在 Java EE 1.4 及以前的版本上使用 Java 5,因为担心其应用服务器的厂商不支持 Java 5。这些开发人员要迁移到 Java EE 5 可能还有待时日。除了 Java EE 5 和 Java SE 5 规范之间的滞后,商业 Java EE 5 容器没有必要在规范刚刚制定好就能使用,企业也没有必要在应用服务器出现下一个版本时就立即升级,而且在升级应用服务器之后,可能还需要花些时间在新平台上验证其应用程序。
Java 5 语言特性的实现
Java 5 中添加的语言特性 —— 泛型、枚举、注释、自动装箱和增强的 for 循环 —— 不需要修改 JVM 的指令集,几乎全部是在静态编译器(javac)和类库中实现的。当编译器遇到使用泛型的情况时,会试图检查是否保证了类型安全(如果不能检查,会发出 “unchecked cast”),然后发出字节码,生成的字节码与等价的非泛型代码、类型强制转换所生成的字节码相同。类似的,自动装箱和增强的 for 循环仅仅是等价的 “语法糖”,只是更复杂的语法和枚举被编译到普通的类中。
在理论上,可以采用 javac 生成的类文件,在早期的 JVM 中装入它们,这实际上正是 JSR 14(负责泛型的 Java Community Process 工作组)的成立目的。但是,其他问题(例如注释的保持)迫使类文件的版本在 Java 1.4 和 Java 5 之间变化,因此妨碍了早期 JVM 中装入用 Java 5 编译的代码。而且,在 Java 5 中添加的有些语言特性依赖于 Java 5 库。如果用 javac -target 1.5 编译类,并试图将它装入早期 JVM 中,就会得到 UnsupportedClassVersionError,因为 -target 1.5 选项生成的类的类文件版本是 49,而 JDK 1.4 只支持版最大为 48 的类文件版本。
for-each 循环
增强的 for 循环有时叫做 for-each 循环,编译器编译它的时候,情形与程序员提供旧式 for 循环一样。for-each 循环能够迭代数组或集合中的元素。清单 1 显示了用 for-each 在集合上迭代的语法:
清单 1. for-each 循环
Collection fooCollection = ... for (Foo f : fooCollection) { doSomething(f); } |
编译器把这个代码转换成等价的基于迭代器的循环,如清单 2 所示:
清单 2. 清单 1 基于迭代器的等价循环
for (Iterator iter=f.iterator(); f.hasNext();) { Foo f = iter.next(); doSomething(f); } |
编译器如何知道提供的参数有一个 iterator() 方法呢? javac 编译器的设计者可能已经内置了对集合框架的理解,但是这种方法有些不必要的限制。所以,创建了一个新的接口 java.lang.Iterable(请参阅清单 3 ),并翻新集合类使其实现 Iterable 接口。这样,不是在核心集合框架上构建的容器类也能利用新的 for-each 循环。但是这样做会形成对 Java 5 类库的依赖,因为在 JDK 1.4 中没有 Iterable。
清单 3. Iterable 接口
public interface Iterable { Iterator iterator(); } |
正像 for-each 循环一样,枚举也要求来自类库的支持。当编译器遇到枚举类型时,生成的类将扩展库类 java.lang.Enum。但是,同 Iterable 一样,在 JDK 1.4 类库中也没有 Enum 类。
类似的,自动装箱依赖于添加到原始包装器类(例如 Integer)的 valueOf() 方法。当装箱需要从 int 转换到 Integer 时,编译器并不调用 new Integer(int),而是生成对 Integer.valueOf(int) 的调用。valueOf() 方法的实现利用 享元(flyweight)模式 为常用的整数值缓存 Integer 对象(Java 6 的实现缓存从 -128 到 127 的整数),由于消除了冗余的实例化,可能会提高性能。而且,就像 Iterable 和 Enum 一样,valueOf() 方法在 JDK 1.4 类库中也不存在。
变长参数
当编译器遇到用变长参数列表定义的方法时,会把其转换成包含正确组件类型数组的方法;当编译器遇到带有变长参数列表方法的调用时,就把参数装进数组。
注释
定义了注释的之后,可以用 @Retention 对它进行注释,它可以决定编译器对使用这个注释的类、方法或字段执行什么处理。已经定义的保持策略有 SOURCE (在编译时舍弃注释数据)、CLASS (在类文件中记录注释)或 RUNTIME (在类文件中记录注释,并在运行时保留注释,这样就可以反射地访问它们了)。
其他的库依赖关系
在 Java 5 之前,当编译器遇到尝试连接两个字符串的情况时,会使用帮助器类 StringBuffer 执行连接。在 Java 5 及以后的版本中,转而调用新的 StringBuilder 类,JDK 1.4 及以前的类库中不存在该类。
访问 Java 5 特性
因为语言特性对库支持的依赖,即使使用 Java 5 编译器生成的类文件能够装入早期 JVM 版本,执行也会因为类装入错误而失败。但是,通过对字节码进行适当转换,仍有可能解决这些问题,因为这些遗漏的类并不包含实际的新功能。
JSR 14
在 Java 泛型规范(以及其他 Java 5 新添加的语言特性)的开发期间,在 javac 编译器中添加了试验性的支持,以便让它能使用 Java 5 的语言特性,并生成能在 Java 1.4 JVM 上运行的字节码。虽然这些特性不受支持(甚至是文档),但许多开源项目都使用了它们,使得开发人员能使用 Java 5 语言特性编码,并生成能在早期 JVM 上使用的 JAR 文件。而且,既然 javac 是开源的,那么这个特性有可能得到第三方的支持。要激活这些特性,可以用 -source 1.5 和 -target jsr14 选项调用 javac。
javac 的 JSR 14 目标模式使编译器生成与 Java 5 语言特性对应的 JDK 1.4 兼容字节码:
使用 JSR 14 目标模式允许在 “简易” 情况下编写使用泛型、自动装箱和 for-each 循环的代码,这对多数项目来说可能足够了。这很方便,如果不支持的话,编译器会一次生成基本兼容的字节码。
……
婵犵數濮烽弫鍛婃叏閻戝鈧倹绂掔€n亞鍔﹀銈嗗坊閸嬫捇鏌涢悢閿嬪仴闁糕斁鍋撳銈嗗坊閸嬫挾绱撳鍜冭含妤犵偛鍟灒閻犲洩灏欑粣鐐烘⒑瑜版帒浜伴柛鎾寸洴閹儳煤椤忓應鎷洪梻鍌氱墛閸楁洟宕奸妷銉ф煣濠电姴锕ょ€氼參宕h箛鏃傜瘈濠电姴鍊绘晶娑㈡煕鐎c劌濡介柕鍥у瀵粙濡歌閳ь剚甯¢弻鐔兼寠婢跺﹥娈婚梺鍝勭灱閸犳牠骞冨⿰鍫濈厸闁稿本绋撹ぐ瀣煟鎼淬値娼愭繛鍙壝悾婵堢矙鐠恒劍娈鹃梺鍓插亝濞叉牠鎮″☉銏$厱閻忕偛澧介惌瀣箾閸喐鍊愭慨濠勭帛閹峰懐绮电€n亝鐣伴梻浣规偠閸斿宕¢崘鑼殾闁靛繈鍊曢崘鈧銈嗗姂閸庡崬鐨梻鍌欑劍鐎笛呯矙閹寸姭鍋撳鐓庡籍鐎规洑鍗冲畷鍗炍熼梹鎰泿闂備線娼ч悧鍡涘箠鎼淬垺鍙忔い鎺嗗亾闁宠鍨块崺銉╁幢濡炲墽鍑规繝鐢靛О閸ㄦ椽鏁嬮柧鑽ゅ仦娣囧﹪濡堕崨顔兼闂佺ǹ顑呴崐鍦崲濞戙垹骞㈡俊顖濐嚙绾板秹鏌f惔銏e妞わ妇鏁诲璇差吋閸偅顎囬梻浣告啞閹搁箖宕版惔顭戞晪闁挎繂顦介弫鍡椼€掑顒婂姛闁活厽顨嗙换娑㈠箻閺夋垹鍔伴梺绋款儐閹瑰洭寮婚敐鍛婵炲棙鍔曠壕鎶芥⒑閸濆嫭婀扮紒瀣灴閸╃偤骞嬮敃鈧婵囥亜閺囩偞鍣洪柍璇诧功缁辨捇宕掑▎鎴濆濡炪們鍔岄幊姗€骞嗗畝鍕<闁绘劙娼х粊锕傛煙閸忚偐鏆橀柛鏂跨焸閹偤宕归鐘辩盎闂佸湱鍎ら崹鐢割敂閳哄懏鍊垫慨姗嗗墻濡插綊鏌曢崶褍顏€殿喕绮欐俊姝岊槼闁革絻鍎崇槐鎾存媴缁涘娈┑鈽嗗亝缁诲牆顕f繝姘亜缁炬媽椴搁弲锝夋偡濠婂啰效闁诡喗锕㈤幊鐘活敆閸屾粣绱查梺鍝勵槸閻楀嫰宕濇惔锝囦笉闁绘劗鍎ら悡娑㈡倶閻愯泛袚闁哥姵锕㈤弻鈩冩媴閻熸澘顫掗悗瑙勬礈閸犳牠銆佸鈧幃鈺呮惞椤愩倝鎷婚梻鍌氬€峰ù鍥х暦閸偅鍙忛柟鎯板Г閳锋梻鈧箍鍎遍ˇ顖炲垂閸岀偞鐓㈡俊顖滃皑缁辨岸鏌ㄥ┑鍡╂Ц缂佲偓鐎n偁浜滈柡宥冨妿閳藉绻涢崼鐔虹煉婵﹨娅e☉鐢稿川椤斾勘鈧劕顪冮妶搴′簼婵炶尙鍠栧畷娲焵椤掍降浜滈柟鍝勬娴滈箖姊洪幐搴㈢┛濠碘€虫搐鍗遍柟鐗堟緲缁秹鏌涢锝囩畼妞ゆ挻妞藉铏圭磼濡搫顫岄悗娈垮櫘閸撴瑨鐏冮梺鍛婁緱閸犳岸宕㈤幖浣光拺闁告挻褰冩禍浠嬫煕鐎n亜顏柟顔斤耿閺佸啴宕掑☉姘箞闂佽鍑界紞鍡涘磻閸℃ɑ娅犳い鎺戝€荤壕濂告煕鐏炲墽鈽夌紒妞﹀洦鐓欓柣鐔告緲椤忣參鏌熼悡搴㈣础闁瑰弶鎸冲畷鐔兼濞戞瑦鐝¢梻鍌氬€搁崐椋庣矆娓氣偓楠炴牠顢曢妶鍌氫壕婵ê宕崢瀵糕偓瑙勬礀缂嶅﹪寮婚崱妤婂悑闁告侗鍨界槐閬嶆煟鎼达紕鐣柛搴ㄤ憾钘濆ù鍏兼綑绾捐法鈧箍鍎遍ˇ浼存偂閺囥垺鐓涢柛銉e劚婵$厧顭胯閸ㄤ即婀侀梺缁樓圭粔顕€顢旈崼鐔虹暢闂傚倷鐒︾€笛呮崲閸屾娑樜旈崨顓犲幒闂佸搫娲㈤崹娲偂閸愵亝鍠愭繝濠傜墕缁€鍫熸叏濡寧纭鹃柦鍐枛閺屾洘绻涜鐎氱兘宕戦妸鈺傗拺缂備焦锚婵洦銇勯弴銊ュ籍闁糕斂鍨藉鎾閳ユ枼鍋撻悽鍛婄叆婵犻潧妫楅埀顒傛嚀閳诲秹宕堕妸锝勭盎闂婎偄娲︾粙鎰板箟妤e啯鐓涢悘鐐靛亾缁€瀣偓瑙勬礋娴滃爼銆佸鈧幃銏$附婢跺澶�