8.4 校验与不变式