检查约束