如何在 java 类方法或构造函数中插入前提条件？

这是我正在上的 Java 课程。本书提到了前置条件和后置条件，但没有给出任何如何对其进行编码的示例。它继续讨论断言，我已经把它记下来了，但是我正在做的作业特别指出插入前提条件并用断言测试前提条件。

任何帮助都会很棒。

像 Eiffel 这样的语言支持“前置条件”和“后置条件”作为语言的基本部分。

人们可以提出一个令人信服的论点，即“对象构造函数”的全部目的是恰恰建立“类不变量”。

但对于 Java（与几乎所有其他后 C++ 面向对象语言一样），您几乎必须伪造它。

这是关于利用 Java“assert”的优秀技术说明：

• http://docs.oracle.com/javase/8/docs/technotes/guides/language/assert.html http://docs.oracle.com/javase/8/docs/technotes/guides/language/assert.html