10.2 约束类型