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