Eiffel 重新定义的函数可以定义自己的断言吗？

Question

我需要知道 Eiffel 中重新定义的函数是否可以定义自己的断言。

Answer 1

是的，它可以。但是重新定义的特征只能削弱其父级的前提条件并加强其后置条件。为了更清楚，您必须require else在重新定义的特征中将先决条件声明为 a ，并将后置条件声明为 an ensure then，以表明您正在削弱/加强相应的断言。

有关更深入的解释，请参阅文档站点。