我的问题很简短。编译器是否强制执行方法前置条件和后置条件？
问问题
695 次
2 回答
3
不。Java 没有像（例如）Ada 那样明确支持按合同设计的前置/后置条件。请参阅Java 文档
于 2014-02-12T13:20:18.917 回答
1
看看Contracts for Java，它有助于通过注释强制执行前置条件和后置条件以及不变量。但是据我所知，没有编译时检查，只有运行时。
于 2014-02-12T13:24:44.037 回答