摘要：在月日正式發(fā)布，同時(shí)宣布將新版本的發(fā)布周期調(diào)整為每半年一次。目前，新版本的開發(fā)也已正式進(jìn)入軌道。提議在中引入局部變量的類型推斷，該在年提出，曾經(jīng)報(bào)道過該的概況和相關(guān)的開發(fā)者調(diào)查結(jié)果。它會(huì)減少開發(fā)人員在聲明局部變量時(shí)，沒有必要的變量類型聲明。

Java 9在9月21日正式發(fā)布，同時(shí)Oracle宣布將Java新版本的發(fā)布周期調(diào)整為每半年一次。目前，Java新版本的開發(fā)也已正式進(jìn)入軌道。就已公開的消息來看，下一個(gè)版本的Java預(yù)計(jì)會(huì)在2018年3月發(fā)布，版本號(hào)將會(huì)是18.3，已經(jīng)規(guī)劃加入的特性包括JEP 286和296。

根據(jù)reddit站點(diǎn)上的討論，首先更新的是JEP 296，Valhalla預(yù)計(jì)很快也會(huì)加入進(jìn)來。OpenJDK的主頁面則顯示，已確定要在18.3版本實(shí)現(xiàn)的是JEP 286和296。

JEP 296主要是將JDK倉庫群（JDK Repository Forest）合并為一個(gè)倉庫，旨在降低管理大量倉庫群的成本。根據(jù)InfoQ之前的報(bào)道，該倉庫群的合并已經(jīng)完成。這些軟件倉庫是在OpenJDK發(fā)展史上歷次分裂生成的，在OpenJDK 9及以前的版本中將會(huì)繼續(xù)存在。在這次合并操作之前，OpenJDK曾分裂為多個(gè)不同的Mercurial軟件倉庫群，這導(dǎo)致了許多問題，例如不能以原子方式對(duì)多個(gè)軟件倉庫應(yīng)用漏洞修復(fù)（Bug Fixes）。在OpenJDK合并完成后，只會(huì)有一個(gè)軟件倉庫，并復(fù)制在三個(gè)開發(fā)線上。為了簡化倉庫的管理，JDK中還創(chuàng)建了用于在合并和未合并版本間移動(dòng)更改的工具。

JEP 286提議在Java中引入局部變量的類型推斷，該JEP在2016年提出，InfoQ曾經(jīng)報(bào)道過該JEP的概況和相關(guān)的開發(fā)者調(diào)查結(jié)果。該JEP旨在減少編寫Java代碼相關(guān)的儀式性的內(nèi)容，提升開發(fā)人員的體驗(yàn)，同時(shí)還要保證Java語言的靜態(tài)性。它會(huì)減少開發(fā)人員在聲明局部變量時(shí)，沒有必要的變量類型聲明。如果該JEP實(shí)現(xiàn)的話，在聲明局部變量的時(shí)候，就可以采用類似如下的方式:

var list = new ArrayList(); // infers ArrayList
var stream = list.stream(); // infers Stream
這種語句只能用于帶有初始化器（initializer）的局部變量、增強(qiáng)的for-loop中的索引以及傳統(tǒng)for-loop中聲明的局部變量。它不能用于方法聲明、構(gòu)造函數(shù)聲明、方法返回值、字段、catch語句以及其他類型的變量聲明中。

關(guān)于局部變量的類型推斷，不管是JVM體系中的語言還是其他語言都提供了一定形式的支持，比如C++（auto）、C#（var）、Scala（var/val）以及Go（通過:=進(jìn)行聲明）。至于該使用var作為關(guān)鍵字，還是使用let或類似于C/C++中的auto作為關(guān)鍵字，之前曾經(jīng)有過一個(gè)面向開發(fā)者的調(diào)查。大約84%的回答表明定義可變內(nèi)容的變量用關(guān)鍵字var是恰當(dāng)?shù)模挥邪俜种畮椎幕卮鹫呓ㄗh使用auto更合適。根據(jù)Java語言架構(gòu)師Brian Goetz介紹，該功能應(yīng)該使用關(guān)鍵詞var。

關(guān)于該特性的用法，在reddit上有一些討論。有人表示，即便在支持“auto”語法的語言中，該特性使用的也比較少，因?yàn)橛行┤讼Ｍ谎劬湍芸闯鲎兞康念愋褪鞘裁础Ｒ灿腥苏J(rèn)為，var有它的適用空間，在小的代碼塊中，直接用它實(shí)例化對(duì)象是可以的。如果是作為方法返回值的話，還是希望明確聲明類型，Java的類型推斷并不支持方法返回值，這一點(diǎn)倒不必?fù)?dān)心。如果函數(shù)或代碼塊比較長的話，就不建議使用var了并要考慮適時(shí)進(jìn)行代碼的重寫。時(shí)間和經(jīng)驗(yàn)將會(huì)讓我們更加明確應(yīng)該在何時(shí)使用新功能，就像Optional剛出現(xiàn)時(shí)，也是耗費(fèi)了一些時(shí)間才明確其推薦適用場景。

Valhalla項(xiàng)目中包含了一些有趣的JEP，包括值類型(Value Type)、針對(duì)原始類型實(shí)現(xiàn)泛型功能、增強(qiáng)的volatile等，外界很期待這些內(nèi)容最終也能添加到新版本中。