check约束表达式