我的问题很短。方法的前置条件和后置条件是由编译器强制执行的吗?
最佳答案
没有。 Java 没有像 Ada 那样明确支持按契约(Contract)设计的前置/后置条件。请参阅the java docs
关于Java - 方法前提条件和后置条件执行,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21728958/
我的问题很短。方法的前置条件和后置条件是由编译器强制执行的吗?
最佳答案
没有。 Java 没有像 Ada 那样明确支持按契约(Contract)设计的前置/后置条件。请参阅the java docs
关于Java - 方法前提条件和后置条件执行,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21728958/