Java 9在9月21日正式發布,同時Oracle宣布將Java新版本的發布周期調整為每半年一次。目前,Java新版本的開發也已正式進入軌道。就已公開的消息來看,下一個版本的Java預計會在2018年3月發布,版本號將會是18.3,已經規劃加入的特性包括JEP 286和296。
根據reddit站點上的討論,首先更新的是JEP 296,Valhalla預計很快也會加入進來。OpenJDK的主頁面則顯示,已確定要在18.3版本實現的是JEP 286和296。
JEP 296主要是將JDK倉庫群(JDK Repository Forest)合并為一個倉庫,旨在降低管理大量倉庫群的成本。根據InfoQ之前的報道,該倉庫群的合并已經完成。這些軟件倉庫是在OpenJDK發展史上歷次分裂生成的,在OpenJDK 9及以前的版本中將會繼續存在。在這次合并操作之前,OpenJDK曾分裂為多個不同的Mercurial軟件倉庫群,這導致了許多問題,例如不能以原子方式對多個軟件倉庫應用漏洞修復(Bug Fixes)。在OpenJDK合并完成后,只會有一個軟件倉庫,并復制在三個開發線上。為了簡化倉庫的管理,JDK中還創建了用于在合并和未合并版本間移動更改的工具。
JEP 286提議在Java中引入局部變量的類型推斷,該JEP在2016年提出,InfoQ曾經報道過該JEP的概況和相關的開發者調查結果。該JEP旨在減少編寫Java代碼相關的儀式性的內容,提升開發人員的體驗,同時還要保證Java語言的靜態性。它會減少開發人員在聲明局部變量時,沒有必要的變量類型聲明。如果該JEP實現的話,在聲明局部變量的時候,就可以采用類似如下的方式:
var list = new ArrayList(); // infers ArrayListvar stream = list.stream(); // infers Stream這種語句只能用于帶有初始化器(initializer)的局部變量、增強的for-loop中的索引以及傳統for-loop中聲明的局部變量。它不能用于方法聲明、構造函數聲明、方法返回值、字段、catch語句以及其他類型的變量聲明中。
關于局部變量的類型推斷,不管是JVM體系中的語言還是其他語言都提供了一定形式的支持,比如C++(auto)、C#(var)、Scala(var/val)以及Go(通過:=進行聲明)。至于該使用var作為關鍵字,還是使用let或類似于C/C++中的auto作為關鍵字,之前曾經有過一個面向開發者的調查。大約84%的回答表明定義可變內容的變量用關鍵字var是恰當的,只有百分之幾的回答者建議使用auto更合適。根據Java語言架構師Brian Goetz介紹,該功能應該使用關鍵詞var。
關于該特性的用法,在reddit上有一些討論。有人表示,即便在支持“auto”語法的語言中,該特性使用的也比較少,因為有些人希望一眼就能看出變量的類型是什么。也有人認為,var有它的適用空間,在小的代碼塊中,直接用它實例化對象是可以的。如果是作為方法返回值的話,還是希望明確聲明類型,Java的類型推斷并不支持方法返回值,這一點倒不必擔心。如果函數或代碼塊比較長的話,就不建議使用var了并要考慮適時進行代碼的重寫。時間和經驗將會讓我們更加明確應該在何時使用新功能,就像Optional剛出現時,也是耗費了一些時間才明確其推薦適用場景。
Valhalla項目中包含了一些有趣的JEP,包括值類型(Value Type)、針對原始類型實現泛型功能、增強的volatile等,外界很期待這些內容最終也能添加到新版本中。