编写抽象函数和表示不变量

Question

我知道抽象函数和表示不变性是什么，但我很难自己编写它们。 抽象函数：从对象的具体表示到它所表示的抽象值的函数。 表示不变量：在类的所有有效具体表示上必须为真的条件。例如：

class Appointment{

    /**

     * AF: 

     * IR: 

     */

    private Time time;

    private Intervention intervention;

    private Room room;

    /** EFFECT initializes to null an appointment

     *  @param time REQUIRE != null

     *  @param intervention  REQUIRE != null

     *  @param room REQUIRE != null

     */

    public Appointment(Time time, Intervention intervention, Room room){

        time = null;

        intervention = null;

        room = null;

    }}

我的问题是：它们怎么写？

Answer 1

通过这种方式，您可以强制扩展抽象 A 的类的实现者定义自己的不变量。abstract class A {   public void doSth(){       Invariant invariant = getInvariant();       check(invariant);       //do some work       check(invariant);   }   //define your invariant in concrete impl   protected abstract Invariant getInvariant();}我再次重新阅读了您的问题，但我仍然不确定。或者你想在抽象类中定义不变量并在具体实现中检查它？abstract class A {   private void checkInvariant(){       //check state       //if state is breaking invariant throw exception   }   public void doSth() {        checkInvariant();        doActualWork();        checkInvariant();   }   protected abstract void doActualWork();}