4.当子类的方法实现父类的抽象方法时，方法的后置条件（即方法的返回值）要比父类更严格。

这一点是重写的要求之一，在这里就用代码展示了。

最佳实践

在前面的示例中，我们在子类SubClass中不小心重写了基类SupClass已经实现的方法add()，导致出现了逻辑错误。

1.在实际的使用中，我们要尽量避免重写父类已经实现的方法。

2.在适当的情况下减少使用继承，多使用聚合、组合、依赖等解决问题。