Class invariants, The class must supply functions that specify its allowed stable states.

• 要在执行函数之前确定函数是否处于稳定状态