5.2.10 约束条件保存与调用