五大类型约束