java - JSR-308 が JDK の一部になるのはいつですか?

Question

このトピックを拡張した 2012 年 5 月 31 日の Java Posse #386 - Newscast からの抜粋については、私のブログ投稿を参照してください。

JSR 308 は契約による設計を Java に推進しますか? アサーションからさらに一歩進んでいますか？JDKの一部になるのはいつですか?

JDK の一部としてリリースされる予定はいつですか?

アサーションを使用しますか?も参照してください。

Answer 1

JSR 308 はコントラクトとは関係ありません。代わりに、使用状況に応じて基本型を変更できるように、Java 型システムを拡張します。Checker Frameworkは、型注釈で何ができるかを示すいくつかの優れた例を提供します。何らかの方法でこれを覆してコントラクトに変換できると確信していますが、注釈を型チェッカーに渡すだけでなく、注釈をコードにコンパイルするカスタム プロセッサを追加する必要があります。

現在、Java 8 に含める予定です。しかし、それはまだ変更される可能性があります。