Java - 方法前提条件和后置条件实施

Question

我的问题很简短。编译器强制执行方法前置条件和后置条件吗？

Answer 1

没有。 Java没有明确支持按合同设计的前/后条件，比如（例如）Ada。见the java docs

Answer 2

查看Contracts for Java，它有助于通过注释强制执行前置条件和后置条件以及不变量。但据我所知，没有编译时检查，只有运行时。