10.1.4 契约，先决条件，后置条件和不变量- 51CTO.COM

2011年5月18日 ... 后置条件对于方法来说，后置条件是那些方法被调用之后所要保持的条件（只要先决 条件满足）。对于我们 ...

book.51cto.com