2.6.5 约束类型