6.4　检查前提条件

接下来，我们将注意力转向当前主构造方法的一个问题。本章最开始曾经提到，有理数的分母不能为零。而目前我们的主构造方法接收以参数d传入的零：

面向对象编程的一个好处是可以将数据封装在对象里，以确保整个生命周期中的数据都是合法的。对Rational这样的不可变对象而言，这意味着需要确保在构造对象时数据合法。由于对于Rational数来说分母为零是非法的状态，因此当0作为参数d传入的时候，不应该允许这样的Rational实例被构建出来。

解决这个问题的最佳方式是对主构造方法定义一个前提条件（precondition），参数d必须为非0值。前提条件是对传入方法或构造方法的值的约束，是方法调用者必须满足的。实现它的一种方式是使用require方法，[1]就像这样：

require方法接收一个Boolean类型的参数。如果传入的参数为true，则require方法将会正常返回；否则，require方法将会抛出IllegalArgumentException来阻止对象的构建。