Groovy 2.0靜態型別檢查及編譯功能介紹

劉志軍發表於2012-07-12

Groovy開發團隊近日釋出了2.0的版本,Groovy是基於Java虛擬機器(JVM),屬於一種動態、物件導向的程式語言,儘管是一門動態語言,但是新版本加入了靜態型別檢查器和可選的靜態編譯應用程式的某些部分的功能,Groovy2.0還包括了語法加強、更加模組化、能充分利用JDK7的動態呼叫(invoked dynamic)等特性。

groovy logo

因為很多Java開發者使用Groovy作為一種擴充套件語言巢狀使用,Groovy因靜態型別檢查特性的加入使得開發者就能像使用Java一樣在編譯的時候看到錯誤訊息,如果開發者在程式碼中使用@TypeChecked註解,Groovy編譯器將在編譯階段執行靜態型別檢查,指出明顯的錯誤如變數名稱輸入錯誤等,靜態型別檢查器同樣可以驗證返回值。開發者可以混合靜態型別方法和該語言的動態特性以及可選的型別檢查,這些都得益於Groovy的動態特性。

Groovy2.0支援JDK7的動態呼叫特性,當使用JDK7版本時此特性增強了Groovy的動態呼叫的效能。因為JDK7可以廣泛的部署,Groovy開發團隊增加了新的@CompileStatic轉換,使之包含了靜態型別檢查程式碼的特性,這個版本的Groovy還包括了來自於Project Coin專案的一些語法增強。

為了讓Groovy更加模組化,Groovy2.0分拆了最初的Groovy Jar 檔案,由多個小模組組織起來,這使得核心Groovy JAR檔案大小減少一半,因此而更加可移植。使用者現在可以只選取必要的模組放到他們的程式中,這樣開發的好處就是支援模組的擴充套件。Groovy的模組現在可以提供方法給其他類使用,包括JDK或者其他的庫,這些擴充套件的方法是完全支援的,而且能被靜態型別檢查器和編譯器所理解。

開發團隊最初計劃釋出這個版本叫1.9,但是此版本大量的新特性讓他們改變了想法,因此而命名為Groovy2.0。

從現在起,開發團隊計劃每年釋出一個主要的版本,Groovy3.0將在明年釋出。

關於這個釋出的更多細節資訊可以在InfoQ上Groovy專案負責人Guillaume Laforge的一篇文章 找到。Groovy2.0可以在基於Apache2.0許可協議下的條件下從Codehaus.org下載

 

原文:h-online    編譯:伯樂線上 –劉志軍

【如需轉載,請標註並保留原文連結、譯文連結和譯者等資訊,謝謝合作!】

 

相關文章