3.1.3 维护不变量