-1

请参阅我的博客文章摘录自 Java Posse #386 - 2012 年 5 月 31 日的新闻广播,该主题扩展了该主题。

JSR 308是否将按 合同设计推广到 Java?它比断言更进一步?什么时候会成为 JDK 的一部分?

何时计划作为 JDK 的一部分发布?

另请参阅您是否使用断言?

4

1 回答 1

3

JSR 308 与合同无关。相反,它扩展了 Java 类型系统,以便您可以根据其使用上下文修改基本类型。Checker 框架提供了几个很好的例子来说明类型注解可以做什么。我相信您可以以某种方式将其颠覆以将其转换为合同,但您仍然必须添加一个自定义处理器,将注释编译成代码,而不是仅仅通过类型检查器传递它们。

目前的计划是包含在 Java 8 中。但这仍然可以改变。

于 2012-06-16T14:50:00.657 回答