Java在編譯時允許不變性檢查嗎？

Question

我知道的至少2個機制來強制執行集合不應修改：

• Java的不可修改的類別：http://www.tutorialspoint.com/java/util/collections_unmodifiablelist.htm
• 番石榴的不可變的集合：http://docs.guava-libraries.googlecode.com/git/javadoc/com/google/common/collect/ImmutableList.html

不過，我注意到兩個他們通過拋出異常（例如UnsupportedOperationException）在運行時執行合同。

問題：

1. 是否有現有的庫/語言功能，允許在編譯時來執行不變性檢查？
2. 如果不是，爲什麼不呢？是因爲語言限制，設計決定的結果還是其他原因？

Answer 1

Collections API的原始作者（不幸）沒有區分不可變和可變集合。不可變的API不會有變異方法（但可能會在Persistent data structure內部重建集合）。

請參閱Scala作爲支持不可變和可變集合的JVM上的Collections API的示例。

Answer 2

你只能通過在類上沒有變異方法來做到這一點。但是如果你想實現一個具有變異語義的方法的現有接口（即使在一般情況下靜態分析不能幫助你），你也會陷入困境。