4.2 约束类型