Java 7的這個(gè)新特性改變了警告的對象。構(gòu)建這些類型畢竟有破壞類型安全的風(fēng)險(xiǎn)，這總得有人知道。但 API 的用戶對此是無能為力的，不管doSomething()是不是干了壞事，破壞了類型安全，都不在API用戶的控制范圍之內(nèi)。

真正需要看到這個(gè)警告信息的是寫doSomething()的人，即API的創(chuàng)建者，而不是使用者。所以Java 7把警告信息從使用API的地方挪到了定義API的地方。

過去是在編譯使用API的代碼時(shí)觸發(fā)警告，而現(xiàn)在是在編譯這種可能會(huì)破壞類型安全的API時(shí)觸發(fā)。編譯器會(huì)警告創(chuàng)建這種API的程序員，讓他注意類型系統(tǒng)的安全。

為了減輕API開發(fā)人員的負(fù)擔(dān)，Java 7還提供了一個(gè)新注解java.lang.SafeVarargs。把這個(gè)注解應(yīng)用到API方法或構(gòu)造方法之中，則會(huì)產(chǎn)生類型警告。通過用@SafeVarargs對這種方法進(jìn)行注解，開發(fā)人員就不會(huì)在里面進(jìn)行任何危險(xiǎn)的操作，在這種情況下，編譯器就不會(huì)再發(fā)出警告了。

類型系統(tǒng)的修改

雖然把警告信息從一個(gè)地方挪到另一個(gè)地方不是改變游戲規(guī)則的語言特性，但也證明了我們之前提到的觀點(diǎn)——Coin項(xiàng)目曾奉勸諸位貢獻(xiàn)者遠(yuǎn)離類型系統(tǒng)，因?yàn)榘堰@么一個(gè)小變化講清楚要大費(fèi)周章。這個(gè)例子表明搞清楚類型系統(tǒng)不同特性之間如何交互是多么費(fèi)心費(fèi)力，而且對語言的修改被實(shí)現(xiàn)后又會(huì)怎么影響這種交互。這還不是特別復(fù)雜的修改，更大的變動(dòng)所涉及的內(nèi)容還會(huì)更多，其中還包括大量微妙的分支。

最后這個(gè)例子闡明了由小變化引發(fā)的錯(cuò)綜復(fù)雜的影響。我們對Coin項(xiàng)目中改進(jìn)的討論也結(jié)束了。盡管它們幾乎全都是語法上的小變化，但跟實(shí)現(xiàn)它們的代碼量相比，它們所帶來的正面影響還是很可觀的。一旦開始使用，你就會(huì)發(fā)現(xiàn)這些特性對程序真的很有幫助！

小結(jié)

修改語言非常困難。而用類庫實(shí)現(xiàn)新特性總是相對容易一些，當(dāng)然并不是所有特性都能用類庫實(shí)現(xiàn)。面對挑戰(zhàn)時(shí)，語言設(shè)計(jì)師可能會(huì)做出一些比他們的預(yù)想更輕微、更保守的調(diào)整。

現(xiàn)在，我們該去看看構(gòu)成發(fā)布版本更重要的東西了，先從Java 7中某些核心類庫的變化開始。我們的下一站是I/O類庫，那里可以說是發(fā)生了天翻地覆的變化。在此之前，希望你已經(jīng)掌握了Java之前的版本處理I/O的方法，因?yàn)镴ava 7中的這些類（有時(shí)候被稱為NIO.2）是構(gòu)建在之前框架基礎(chǔ)之上的。

如果你想看到更多關(guān)于TWR實(shí)戰(zhàn)的例子，或者想要了解最新、高性能的I/O類，可以參考腳本之家其他相關(guān)文章。