如何在Java中編譯時斷言某些東西？

Question

有時候，數據結構應該具有某些不能直接用Java描述的關係，但是在編輯代碼時應儘早檢查。經典的例子是數組足夠大或者不同模塊中的枚舉具有相應的成員。

BOOST在C++中提供了一個很好的「靜態斷言」工具，當斷言失敗時甚至會提供一半體面的錯誤;有誰知道如何在Java中建立編譯時斷言設施？

編輯：我剛看到一個完美的例子：來自Eclipse的​​類有兩個假定長度相同的常量數組。如果那是我的代碼，我希望編譯器告訴我它們是否有不同的長度。

Answer 1

作爲IDE的一部分的漸進式編譯器（如Eclipse）可以配置爲在查找合法java代碼時發出警告或錯誤，但可能會在運行時導致問題。儘管它可能會開始侵入和煩人，但您可以儘可能地將這些設置逐步調高。

Answer 2

有許多工具可以使用

• PMD
• 的Checkstyle
• FindBugs的
• 驗證雅加達方法下議院琅（我們用它來代替斷言，並把它留在）
• Cobertura/EMMA（代碼覆蓋率）。

這些和良好的單元測試組合能夠趕上低掛水果（和一些更高的東西，以及）

Answer 3

你可以使用註解。

查看Which @NotNull Java annotation should I use?的選項。

查看JSR-308和JSR-305作爲java的未來。