check约束