JDK 7 出人意料将增加“简单”闭包,发布时间推迟至明年底

  • Dio Synodinos
  • 张龙

2009 年 11 月 25 日

话题:Java编程语言语言 & 开发架构文化 & 方法

近日 Mark Reinhold 在 Devoxx 的演讲中宣布 JDK 7 将增加闭包特性。由于添加了这个饱受 争议特性,JDK 7 的发布时间将推迟至明年 9 月左右。

Project Coin(旨在对 Java 7 进行小幅度的语言改进)的首席工程师 Joseph D. Darcy 已经确认语言的下一版本将增加某些“轻量级”的闭包

… JDK 7 将增加闭包特性,增加的闭包要比 BGGA(即 Closures for the Java Programming Language,译者注)所提出的闭包更小巧,因此 JDK 7 的发布时间将推迟至明年 9 月左右:

Alex Miller 也参加了此次大会,他指出尽管过去社区已经给出了 3 个不同的提案,但 Sun 对于闭包的态度还是很消极

我真的是无语了。这几年 Sun 总强调大家并没有就闭包这个问题达成共识,也延误了成立闭包 JSR 或专家组的时机,但实际情况却是社区已经给出了 3 个提案,每个提案都有相应的原型。

就在 Mark Reinhold 宣布这个消息不久,Neal Gafter(已有的 3 个闭包提案中 BGGA 提案的发起人之一,BGGA 其实就是 4 位发起者名字的首字母缩写,他们是 Bracha、Gafter、Gosling 和 von der Ahé)就发布了一个“简化的提案”:

该提案有如下变化之处:
  • 将控制调用(control invocation)语法移到另一个单独的规范中。
  • 将术语闭包字面量(closure literal)替换为 lambda 表达式(lambda expression)。
  • 我们检查了 lambda 表达式的语法,从Clang借鉴了一些精华。现在有两种形式的 lambda 表达式:expression lambda 拥有控制表达式,而 statement lambda 拥有控制语句。
  • 将术语闭包对象(closure object)替换为函数对象(function object)。
  • 将术语闭包变换(closure conversion)替换为 lambda 变换(lambda conversion),而控制调用语法将拥有一个单独的块变换(block conversion)。
  • 为 return 语句增加新的语义:现在可以从 statement lambda 中返回了。
  • 将 java.lang.Unreachable 改为 java.lang.Nothing,这一点借鉴了Scala
  • 移除对类型名 null 的支持。之前的版本在没有异常抛出时将 null 作为一个异常类型的占位符。现在,类型 Nothing 可以满足这个要求。
  • 受限制检查。受限制(restricted)与不限制(unrestricted)的函数类型与闭包概念已经被移除了。现在所有的 lambda 表达式都是受限制的。我们可以通过控制调用语法将此前规范中的不限制闭包传递给方法。
  • 增加方法引用支持:我们通过一个新引入的符号 # 将对方法的引用当作函数看待。该语法来源于javadoc 中的交叉引用FCM 提案

JDK 7 这种突然间的变化令 Fabrizio Giudici 等很多人对决策的过程表示怀疑

我不想谈论这么做好不好(你知道在我听说该提案既不是 BGGA,也不是 CICE,而是一个新提案时我就觉得这不是一件好事)。我只是惊诧于仅仅几周后 Java 7 就与 Project Coin(知名的最终 5 提案)达成了一致,某些人几乎是瞬间就改变了主意。这到底是怎样的一个决策过程呢?

啊哈,我知道了——他们一定是投硬币决定的,现在我终于知道 Project Coin 项目名字的来历了。我担心 Java 7 会变成最混乱的一个 Java 版本——如果你想干掉 Java 的话这么做倒是不错(因为现在大家的争论点还不算太多,比如 Oracle 的收购或是关于 Jigsaw/OSGi 的争论)。

与此类似,Geertjan Wielenga 也觉得增加闭包这个决定太出人意料了

如果没人想问决策的过程是怎样的,为何得出这个结论的话,那这绝对是个好消息,或许还是最好的消息呢。首先,我们拥有一堆提案,但根本没人看。其次,突然间我们就拥有了“简单闭包”(我想知道是否现有的所有提案都可以叫做“复杂闭包”呢。难道简单就是闭包的全部么?)。好吧,闭包看起来会很简单,没有非局部的 return(non-local return)、没有控制语句、无法访问非 final 变量。我还是想问一下,到底是如何得出这个决定的?

Cay Horstmann针对这个新的 BGGA 提案给出了几个用例,与FCM 提案何其相似:

我们真的不知道 Sun 到底想搞什么。之前我粗略地分析了一下 BGGA 0.6a 提案,总体上来说与现在的 BGGA 差不多。没人反对 BGGA 与 FCM 的相似性。没有非局部的 return、用于 lambda 的 #。由于需要在捕获前用 @Shared 注解突变变量(mutated variable),人们在编写之前可能需要考虑再三。

    foreach(@Shared String v : values) 
   		funcs.add( #() => v);

Alex Miller 提到JDK 发布的延期可能会让其他特性有机会加到最终的发布中,比如 ParallelArray 程序库,它为映射、过滤以及 Java 对象数组的裁剪提供了一套函数风格的 API:

我在 QCon 上与 Bob Lee 聊了一会,他觉得 JDK 7 的延期有可能会将ParallelArray纳入进来并使用新的闭包支持。

大家可以在InfoQ上找到关于闭包JDK 7的更多信息!

请阅读本文的各位读者参加 InfoQ 的小调查。

查看英文原文:JDK 7 Unexpectedly Gets “Simple” Closures, but is Pushed Back to End of 2010

Java编程语言语言 & 开发架构文化 & 方法