自然、人类、机器
Home › Forums › 《冒号课堂》讨论区 › class invariant › Reply To: class invariant
可以这么来理解class invariant:它是附加在每个public方法之上的precondition和postcondition。倒过来看,对所有public方法中同时为precondition和postcondition的predicate提取公因式,便得到class invariant。