约束类型