有效约束和无效约束